It is difficult to construct correct models for distributed large-scale service-oriented applications. Typically, the behavior of such an application emerges from the interaction and collaboration of multiple components/services. On the other hand, each component, in general, takes part in multiple scenarios. Consequently, not only components, but also their interaction protocols are important in the development process for distributed systems. Coordination models and languages, like Reo, offer powerful “glue-code” that encode the interaction protocols. In this paper we propose a novel synthesis technique, which can be used to generate Reo circuits directly from scenario specifications. Inspired by the way UML2.0 sequence diagrams can be algebraically composed, we define an algebraic framework for merging connectors generated from partial specifications by exploiting the algebraic structure of UML sequence diagrams.
Additional Metadata
Keywords Connector, Reo circuits, Scenario-based specification, UML, Synthesis
THEME Software (theme 1)
Publisher Elsevier
Journal Electronic Notes in Theoretical Computer Science
Project Coordination With Performance Guarantees
Conference International Workshop on the Foundations of Coordination Languages and Software Architecture
Citation
Arbab, F, Sun, M, & Baier, C. (2009). Synthesis of Reo Circuits from Scenario-based Specifications . In Electronic Notes in Theoretical Computer Science (Vol. 229, pp. 21–41). Elsevier.