English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We present component and connector (C&C) views, which specify structuralproperties of component and connector models in an expressive and intuitiveway. C&C views provide means to abstract away direct hierarchy, directconnectivity, port names and types, and thus can crosscut the traditionalboundaries of the implementation-oriented hierarchical decomposition of systemsand sub-systems, and reflect the partial knowledge available to differentstakeholders involved in a system's design. As a primary application for C&Cviews we investigate the synthesis problem: given a C&C views specification,consisting of mandatory, alternative, and negative views, construct a concretesatisfying C&C model, if one exists. We show that the problem is NP-hard andsolve it, in a bounded scope, using a reduction to SAT, via Alloy. We furtherextend the basic problem with support for library components, specificationpatterns, and architectural styles. The result of synthesis can be used forfurther exploration, simulation, and refinement of the C&C model or, as thecomplete, final model itself, for direct code generation. A prototype tool andan evaluation over four example systems with multiple specifications showpromising results and suggest interesting future research directions towards acomprehensive development environment for the structure of component andconnector designs.

Synthesis of Component and Connector Models from Crosscutting Structural Views