Mapping Template Semantics to SMV
Proceedings of the 19th IEEE international conference on Automated software engineering
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Semantically Configurable Code Generation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Validating Real Time Specifications using Real Time Event Queue Modeling
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Variability within Modeling Language Definitions
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Templatable metamodels for semantic variation points
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
A common framework for synchronization in requirements modelling languages
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Semantically configurable consistency analysis for class and object diagrams
Proceedings of the 14th international conference on Model driven engineering languages and systems
Semantic variations among UML statemachines
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Prescriptive semantics for big-step modelling languages
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
Model translations among big-step modeling languages
Proceedings of the 34th International Conference on Software Engineering
Polyglot: systematic analysis for multiple statechart formalisms
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.00 |
We propose a template-based approach to structuring the semantics of model-based specification notations. The basic computation model is a nonconcurrent, hierarchical state-transition machine (HTS), whose execution semantics are parameterized. Semantics that are common among notations (e.g., the concept of an enabled transition) are captured in the template, and a notation's distinct semantics (e.g., which states can enable transitions) are specified as parameters. The template semantics of composition operators define how multiple HTSs execute concurrently and how they communicate and synchronize with each other by exchanging events and data. The definitions of these operators use the template parameters to preserve notation-specific behavior in composition. Our template is sufficient to capture the semantics of basic transition systems, CSP, CCS, basic LOTOS, a subset of SDL88, and a variety of statecharts notations. We believe that a description of a notation's semantics using our template can be used as input to a tool that automatically generates formal analysis tools.