Communicating sequential processes
Communicating sequential processes
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd 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
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Using UML for Modeling Complex Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
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
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Graph-grammars: An algebraic approach
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
Visualizing model mappings in UML
Proceedings of the 2003 ACM symposium on Software visualization
Model refactorings through rule-based inconsistency resolution
Proceedings of the 2006 ACM symposium on Applied computing
AutoGen: Easing model management through two levels of abstraction
Journal of Visual Languages and Computing
Semantics Preservation of Sequence Diagram Aspects
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Automated traceability analysis for UML model refinements
Information and Software Technology
Dynamic Consistency in Process Algebra: From Paradigm to ACP
Electronic Notes in Theoretical Computer Science (ENTCS)
A systematic review of UML model consistency management
Information and Software Technology
Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to Models
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Refinement-Preserving Co-evolution
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
From UML Models to Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of Visual Models in a Rule-based Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations
Service Oriented Computing and Applications
Modelling the asynchronous dynamic evolution of architectural types
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
Information and Software Technology
Iterative development of consistency-preserving rule-based refactorings
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model evolution and refinement
Science of Computer Programming
A semantics for UML-RT active classes via mapping into circus
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Consistency checking of statechart diagrams of a class hierarchy
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Finding a path to model consistency
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Transformation laws for UML-RT
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Consistency checking of sequence diagrams and statechart diagrams using the π-calculus
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Refinement and consistency in component models with multiple views
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Controversy Corner: Towards automated traceability maintenance
Journal of Systems and Software
Graph transformations for evolving domain knowledge
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
| Hi-index | 0.00 |
With model-based development being on the verge of becoming an industrial standard, the topic of research of statically checking the consistency of a model made up of several submodels has already received increasing attention. The evolution of models within software engineering requires support for incremental consistency analysis techniques of a new version of the model after evolution, thereby avoiding a complete reiteration of all consistency tests.In this paper, we discuss the problem of preserving consistency within model-based evolution focusing on UML-RT models. We introduce the concept of a model transformation rule that captures an evolution step. Composition of several evolution steps leads to a complex evolution of a model. For each evolution step, we study the effects on the consistency of the overall model and provide localized consistency checks for those parts of the model that have changed. For a complex evolution of a model, consistency can then be established by incrementally performing those localized consistency checks associated to the transformation rules applied within the evolution.