Communicating sequential processes
Communicating sequential processes
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Using UML for Modeling Complex Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
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
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Defining and validating transformations of UML models
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
A systematic review of UML model consistency management
Information and Software Technology
A metamodelling approach to behavioural modelling
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Hi-index | 0.01 |
With the Unified Modeling Language being used in diverse contexts, the ability of defining and checking customized consistency conditions is of increasing importance. Often, consistency checks rely on existing formal analysis tools such as model checkers and require the translation of models into input languages of these tools. The technique of inconsistency handling aims at systematically dealing with inconsistencies de- tected by such consistency checks. Resolution of inconsistencies typically involves changing the model, with guidance of the software engineer or completely automated in the ideal case. As a consequence, in cases where formal analysis tools are used for consistency checks, the output of these tools must be presented in a form understandable for the software engineer. In this paper, we develop a concept for inconsistency handling of object-oriented behavioral models and discuss how graph transformation can be used for reconstructing UML models from outputs generated by analysis tools.