Synthesis of component and connector models from crosscutting structural views

Shahar Maoz*, Jan Oliver Ringert, Bernhard Rumpe

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


This extended abstract reports on [MRR13]. We presented 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 partiell knowledge available to different stakeholders involved in a system's design. As a primary application for C&C views we investigated 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 showed that the problem is NP-hard and solved it, in a bounded scope, using a reduction to SAT, via Alloy. We further extended 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. A prototype tool and an evaluation over four example systems with multiple specifications show promising results and suggest interesting future research directions towards a comprehensive development environment for the structure of component and connector designs.

Original languageEnglish
Title of host publicationSoftware Engineering 2014
EditorsWilhelm Hasselbring, Nils Christian Ehmke
PublisherGesellschaft fur Informatik (GI)
Number of pages2
ISBN (Electronic)9783885796213
StatePublished - 2014
EventSoftware Engineering 2014 - Kiel, Germany
Duration: 25 Feb 201428 Feb 2014

Publication series

NameLecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
ISSN (Print)1617-5468


ConferenceSoftware Engineering 2014


Dive into the research topics of 'Synthesis of component and connector models from crosscutting structural views'. Together they form a unique fingerprint.

Cite this