Synthesis of Reo circuits from scenario-based interaction specifications

Sun MengSun Meng, Farhad ArbabFarhad Arbab, Christel BaierChristel Baier

DOI Link

Sun Meng, Farhad Arbab, Christel Baier
Synthesis of Reo circuits from scenario-based interaction specifications
Science of Computer Programming, 76(8):651--680, 2011

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” to encode 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: Verifikation und formale quantitative Analyse„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Algebraic and Logical Foundations of Computer Science

@article{MAB2011,
  author  = {Sun Meng and Farhad Arbab and Christel Baier},
  title   = {Synthesis of Reo circuits from scenario-based interaction
             specifications},
  journal = {Science of Computer Programming},
  volume  = {76},
  number  = {8},
  year    = {2011},
  pages   = {651--680},
  doi     = {10.1016/J.SCICO.2010.03.002}
}