Statecharts: A visual formalism for complex systems
Science of Computer Programming
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Theoretical Computer Science
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Properties of Conflict-Free and Persistent Petri Nets
Journal of the ACM (JACM)
Delay-Insensitivity and Semi-Modularity
Formal Methods in System Design
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
True Concurrency in Models of Asynchronous Circuit Behavior
Formal Methods in System Design
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
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
Semantics of Reactive Systems in Abstract Time
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
A deterministic logical semantics for pure Esterel
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantic Criteria for Choosing a Language for Big-Step Models
RE '09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE
Journal of Computer and System Sciences
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
Monitoring aspects for the customization of automatically generated code for big-step models
Proceedings of the 10th ACM international conference on Generative programming and component engineering
| Hi-index | 0.00 |
A semantic quality attribute of a modelling language is a desired semantic characteristic that is common to all models specified in that language. A modeller can enjoy the luxury of not having to model the invariants of the behaviour that are implicitly enforced by the semantic quality attributes. In this paper, we introduce three semantic quality attributes for the family of big-step modelling languages (BSMLs). In a BSML, a model's reaction to an environmental input is a sequence of small steps, each of which can consist of the execution of a set of transitions from multiple concurrent components. Each of our three semantic quality attributes specifies a desired property about how the sequence of small steps form a big step. We systematically enumerate the range of BSML semantics that satisfy each semantic quality attribute.