Parallel state space construction for model-checking
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Visualization and interpretation of analysis results within the context of formalized UML diagrams
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A toolkit for weaving aspect oriented UML designs
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
Design Patterns Application in UML
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
System Test Synthesis from UML Models of Distributed Software
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
UMLsec: Extending UML for Secure Systems Development
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Validation of UML Models Thanks to Z and Lustre
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Graph Rewrite Systems for Software Design Transformations
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Test Purposes: Adapting the Notion of Specification to Testing
Proceedings of the 16th IEEE international conference on Automated software engineering
Extension to UML using stereotypes
UML and the unified process
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
Model-Driven Reverse Engineering
IEEE Software
Modelling and model checking suspendible business processes via statechart diagrams and CSP
Science of Computer Programming
Test Synthesis from UML Models of Distributed Software
IEEE Transactions on Software Engineering
LTS-BT: a tool to generate and select functional test cases for embedded systems
Proceedings of the 2008 ACM symposium on Applied computing
GREAT: UML transformation tool for porting middleware applications
Science of Computer Programming
Verification and Synthesis of OCL Constraints Via Topology Analysis
Applications of Graph Transformations with Industrial Relevance
An ASM semantics of UML derived from the meta-model and incorporating actions
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A requirements patterns-driven approach to specify systems and check properties
SPIN'03 Proceedings of the 10th international conference on Model checking software
Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach
Science of Computer Programming
A visualization framework for the modeling and formal analysis of high assurance systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Describing horizontal model transformations with graph rewriting rules
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Code generation from UML models with semantic variation points
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
MCC: a model transformation environment
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Model-based development for RTSJ platforms
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
| Hi-index | 0.00 |
Advanced users often find themselves restricted by the limited facilities of most UML CASE tools when they want to do complex manipulations of UML model. E.g. apply design patterns, generate code for simulation and validation etc. In this paper, we describe UMLAUT, a freely available UML transformation framework, for manipulating UML models. These manipulations are expressed as algebraic compositions of reified elementary transformations. They are thus open to extensions through inheritance and aggregation. To illustrate the interest of our approach, we show how the model of an UML distributed application can be automatically transformed into a labeled transition system validated using advanced protocol validation technology.