DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Detecting implied scenarios in message sequence chart specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Revisiting Statechart Synthesis with an Algebraic Approach
Proceedings of the 26th International Conference on Software Engineering
Modelling concurrent interactions
Theoretical Computer Science - Algebraic methodology and software technology
Modeling component connectors in Reo by constraint automata
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Design Synthesis from Interaction and State-Based Specifications
IEEE Transactions on Software Engineering
Behaviour Model Synthesis from Properties and Scenarios
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Checking Equivalence for Reo Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams
QSIC '08 Proceedings of the 2008 The Eighth International Conference on Quality Software
Synthesis of Connectors from Scenario-Based Interaction Specifications
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Reconfiguring Distributed Reo Connectors
Recent Trends in Algebraic Development Techniques
Component connectors with QoS guarantees
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Synthesis of concurrent and distributed adaptors for component-based systems
EWSA'06 Proceedings of the Third European conference on Software Architecture
Compositional semantics for UML 2.0 sequence diagrams using petri nets
SDL'05 Proceedings of the 12th international conference on Model Driven
Synthesis of reo circuits for implementation of component-connector automata specifications
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Component synthesis from service specifications
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Execution of natural language requirements using State Machines synthesised from Behavior Trees
Journal of Systems and Software
| Hi-index | 0.00 |
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.