A manifesto for model merging

Proceedings of the 2006 International Workshop on Global Integrated Model Management, GaMMa 2006, co-located with the 28th International Conference on Software Engineering, ICSE 2006

Volumn , Issue , 2006, Pages 5-11

  Brunet, Greg ^a   Chechik, Marsha ^a   Easterbrook, Steve ^a   Nejati, Shiva ^a   Niu, Nan ^a   Sabetzadeh, Mehrdad ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Distributed development; Inconsistency; Model management

Indexed keywords

ALGEBRA; MERGERS AND ACQUISITIONS; SOFTWARE ENGINEERING;

ALGEBRAIC PROPERTIES; DISTRIBUTED DEVELOPMENT; INCONSISTENCY; MERGE OPERATORS; MODEL MANAGEMENT; MODEL MERGING; MODEL RELATIONSHIPS; MODELING TASK;

MERGING;

EID: 84958185795     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138304.1138307     Document Type: Conference Paper

References (26)

1. M. Barr and C. Wells. "Category Theory for Computing Science". Les Publications CRM Montréal, Montreal, Canada, 3rd edition, 1999.
2. P. Buneman, S. Davidson, and A. Kosky. Theoretical aspects of schema merging. In Proceedings of the 3rd International Conference on Extending Database Technology, pages 152-167, 1992.
3. S. Easterbrook and M. Chechik. "A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints". In Proceedings of International Conference on Software Engineering (ICSE'01), pages 411-420, 2001.
4. A. Egyed and N. Medvidovic. "A Formal Approach to Heterogeneous Software Modeling". In Proceedings of Formal Aspects of Software Engineering (FASE'00), pages 178-192, 2000.
5. J. Goguen. "A Categorical Manifesto". Mathematical Structures in Computer Science, 1(1):49-67, 1991.
6. D. Harel, H. Kugler, and A. Pnueli. "Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements.". In Formal Methods in Software and Systems Modeling, pages 309-324, 2005.
7. S. Horwitz, J. Prins, and T. Reps. "Integrating Noninterfering Versions of Programs.". ACM Transactions on Programming Languages and Systems, 11(3):345-387, 1989.
8. S. C. Kleene. Introduction to Metamathematics. New York: Van Nostrand, 1952.
9. K. Larsen and L. Xinxin. "Equation Solving Using Modal Transition Systems". In Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science (LICS'90), pages 108-117, 1990.
10. N. Liu, J. C. Grundy, and J. G. Hosking. "A Visual Language and Environment for Composing Web Services". In Proceedings of Automated Software Engineering (ASE'05), pages 321-324, 2005.
11. S. Melnik, E. Rahm, and P. Bernstein. "Rondo: a Programming Platform for Generic Model Management". In SIGMOD Conference, pages 193-204, 2003.
12. R. Milner. "Communication and Concurrency". Prentice-Hall, New York, 1989.
13. S. Nejati and M. Chechik. "Let's Agree to Disagree". In Proceedings of 20th IEEE International Conference on Automated Software Engineering (ASE'05), pages 287-290, 2005.
14. S. Nejati, M. Sabetzadeh, M. Chechik, and S. Easterbrook. "Identifying and Representing Requirements Variability in Families of Reactive Software", 2006. Submitted for publication.
15. C. Nentwich, W. Emmerich, and A. Finkelstein. "Consistency Management with Repair Actions". In Proc. of the 25 Int. Conference on Software Engineering (ICSE'03), 2003.
16. N. Niu, S. Easterbrook, and M. Sabetzadeh. "A Category-Theoretic Approach to Syntactic Software Merging". In 21st IEEE International Conference on Software Maintenance (ICSM'05), pages 197-206, 2005.
17. B. Nuseibeh, S. Easterbrook, and A. Russo. "Making Inconsistency Respectable in Software Development". The Journal of Systems and Software, 58(2):171-180, 2001.
18. R. Pottinger and P. Bernstein. "Merging Models Based on Given Correspondences". In Proceedings of 29th International Conference on Very Large Data Bases (VLDB'03), pages 862-873, 2003.
19. E. Rahm and P. Bernstein. "A Survey of Approaches to Automatic Schema Matching". The VLDB Journal, 10(4):334-350, 2001.
20. R. Reiter. "On Closed World Databases". In Logic and Databases, pages 119-140. Plenum Publ. Co., 1978.
21. D. Richards. "Merging Individual Conceptual Models of Requirements". Requirements Engineering, 8(4):195-205, 2003.
22. M. Sabetzadeh and S. Easterbrook. "An Algebraic Framework for Merging Incomplete and Inconsistent Views". In 13th IEEE International Requirements Engineering Conference, September 2005.
23. M. Sabetzadeh and S. Easterbrook. "Traceability in Viewpoint Merging: A Model Management Perspective". In 3rd International Workshop on Traceability in Emerging Forms of Software Engineering, November 2005.
24. S. E. Sim, S. Easterbrook, and R. C. Holt. "Using Benchmarking to Advance Research: a Challenge to Software Engineering". In Proceedings of the 25th International Conference on Software Engineering (ICSE'03), pages 74-83, 2003.
25. S. Uchitel and M. Chechik. "Merging Partial Behavioural Models". In Proceedings of 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 43-52, November 2004.
26. Z. Xing and E. Stroulia. "UMLDiff: An Algorithm for Object-Oriented Design Differencing". In Proceedings of 20th IEEE International Conference on Automated Software Engineering (ASE'05), pages 54-65, 2005.