Statecharts: A visual formalism for complex systems
Science of Computer Programming
Strategies for real-time system specification
Strategies for real-time system specification
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering
Diagram editors=graphs+attributes+graph grammars
International Journal of Man-Machine Studies - Special issue on structure-based editors and environments
Tcl and the Tk toolkit
ICSE '97 Proceedings of the 19th international conference on Software engineering
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
LEMMA: A Language for Easy Medical Models Analysis
CBMS'97 Proceedings of the 10th conference on Computer based medical systems
UML distilled (2nd ed.): a brief guide to the standard object modeling language
UML distilled (2nd ed.): a brief guide to the standard object modeling language
The AGG approach: language and environment
Handbook of graph grammars and computing by graph transformation
Communicating sequential processes
Communications of the ACM
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Case Studies in Using a Meta-Method for Formal Method Integration
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
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
The UML as a Formal Modeling Notation
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Using Yourdon and Z: an Approach to Formal Specification
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
A Meta-Method for Formal Method Integration
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Attributed graph grammars for graphics
Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science
Unintrusive Ways to Integrate Formal Specifications in Practice
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A Classification System for Visual Programming Languages
A Classification System for Visual Programming Languages
Programming Industrial Control Systems Using Iec 1131-3 (I E E Control Engineering Series)
Programming Industrial Control Systems Using Iec 1131-3 (I E E Control Engineering Series)
Template Semantics for Model-Based Notations
IEEE Transactions on Software Engineering
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Core meta-modelling semantics of UML: the pUML approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML collaboration diagrams and their transformation to java
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Journal of Visual Languages and Computing
Enforced generative patterns for the specification of the syntax and semantics of visual languages
Journal of Visual Languages and Computing
Specifying behavioral semantics of UML diagrams through graph transformations
Journal of Systems and Software
Supporting user-oriented analysis for multi-view domain-specific visual languages
Information and Software Technology
Semantics of the interaction overview diagram
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Methods and tools for translation of graphical diagrams
Programming and Computing Software
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)
An interleaving semantics for UML 2 interactions using Petri nets
Information Sciences: an International Journal
Object Petri nets marking using UML
International Journal of Computer Applications in Technology
Hi-index | 0.00 |
The article proposes an approach for defining extensible and flexible formal interpreters for diagram notations with significant dynamic semantics. More precisely, it addresses semi-formal diagram notations that have precisely-defined syntax, but informally defined (dynamic) semantics. These notations are often flexible to fit the different needs and expectations of users. Flexibility comes from the incompleteness or informality of the original definition and results in different interpretations.The approach defines interpreters by means of a mapping onto a semantic domain. Two sets of rules define the correspondences between the elements of the diagram notation and those of the semantic domain, and between events and states of the semantic domain and visual annotations on the elements of the diagram notation.Flexibility also leads to notation families, that is, sets of notations that share core concepts, but present slightly different interpretations. Existing approaches usually interpret these notations in isolation; the approach presented in this article allows the interpretation of a family as a whole. The feasibility of the approach is demonstrated through a prototype generator that allows users to implement special-purpose interpreters by defining relatively small sets of rules.