CDDiff: Semantic differencing for class diagrams

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

Volumn 6813 LNCS, Issue , 2011, Pages 230-254

  Maoz, Shahar ^a   Ringert, Jan Oliver ^a   Rumpe, Bernhard ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT SYNTAX; CDS; CHANGE MANAGEMENT; CLASS DIAGRAMS; EVOLUTION ANALYSIS; MODEL COMPARISON; OBJECT MODEL; OBJECT-ORIENTED SYSTEM; PLUG-INS; RESEARCH EFFORTS; SEMANTIC DIFF;

CADMIUM ALLOYS; OBJECT ORIENTED PROGRAMMING; RESEARCH AND DEVELOPMENT MANAGEMENT; SEMANTICS; SOFTWARE DESIGN;

GRAPHIC METHODS;

EID: 79961159636     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22655-7_12     Document Type: Conference Paper

References (34)

1. 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)
2. Alloy Anaylzer website, http://alloy.mit.edu/ (accessed April 2011)
3. Altmanninger, K.: Models in Conflict - Towards a Semantically Enhanced Version Control System for Models. In: Giese, H. (ed.) MODELS 2008. LNCS, vol. 5002, pp. 293-304. Springer, Heidelberg (2008)
4. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges ofmodel transfor-mation from UML to Alloy. Software and Systems Modeling 9(1), 69-86 (2010)
5. Apiwattanapong, T., Orso, A., Harrold, M.J.: JDiff: A differencing technique and tool for object-oriented programs. Autom. Softw. Eng. 14(1), 3-36 (2007) (Pubitemid 46639272)
6. Berardi, D., Calvanese, D., Giacomo, G.D.: Reasoning on UML class diagrams. Artif Intell. 168(1-2), 70-118 (2005) (Pubitemid 41338772)
7. Broy, M., Cengarle, M.V., Gr̈onniger, H., Rumpe, B.: Definition of the System Model. In: Lano, K. (ed.) UML 2 Semantics and Applications, pp. 61-93. Wiley, Chichester (2009)
8. Cengarle, M.V., Gr̈onniger, H., Rumpe, B.: System Model Semantics of Class Di-agrams. Informatik-Bericht 2008-05, Technische Universiẗat Braunschweig (2008)
9. EMF Compare, http://www.eclipse.org/modeling/emft/?project=compare (accessed April 2011)
10. Engel, K.-D., Paige, R.F., Kolovos, D.S.: Using a Model Merging Language for Reconciling Model Versions. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 143-157. Springer, Heidelberg (2006) (Pubitemid 44124023)
11. Evans, A., France, R.B., Peng, S.-L.: The UML as a Formal Modeling Notation. In: B́ezivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 336-348. Springer, Heidelberg (1999)
12. Harel, D., Rumpe, B.: Meaningful Modeling: What's the Semantics of "Semantics"? IEEE Computer 37(10), 64-72 (2004)
13. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)
14. Jackson, D., Ladd, D.A.: Semantic Diff: A Tool for Summarizing the Effects ofMod-ifications. In: ICSM, pp. 243-252. IEEE Computer Society, Los Alamitos (1994)
15. Jouault, F., Allilaire, F., B́ezivin, J., Kurtev, I.: ATL: A model transformation tool. Sci. Comput. Program. 72(1-2), 31-39 (2008)
16. Krahn, H., Rumpe, B., V̈olkel, S.: MontiCore: a framework for compositional de-velopment of domain specific languages. International Journal on Software Tools for Technology Transfer (STTT) 12(5), 353-372 (2010)
17. Küster, J.M., Gerth, C., Engels, G.: Dependent and Conflicting Change Operations ofProcess Models. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 158-173. Springer, Heidelberg (2009)
18. Maoz, S., Ringert, J.O., Rumpe, B.: A manifesto for semantic model differencing. In: Dingel, J. (ed.) MODELS 2010 Workshops. LNCS, vol. 6627, pp. 194-203. Springer, Heidelberg (2011)
19. Maoz, S., Ringert, J.O., Rumpe, B.: Modal object diagrams. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol. 6813, pp. 282-306. Springer, Heidelberg (2011)
20. Maraee, A., Balaban, M.: Efficient reasoning about finite satisfiability of UML class diagrams with constrained generalization sets. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA. LNCS, vol. 4530, pp. 17-31. Springer, Heidelberg (2007) (Pubitemid 350259517)
21. Massoni, T., Gheyi, R., Borba, P.: A UML Class Diagram Analyzer. In: CSDUML, pp. 143-153 (2004)
22. Mehra, A., Grundy, J., Hosking, J.: A generic approach to supporting diagram differencing and merging for collaborative design. In: ASE, pp. 204-213. ACM, New York (2005)
23. Mens, T.: A state-of-the-art survey on software merging. IEEE Trans. Software Eng. 28(5), 449-462 (2002) (Pubitemid 34669572)
24. MontiCore project, http://www.monticore.org/
25. Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and merging of statecharts specifications. In: ICSE, pp. 54-64. IEEE Computer Society, Los Alamitos (2007)
26. Ohst, D., Welle, M., Kelter, U.: Differences between versions of UML diagrams. In: Proc. ESEC / SIGSOFT FSE, pp. 227-236. ACM, New York (2003)
27. OMG. Unified Modeling Language (UML) Superstructure v2.1.2 http://www.omg.org/spec/UML/2.1.2/Superstructure/PDF (accessed April 2011)
28. Person, S., Dwyer, M.B., Elbaum, S.G., Pasareanu, C.S.: Differential Symbolic Execution. In: SIGSOFT FSE, pp. 226-237. ACM, New York (2008)
29. Rumpe, B.: Modellierung mit UML. Springer, Heidelberg (2004)
30. SAT4J project, http://www.sat4j.org/ (accessed April 2011)
31. Semantic diffproject, http://www.se-rwth.de/materials/semdiff
32. Shah, S.M.A., Anastasakis, K., Bordbar, B.: From UML to Alloy and Back Again. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 158-171. Springer, Hei-delberg (2010)
33. Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 326-340. Springer, Heidelberg (2003)
34. Xing, Z., Stroulia, E.: Differencing logical UML models. Autom. Softw. Eng. 14(2), 215-259 (2007) (Pubitemid 47155110)