Weaving models in conflict detection specifications

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2007, Pages 1035-1036

  Cicchetti, Antonio ^a   Rossini, Alessandro ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Conflict detection; Conflict specification; Model driven development; Model weaving

Indexed keywords

MATHEMATICAL MODELS; SPECIFICATION LANGUAGES; SYNTACTICS;

CODE-CENTRIC STANDPOINT; CONFLICT DETECTION; CONFLICT SPECIFICATION; MODEL DRIVEN DEVELOPMENT; MODEL WEAVING;

SOFTWARE ENGINEERING;

EID: 35248845499     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1244002.1244227     Document Type: Conference Paper

References (7)

1. J. Bézivin. On the Unification Power of Models. Jour. on Software and Systems Modeling, 4(2):171-188, 2005.
2. A. Cicchetti and A. Rossini. Conflict Detection Specifications for the Singleton Design Pattern, October 2006. http://znf.zeronotice.com/ modelversioning/conflictsTR.pdf.
3. A. Cicchetti, D. Di Ruscio, and A. Pierantonio. Composition of Model Differences. In Procs. of CMT, pages 9-14, July 2006.
4. T. Mens. A State-of-the-Art Survey on Software Merging. IEEE Trans. Softw. Eng., 28(5):449-462, 2002.
5. T. Mens, G. Taentzer, and O. Runge. Detecting Structural Refactoring Conflicts Using Critical Pair Analysis. Electr. Notes Theor. Comput. Sci, 127(3): 113-128, 2005.
6. D. Stein, S. Hanenberg, and R. Unland. A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models. In MDAFA'03 and MDAFA'04, volume 3599 of LNCS, pages 77-92. Springer-Verlag, 2005.
7. G. L. Thione and D. E. Perry. Parallel Changes: Detecting Semantic Interferences. In COMPSAC, pages 47-56. IEEE Computer Society, 2005.