Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Communication and Concurrency
Distributed and Parallel Databases
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Compositional Specification of Embedded Systems with Statecharts
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Mapping Template Semantics to SMV
Proceedings of the 19th IEEE international conference on Automated software engineering
A deterministic logical semantics for pure Esterel
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantically Configurable Code Generation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Template Semantics for Model-Based Notations
IEEE Transactions on Software Engineering
Semantic Criteria for Choosing a Language for Big-Step Models
RE '09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE
Deconstructing the semantics of big-step modelling languages
Requirements Engineering - RE'09 Special Issue; Guest Editor:Kevin T Ryan
Prescriptive semantics for big-step modelling languages
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Argos: an automaton-based synchronous language
Computer Languages
Hi-index | 0.00 |
The ability to describe synchronization between the components of a model is a fundamental primitive in modelling languages. After studying existing modelling languages, we discovered that many synchronization mechanisms can be organized into a common abstract framework. Our framework is based on a notion of synchronization between transitions of complementary roles. It is parameterized by the number of interactions a transition can take part in, i.e., one vs. many, and the arity of the interaction mechanisms, i.e., exclusive vs. shared, which are considered for the complementary roles to result in 16 synchronization types. We describe how many modelling constructs, such as multi-source, multidestination transitions, many composition operators, and many workflow patterns are forms of synchronization. By generalizing and classifying synchronization types independently of a particular language, our goal is to enable language designers to adopt an appropriate synchronization type for a domain effiectively.