Models in Conflict – Detection of Semantic Conflicts in Model-based Development

Thomas Reiter, Kerstin Altmanninger, Alexander Bergmayr, Wieland Schwinger, Gabriele Kotsis

2007

Abstract

To make the model-driven paradigm a widespread success, appropriate tools such as version control systems (VCS) are required to adequately support a model-based development process. However, first approaches specializing on model-based versioning, do not take into account the semantics of the artifacts they operate upon. Thus, conflict detection mechanisms are based on detecting conflicting concurrent modifications on a software artifact’s syntactic representation, only, without explicitly considering the semantics the artifact stands for. As opposed to a heavyweight approach relying on formal mathematics, we follow a lightweight approach that is based on creating views of a model that explicate a certain aspect of a modeling language’s semantics. Such a view is created through a model transformation from the original model which has been edited by the developers. Using both the original model and the generated view our approach relies on graph-based comparison strategies to detect conflicts due to concurrent editing to determine syntactic and semantic conflicts, respectively. Consequently, by means of various example scenarios, we demonstrate how our approach is able to detect conflicts that otherwise would remain undetected.

References

  1. Subversion. (http://subversion.tigris.org/)
  2. Concurrent Versions System. (http://www.nongnu.org/cvs/)
  3. Bendix, L., Larsen, P.N., Nielsen, A.I., Petersen, J.L.S.: CoEd - A Tool for Versioning of Hierarchical Documents. In: ECOOP 7898: Proceedings of the SCM-8 Symposium on System Configuration Management. Volume 1439 of LNCS., Springer (1998) 174-187
  4. Mens, T.: A State-of-the-Art Survey on Software Merging. IEEE Transactions on Software Engineering 28 (2002) 449-462
  5. Harel, D., Rumpe, B.: Meaningful Modeling: What's the Semantics of “Semantics”? Computer 37 (2004) 64-72
  6. Slonneger, K., Slonneger, K., Kurtz, B.: Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA (1995)
  7. Oliveira, H., Murta, L., Werner, C.: Odyssey-VCS: a Flexible Version Control System for UML Model Elements. In: SCM 7805: Proceedings of the 12th international workshop on Software configuration management, ACM Press (2005) 1-16
  8. Nguyen, T.N.: A Novel Structure-Oriented Difference Approach for Software Artifacts. In: Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC). Number ISBN: 0-7695-2655-1, IEEE Computer Society (2006) 197-204
  9. Oda, T., Saeki, M.: Generative Technique of Version Control Systems for Software Diagrams. In: Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05), IEEE Computer Society (2005) 515-524
  10. Business Process Execution Language for Web Services version 1.1: Specification. http://www-128.ibm.com/developerworks/library/specification/ws-bpel/ (2007)
  11. EMF Homepage. http://www.eclipse.org/modeling/emf/ (2007)
  12. Allilaire, F., Bézivin, J., Jouault, F., Kurtev, I.: ATL - Eclipse Support for Model Transformation. In: Proceedings of the Eclipse Technology eXchange Workshop (eTX) at the ECOOP 2006 Conference, Nantes, France. (2007)
  13. SDO Homepage. http://www.eclipse.org/modeling/emf/?project=sdo (2007)
  14. Völkel, M.: D2.3.3.v2 SemVersion - Versioning RDF and Ontologies. http://www.aifb.unikarlsruhe.de/Publikationen/showPublikation?publid = 1163 (2006)
  15. Ohst, D., Welle, M., Kelter, U.: Differences between versions of UML diagrams. In: Proceedings of the 9th European Software Engineering Conference (ESEC). Number ISBN: 1-58113-743-5, ACM Press (2003) 227-236
Download


Paper Citation


in Harvard Style

Reiter T., Altmanninger K., Bergmayr A., Schwinger W. and Kotsis G. (2007). Models in Conflict – Detection of Semantic Conflicts in Model-based Development . In Proceedings of the 3rd International Workshop on Model-Driven Enterprise Information Systems - Volume 1: MDEIS, (ICEIS 2007) ISBN 978-989-8111-00-5, pages 29-40. DOI: 10.5220/0002422600290040


in Bibtex Style

@conference{mdeis07,
author={Thomas Reiter and Kerstin Altmanninger and Alexander Bergmayr and Wieland Schwinger and Gabriele Kotsis},
title={Models in Conflict – Detection of Semantic Conflicts in Model-based Development},
booktitle={Proceedings of the 3rd International Workshop on Model-Driven Enterprise Information Systems - Volume 1: MDEIS, (ICEIS 2007)},
year={2007},
pages={29-40},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002422600290040},
isbn={978-989-8111-00-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Model-Driven Enterprise Information Systems - Volume 1: MDEIS, (ICEIS 2007)
TI - Models in Conflict – Detection of Semantic Conflicts in Model-based Development
SN - 978-989-8111-00-5
AU - Reiter T.
AU - Altmanninger K.
AU - Bergmayr A.
AU - Schwinger W.
AU - Kotsis G.
PY - 2007
SP - 29
EP - 40
DO - 10.5220/0002422600290040