Detecting and resolving model inconsistencies using transformation dependency analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4199 LNCS, Issue , 2006, Pages 200-214

  Mens, Tom ^a   Van Straeten, Ragnhild Der ^b   D'Hondt, Maja ^c  

^a UNIVERSITY OF MONS   (Belgium)

^b VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^c ECOLE CENTRALE DE LILLE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATIC PROGRAMMING; COMPUTER SCIENCE; COMPUTER SOFTWARE; MANAGEMENT INFORMATION SYSTEMS; MATHEMATICAL MODELS;

CONTEMPORARY MODELLING; INCONSISTENCY MANAGEMENT; MODEL INCONSISTENCIES; TRANSFORMATION DEPENDENCY ANALYSIS;

SOFTWARE ENGINEERING;

EID: 33750284265     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11880240_15     Document Type: Conference Paper

References (18)

1. Object Management Group: Unified Modeling Language 2.0 Superstructure Specification. http://www.omg.org/cgi-bin/apps/doc?formal/05-07-04.pdf (2005)
2. Van Der Straeten, R., D'Hondt, M.: Model refactorings through rule-based inconsistency resolution. In: ACM SAC 2006 - Track on Model Transformation. (2006) To appear.
3. Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logics to maintain consistency between UML models. In: UML 2003 - The Unified Modeling Language. Volume 2863 of Lecture Notes in Computer Science., Springer-Verlag (2003) 326-340
4. Van Der Straeten, R.: Inconsistency Management in Model-driven Engineering. An Approach using Description Logics. PhD thesis, Department of Computer Science, Vrije Universiteit Brussel, Belgium (2005)
5. Plump, D.: Hypergraph rewriting: Critical pairs and undecidability of confluence. In: Term Graph Rewriting. Wiley (1993) 201-214
6. Taentzer, G.: AGG: A graph transformation environment for modeling and validation of software. In: Proc. ACTIVE 2003. Volume 3062 of Lecture Notes in Computer Science., Springer-Verlag (2004) 446-453
7. Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In: Proc. Int'l Conf. Graph Transformation. Volume 3256 of Lecture Notes in Computer Science., Springer-Verlag (2004) 161-177
8. Mens, T., Kniesel, G., Runge, O.: Transformation dependency analysis - a comparison of two approaches. Série L'objet - logiciel, base de données, réseaux (2006)
9. Goedicke, M., Meyer, T., , Taentzer, G.: Viewpoint-oriented software development by distributed graph transformation: Towards a basis for living with inconsistencies. In: Proc. Requirements Engineering 1999, IEEE Computer Society (1999) 92-99
10. Ehrig, H., Tsioalikis, A.: Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In: ETAPS 2000 workshop on graph transformation systems. (2000) 77-86
11. Hausmann, J.H., Heckel, R., Sauer, S.: Extended model relations with graphical consistency conditions. In: Proc. UML 2002 Workshop on Consistency Problems in UML-Based Software Development. (2002) 61-74
12. Easterbrook, S.: Handling conflict between domain descriptions with computer-supported negotiation. Knowledge Acquisition 3 (1991) 255-289
13. Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Proc. 25th Int'l Conf. Software Engineering, IEEE Computer Society (2003) 455-464
14. Spanoudakis, G., Finkelstein, A.: Reconciling requirements: a method for managing interference, inconsistency and conflict. Ann. Softw. Eng. 3 (1997) 433-457
15. Kozlenkov, A., Zisman, A.: Discovering, recording, and handling inconsistencies in software specifications. Int'l Journal of Computer and Information Science 5 (2004)
16. Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of conflicting functional requirements in a use case-driven approach. In: Proc. Int'l Conf. Software Engineering, ACM Press (2002)
17. Mens, T., Taentzer, G., Runge, O.: Analyzing refactoring dependencies using graph transformation. Software and Systems Modeling (2006) To appear.
18. Bottom, P., Taentzer, G., Schürr, A.: Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation. In: Proc. IEEE Symp. Visual Languages. (2000)