Systematic software development using VDM
Systematic software development using VDM
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
Object-oriented modeling and design
Object-oriented modeling and design
Method integration: concepts and case studies
Method integration: concepts and case studies
Specifying software specification & design methods
CAiSE '94 Proceedings of the 6th international conference on Advanced information systems engineering
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
Developing graphical (software engineering) tools with PROGRES
ICSE '97 Proceedings of the 19th international conference on Software engineering
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The unified software development process
The unified software development process
An Introduction to Formal Specification and Z
An Introduction to Formal Specification and Z
Experience with an Approach to Comparing Software Design Methodologies
IEEE Transactions on Software Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
An Assembly Process Model for Method Engineering
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Unification and Consistency Verification of Object-Oriented Analysis Models
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
A pragmatic, rigorous integration of structural and behavioral modeling notations
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Dependency Relations between Models in the Unified Process
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Hi-index | 0.00 |
This paper discusses two applications of model transformation to method engineering; one is method assembly of diagram based methods and formal methods and the other one is providing formal semantics with meta models by means of the transformation of the meta model descriptions into the formal descriptions. We use Class Diagram to define the meta models, and the models following the meta model can be represented with instance graphs. Thus our model transformation is based on graph grammars. To show and clarify the benefits of model transformation in method engineering, we illustrate the transformation rules and how to transform models. We use two examples; one is a method assembly of Class Diagram and Z and the other one is defining formal semantics of the meta model of Class Diagram.