Object-oriented modeling and design
Object-oriented modeling and design
Symbolic model checking: an approach to the state explosion problem
Symbolic model checking: an approach to the state explosion problem
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Parsing Methodology for the Implementation of Visual Systems
IEEE Transactions on Software Engineering
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
The AGG approach: language and environment
Handbook of graph grammars and computing by graph transformation
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Design, Construction, and Application of a Generic Visual Language Generation Environment
IEEE Transactions on Software Engineering
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Executable Uml: How to Build Class Models
Executable Uml: How to Build Class Models
Reconciling the needs of architectural description with object-modeling notations
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
Graph Grammar Engineering with PROGRES
Proceedings of the 5th European Software Engineering Conference
Issues in the Practical Use of Graph Rewriting
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
A Graph Rewriting Framework for Statecharts Semantics
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Towards a Formal Operational Semantics of UML Statechart Diagrams
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
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
Semantics of Full Statecharts Based on Graph Rewriting
Proceedings of the International Workshop on Graph Transformations in Computer Science
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
Modeling and validation of service-oriented architectures: application vs. style
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Model Driven Architecture with Executable UML(TM)
Model Driven Architecture with Executable UML(TM)
Towards Formal Verification of UML Diagrams Based on Graph Transformation
CEC-EAST '04 Proceedings of the E-Commerce Technology for Dynamic E-Business, IEEE International Conference
Tool integration at the meta-model level: the Fujaba approach
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tool integration applications and frameworks
A framework for modeling and implementing visual notations with applications to software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Transformation of UML State Machines for Direct Execution
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Explicit modeling of semantics associated with composite states in UML statecharts
Automated Software Engineering
Spatial graph grammars for graphical user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
Rewrite rules and operational semantics for model checking UML statecharts
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Unified Modeling Language Reference Manual
Unified Modeling Language Reference Manual
Domain-specific language modelling with UML profiles by decoupling abstract and concrete syntaxes
Journal of Systems and Software
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
A conceptual modeling quality framework
Software Quality Control
USMMC: a self-contained model checker for UML state machines
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Hi-index | 0.00 |
The Unified Modeling Language (UML) has been widely accepted as a standard for modeling software systems from various perspectives. The intuitive notations of UML diagrams greatly improve the communication among developers. However, the lack of a formal semantics makes it difficult to automate analysis and verification. This paper offers a graphical yet formal approach to specifying the behavioral semantics of statechart diagrams using graph transformation techniques. It supports many advanced features of statecharts, such as composite states, firing priority, history, junction, and choice. In our approach, a graph grammar is derived automatically from a state machine to summarize the hierarchy of states. Based on the graph grammar, the execution of a set of non-conflict state transitions is interpreted by a sequence of graph transformations. This facilitates verifying a design model against system requirements. To demonstrate our approach, we present a case study on a toll-gate system.