|
|
|
Structural Views for Component and Connector ModelsS. Maoz, J.O. Ringert, and B. RumpeComponent and connector viewsWe present component and connector (C&C) views, which specify structural properties of component and connector models in an expressive and intuitive way. C&C views provide means to abstract away direct hierarchy, direct connectivity, port names and types, and thus can crosscut the traditional boundaries of the implementation-oriented hierarchical decomposition of systems and sub-systems, and reflect the partial knowledge available to different stakeholders involved in a system's design. Synthesis
As a primary application for C&C views we investigate the synthesis problem:
given a C&C views specification, consisting of mandatory, alternative, and
negative views, construct a concrete satisfying C&C model, if one exists. We
show that the problem is NP-hard and solve it, in a bounded scope, using a
reduction to SAT, via Alloy. We further extend the basic problem with support
for library components, specification patterns, and architectural styles. The
result of synthesis can be used for further exploration, simulation, and
refinement of the C&C model or, as the complete, final model itself, for
direct code generation.
PublicationsS. Maoz, J.O. Ringert, and B. Rumpe. Synthesis of Component and Connector Models from Crosscutting Structural Views. submitted. [pdf] Supporting materials
|
|
