A category-theoretical approach to the formalisation of version control in MDE

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

Volumn 5503, Issue , 2009, Pages 64-78

  Rutle, Adrian ^a   Rossini, Alessandro ^b   Lamo, Yngve ^a   Wolter, Uwe ^b  

^a BERGEN UNIVERSITY COLLEGE   (Norway)

^b UNIVERSITY OF BERGEN   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMMON MODELS; COMPLEX EVOLUTIONS; FORMALISATION; KEY TECHNIQUES; MODEL-DRIVEN ENGINEERING; SOFTWARE ARTEFACTS; SOFTWARE DEVELOPMENT PROCESS; THEORETICAL APPROACH; VERSION CONTROL; VERSION CONTROL SYSTEM; MODEL DIFFERENCES;

COMPUTER SOFTWARE; MERGERS AND ACQUISITIONS; INFORMATION MANAGEMENT; LIFE CYCLE; SOFTWARE ENGINEERING;

MODELS; SOFTWARE DESIGN;

EID: 67650107563     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00593-0_5     Document Type: Conference Paper

References (17)

1. Baresi, L., Heckel, R.: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, Vol. 3256, pp. 431-433. Springer, Heidelberg (2004) (Pubitemid 39744725)
2. Brun, C., Musset, J., Toulmé, A.: EMF Compare Project, http://www.eclipse.org/emft/projects/compare/
3. Cicchetti, A., Di Ruscio, D., Pierantonio, A.: A Metamodel Independent Approach to Difference Representation. Journal of Object Technology 6(9), 165-185 (2007) (Special Issue on TOOLS Europe 2007)
4. Mens, T., Taentzer, G., Runge, O.: Detecting Structural Refactoring Conflicts Using Critical Pair Analysis. Electronic Notes in Theoretical Computer Science 127(3), 113-128 (2005) (Pubitemid 40402927)
5. Niu, N., Easterbrook, S., Sabetzadeh, M.: A Category-theoretic Approach to Syntactic Software Merging. In: ICSM 2005: 21st IEEE International Conference on Software Maintenance, pp. 197-206. Ieee Computer Society, Los Alamitos (2005) (Pubitemid 43790934)
6. Rutle, A., Wolter, U., Lamo, Y.: Diagrammatic Software Specifications. In: NWPT 2006: 18th Nordic Workshop on Programming Theory (October 2006)
7. Rutle, A., Wolter, U., Lamo, Y.: A Diagrammatic Approach to Model Transformations. In: EATIS 2008: Euro American Conference on Telematics and Information Systems (2008)
8. Rutle, A., Wolter, U., Lamo, Y.: A Formal Approach to Modeling and Model Transformations in Software Engineering. Technical Report 48, Turku Centre for Computer Science, Finland (2008)
9. Wolter, U., Diskin, Z.: Generalized Sketches: Towards a Universal Logic for Diagrammatic Modeling in Software Engineering. In: ACCAT Workshop 2007, satellite event of ETAPS 2007: European Joint Conferences on Theory and Practice of Software (to appear)
10. Diskin, Z.: Model Transformation via Pull-backs: Algebra vs. Heuristics. Technical Report 521, School of Computing, Queen's University, Kingston, Canada (September 2006)
11. Lin, Y., Gray, J., Jouault, F.: Dsmdiff: A Differentiation Tool For Domain-Specific Models. European Journal of Information Systems 16(4), 349-361 (2007) (Special Issue on Model- Driven Systems Development)
12. Rivera, J.E., Vallecillo, A.: Representing and Operating withModel Differences. In: 46th International Conference on TOOLS Europe 2008: Objects, Components, Models and Patterns. LNBIP, Vol. 11, pp. 141-160. Springer, Heidelberg (2008)
13. Ohst, D., Welle, M., Kelter, U.: Differences between versions of UML diagrams. In: ESEC/FSE 2003: 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003, pp. 227-236. ACM, New York (2003)
14. 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)
15. Cicchetti, A., Di Ruscio, D., Pierantonio, A.: Managing Model Conflicts in Distributed Development. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, Vol. 5301, pp. 311-325. Springer, Heidelberg (2008)
16. Cicchetti, A., Rossini, A.: Weaving Models in Conflict Detection Specifications. In: SAC 2007: 22 nd ACM Symposium on Applied Computing, pp. 1035-1036. ACM, New York (2007) (Pubitemid 47568435)
17. Rutle, A., Rossini, A.: A Tentative Analysis of the Factors Affecting the Industrial Adoption of MDE. In: ChaMDE 2008: 1st International Workshop on Challenges in Model-Driven Software Engineering, pp. 57-61 (2008), http://ssel.vub.ac.be/ChaMDE08/-media/chamde2008-proceedings.pdf