Synthesis of Reo circuits from scenario-based specifications

Farhad ArbabFarhad Arbab, Sun MengSun Meng, Christel BaierChristel Baier

DOI Link

Farhad Arbab, Sun Meng, Christel Baier
Synthesis of Reo circuits from scenario-based specifications
Proc. of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA), volume 229(2) of Electronic Notes in Theoretical Computer Science, 21--41, 2009. Elsevier

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@inproceedings{AMB2009,
  author    = {Farhad Arbab and Sun Meng and Christel Baier},
  title     = {Synthesis of Reo circuits from scenario-based specifications},
  booktitle = {Proc. of the 7th International Workshop on the Foundations of
               Coordination Languages and Software Architectures (FOCLASA)},
  series    = {Electronic Notes in Theoretical Computer Science},
  volume    = {229(2)},
  publisher = {Elsevier},
  year      = {2009},
  pages     = {21--41},
  doi       = {10.1016/J.ENTCS.2009.06.027}
}