Object-oriented software engineering
Object-oriented software engineering
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Writing Effective Use Cases
Proceedings of the 24th International Conference on Software Engineering
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
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
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
A Hierarchical Use Case Model with Graphical Representation
ECBS '96 Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems
Testable Use Cases in the Abstract State Machine Language
APAQS '01 Proceedings of the Second Asia-Pacific Conference on Quality Software
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
On Generating EFSM models from Use Cases
ICSEW '07 Proceedings of the 29th International Conference on Software Engineering Workshops
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
ATL: A model transformation tool
Science of Computer Programming
On the relationship of model transformations based on triple and plain graph grammars
Proceedings of the third international workshop on Graph and model transformations
Triple Graph Grammars and OCL for Validating System Behavior
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
From Graph Transformation to OCL Using USE
Applications of Graph Transformations with Industrial Relevance
On Integrating OCL and Triple Graph Grammars
Models in Software Engineering
Precise Model-Driven Transformations Based on Graphs and Metamodels
SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
2nd UML 2 semantics symposium: formal semantics for UML
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Specifying precise use cases with use case charts
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
MOFLON: a standard-compliant metamodeling framework with graph transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Complementary use case scenario representations based on domain vocabularies
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
In software development a system is often viewed by various models at different levels of abstraction. It is very difficult to maintain the consistency between them for both structural and behavioral semantics. This paper focuses on a formal foundation for presenting scenarios and reasoning the synchronization between them. We represent such a synchronization using a transition system, where a state is viewed as a triple graph presenting the connection of current scenarios, and a transition is defined as a triple graph transformation rule. As a result, the conformance property can be represented as a Computational Tree Logic (CTL) formula and checked by model checkers. We define the transition system using our extension of UML activity diagrams together with Triple Graph Grammars (TGGs) incorporating Object Constraint Language (OCL). We illustrate the approach with a case study of the relation between a use case model and a design model. The work is realized using the USE tool.