Conflict detection for model versioning based on graph modifications

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

Volumn 6372 LNCS, Issue , 2010, Pages 171-186

  Taentzer, Gabriele ^a   Ermel, Claudia ^b   Langer, Philip ^c   Wimmer, Manuel ^d  

^a PHILIPPS UNIVERSITY MARBURG   (Germany)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^c JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

^d VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT SYNTAX; AS GRAPH; CONFLICT DETECTION; GRAPH MODIFICATIONS; GRAPH TRANSFORMATION; INTEGRATED DEVELOPMENT ENVIRONMENT; KEY TECHNIQUES; MODEL STATE; MODEL-DRIVEN ENGINEERING; RULE BASED; STATE-BASED; VERSIONING; VERSIONING SYSTEMS;

ABSTRACTING; GRAPH THEORY; SYNTACTICS; WEB SERVICES;

MODELS;

EID: 78649900287     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15928-2_12     Document Type: Conference Paper

References (17)

1. Brosch, P., Kappel, G., Langer, P., Seidl, M., Wieland, K., Wimmer, M., Kargl, H.: Adaptable Model Versioning in Action. In: Modellierung 2010. LNI, vol. 161. GI (2010)
2. Murta, L., Corrêa, C., Prudêncio, J.G., Werner, C.: Towards Odyssey-VCS 2: Improvements over a UML-based Version Control System. In: 2nd Int. Workshop on Comparison and Versioning of Software Models @ ICSE 2008 (2008)
3. Kögel, M.: Towards Software Configuration Management for Unified Models. In: Workshop on Comparison and Versioning of Software Models @ ICSE 2008 (2008)
4. Schneider, C., Zündorf, A., Niere, J.: CoObRA - A Small Step for Development Tools to Collaborative Environments. In: Workshop on Directions in Software Engineering Environments @ ICSE 2004 (2004)
5. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)
6. Bisztray, D., Heckel, R., Ehrig, H.: Verification of architectural refactorings: Rule extraction and tool support. ECEASST 16 (2008)
7. TFS-Group, TU Berlin: AGG (2009), http://tfs.cs.tu-berlin.de/agg
8. Taentzer, G., Ermel, C., Langer, P., Wimmer, M.: Conflict detection for model versioning based on graph modfications: Long version. Technical Report 2010/09, Technische Universität Berlin (to appear 2010), http://www.eecs.tu-berlin.de/menue/forschung/forschungsberichte/2010
9. Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. in Comp. Sci. 19(2), 245-296 (2009)
10. Brun, C., Pierantonio, A.: Model Differences in the Eclipse Modeling Framework. UPGRADE, The European Journal for the Informatics Professional (2008)
11. Conradi, R., Westfechtel, B.: Version Models for Software Configuration Management. ACM Computing Surveys 30(2), 232-282 (1998) (Pubitemid 128485204)
12. Mens, T.: A State-of-the-Art Survey on Software Merging. IEEE Transactions on Software Engineering 28(5), 449-462 (2002)
13. Kelter, U., Wehren, J., Niere, J.: A Generic Difference Algorithm for UML Models. In: Software Engineering 2005. LNI, vol. 64, pp. 105-116. GI (2005)
14. Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A Category-Theoretical Approach to the Formalisation of Version Control in MDE. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 64-78. Springer, Heidelberg (2009)
15. Alanen, M., Porres, I.: Difference and union of models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 2-17. Springer, Heidelberg (2003)
16. Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: ICSE 2008-30th Int. Conference on Software Engineering (2008)
17. Blanc, X., Mougenot, A., Mounier, I., Mens, T.: Incremental Detection of Model Inconsistencies Based on Model Operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 32-46. Springer, Heidelberg (2009)