Abstract
For a widespread success of the model-driven paradigm, appropriate tools such as “Version Control Systems” (VCS) allowing for consistency maintenance between concurrently edited model versions are required to adequately support a model-based development process. Initial attempts for graph-based versioning of model artifacts are either tightly coupled to the modeling environment, not flexible with respect to the used modeling language or cannot interpret the model’s semantics. On basis of those characteristics, the goal of the outlined thesis presented in this paper is to provide mechanisms to detect conflicting modifications between parallel edited model versions more accurately. By reducing falsely indicated conflicts and by finding additional semantic conflicts, the resolution process can be simplified by means of appropriate techniques for comparison, conflict detection, conflict resolution and merge.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
- Modeling Language
- Semantic View
- Business Process Execution Language
- Eclipse Modeling Framework
- Atlas Transformation Language
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Oliveira, H., Murta, L., Werner, C.: Odyssey-VCS: a flexible version control system for UML model elements. In: Proc. of the 12th Int. Workshop on Software Configuration Management (SCM), ACM Press, New York (2005)
Thione, G.L., Perry, D.E.: Parallel changes: Detecting semantic interferences. In: Proc. of the 29th Annual Int. Computer Software and Applications Conf (COMPSAC), vol. 1, pp. 47–56. IEEE Computer Society, Los Alamitos (2005)
Westfechtel, B.: Structure-oriented merging of revisions of software. In: SCM, pp. 68–79 (1991)
Mens, T.: A state-of-the-art survey on software merging. IEEE Trans. Software Eng. 28(5), 449–462 (2002)
Bendix, L., Larsen, P.N., Nielsen, A.I., Petersen, J.L.S.: CoEd – a tool for versioning of hierarchical documents. In: Magnusson, B. (ed.) ECOOP 1998 and SCM 1998. LNCS, vol. 1439, Springer, Heidelberg (1998)
Harel, D., Rumpe, B.: Meaningful modeling: What’s the semantics of “semantics”? Computer 37(10), 64–72 (2004)
Slonneger, K., Kurtz, B.: Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)
OASIS: Web services business process execution language (WSBPEL) standard version 2.0 (April 2007), http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf
Object Management Group (OMG): OCL 2.0 specification (June 2005)
Shao, D., Khurshid, S., Perry, D.E.: Evaluation of semantic interference detection in parallel changes: an exploratory experiment. In: Proc. of the 23rd IEEE Int. Conf. on Software Maintenance, Paris, France (2007)
Ryndina, K., Küster, J.M., Gall, H.: Consistency of business process models and object life cycles. In: Proc. of the 1st Workshop on Quality in Modeling (2006)
Altmanninger, K., Bergmayr, A., Kotsis, G., Reiter, T., Schwinger, W.: Models in conflict – detection of semantic conflicts in model-based development. In: Proc. of the 3rd Int. Workshop on Model-Driven Enterprise Information Systems (MDEIS), pp. 29–40. INSTICC Press (2007)
Toulmé, A.: Presentation of EMF compare utility. In: Eclipse Modeling Symposium (2006)
Altmanninger, K., Bergmayr, A., Kotsis, G., Schwinger, W.: Semantically enhanced conflict detection between model versions in SMoVer by example. In: Int. Workshop on Semantic-Based Software Development in conjunction with the Int. Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (2007)
Allilaire, F., Bézivin, J., Jouault, F., Kurtev, I.: ATL – eclipse support for model transformation. In: Proc. of the Eclipse Technology eXchange Workshop (eTX) of the European Conf. on Object-Oriented Programming (ECOOP) (2006)
Cicchetti, A., Rossini, A.: Weaving models in conflict detection specifications. In: Proc. of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, pp. 1035–1036. ACM Press, New York (2007)
Völkel, M.: D2.3.3.v2 SemVersion – versioning RDF and ontologies (2006), http://www.aifb.uni-karlsruhe.de/Publikationen/showPublikation?publ_id=1163
Alanen, M., Porres, I.: Version control of software models. In: Yang, H. (ed.) Advances in UML and XML-Based Software Evolution, Idea Group Publishing (2005)
Oda, T., Saeki, M.: Generative technique of version control systems for software diagrams. In: Proc. of the 21st IEEE Int. Conf. on Software Maintenance (2005)
Roddick, J.F., de Vries, D.: Reduce, reuse, recycle: Practical approaches to schema integration, evolution and versioning. In: Roddick, J.F., Benjamins, V.R., Si-said Cherfi, S., Chiang, R., Claramunt, C., Elmasri, R.A., Grandi, F., Han, H., Hepp, M., Lytras, M., Mišić, V.B., Poels, G., Song, I.-Y., Trujillo, J., Vangenot, C. (eds.) ER Workshops 2006. LNCS, vol. 4231, pp. 209–216. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Altmanninger, K. (2008). Models in Conflict – Towards a Semantically Enhanced Version Control System for Models. In: Giese, H. (eds) Models in Software Engineering. MODELS 2007. Lecture Notes in Computer Science, vol 5002. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69073-3_31
Download citation
DOI: https://doi.org/10.1007/978-3-540-69073-3_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69069-6
Online ISBN: 978-3-540-69073-3
eBook Packages: Computer ScienceComputer Science (R0)