Synthesis of Reo Circuits from Scenario-based Specifications
Electronic Notes in Theoretical Computer Science , Volume 229 - Issue 2 p. 21- 41
Presented at the International Workshop on the Foundations of Coordination Languages and Software Architecture, Reykjavik, Iceland
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.
|Keywords||Connector, Reo circuits, Scenario-based specification, UML, Synthesis|
|THEME||Software (theme 1)|
|Journal||Electronic Notes in Theoretical Computer Science|
|Project||Coordination With Performance Guarantees|
|Conference||International Workshop on the Foundations of Coordination Languages and Software Architecture|
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.