Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
A State-of-the-Art Survey on Software Merging
IEEE Transactions on Software Engineering
Where are the semantics in the semantic web?
AI Magazine
Parallel Changes: Detecting Semantic Interferences
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
Generative Technique of Version Control Systems for Software Diagrams
ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Transformation methodology for UML 2.0 activity diagram into colored Petri nets
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Towards odyssey-VCS 2: improvements over a UML-based version control system
Proceedings of the 2008 international workshop on Comparison and versioning of software models
Effective Software Merging in the Presence of Object-Oriented Refactorings
IEEE Transactions on Software Engineering
Models in Conflict --- Towards a Semantically Enhanced Version Control System for Models
Models in Software Engineering
Managing Model Conflicts in Distributed Development
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Consistency of business process models and object life cycles
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
2nd UML 2 semantics symposium: formal semantics for UML
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
On the concurrent versioning of metamodels and models: challenges and possible solutions
Proceedings of the 2nd International Workshop on Model Comparison in Practice
Hi-index | 0.00 |
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerged. Optimistic approaches, which are nowadays the designated ones, allow parallel editing of one resource and therefore changes can result in conflicts and inconsistencies. To be flexible for the ever increasing variety of modeling environments and languages VCSs should be independent of the modeling environment and applicable on any modeling language. Those VCS characteristics implicate a lack of information for the conflict detection method by virtue of firstly receiving solely the state of an artifact without concrete editing operations and secondly due to unavailable knowledge about the semantics of a modeling language. In such VCSs inconsistencies would even arise more often. Hence, accurate conflict detection methods are indispensable for the realization of optimistic, environment and language independent VCSs. This can be achieved by providing some understanding about the models's semantics which is possible by specifying machine interpretable formal semantics. Therefore, in this work, a comparison of two semantically enhanced conflict detection approaches is presented with respect to their suitability for the integration in an optimistic, environment and language independent VCS for model artifacts to achieve more accurate conflict reports.