Learning regular sets from queries and counterexamples
Information and Computation
Automated Support for Modeling OO Software
IEEE Software
How to Make Apples from Oranges in UML
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 3 - Volume 3
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Generative and incremental implementation for a scripting interface
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Adaptable system/Software architectures
Hi-index | 0.00 |
Unified Modeling Language (UML) provides several diagram types viewing a system from different perspectives. In this research, we exploit logical relationships between different UML models. We propose operations to compare, merge, slice and synthesize UML diagrams based on these relationships. In the formal demonstration we show how statechart diagrams can be synthesized semi-automatically from a set of sequence diagrams using an interactive algorithm called MAS. We also demonstrate how a class diagram, annotated with pseudocode presentations of key operations, can be synthesized from sequence diagrams, and how class diagrams and sequence diagrams can be sliced against each other.