IWMCP '10Pub Date : 2010-07-01DOI: 10.1145/1826147.1826152
M. Brand, Z. Protic, T. Verhoeff
{"title":"Fine-grained metamodel-assisted model comparison","authors":"M. Brand, Z. Protic, T. Verhoeff","doi":"10.1145/1826147.1826152","DOIUrl":"https://doi.org/10.1145/1826147.1826152","url":null,"abstract":"In this paper we consider two major concerns in the process of comparing two models -- representation and calculation of model differences.\u0000 Based on previous work, we adopt a set of requirements which a difference representation should satisfy in order to be seamlessly used in Model Driven Engineering environments. Given these requirements, we represent model differences by means of a differences model, which conforms to a differences metamodel. We show that the traditional meta-modeling approaches, which conform to the four-layered meta-modeling architecture, lack means for the specification of differences metamodels which fully satisfy the specified requirements. Consequently, we specify a metametamodel which offers a different view on the traditional metamodeling approaches and we use it to define the differences metamodel which fully satisfies the specified requirements.\u0000 Traditional approaches to difference calculation consider models as trees, and use the structure provided by these trees to guide the calculation process. The calculation algorithms used in those approaches are based on matching elements in one model to elements in another model by using one of the following four types of matching: static-identity, signature-based, similarity-based, and language-specific. We adopt the same philosophy, but unlike the traditional approaches which have a fixed calculation algorithm and a fixed matching type, we provide a calculation algorithm that is highly configurable and is designed such that all four traditional types of matching can be used together.\u0000 As a proof-of-concept we have implemented a tool which allows representation, calculation, and visualization of model differences.","PeriodicalId":235689,"journal":{"name":"IWMCP '10","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132609125","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
IWMCP '10Pub Date : 2010-07-01DOI: 10.1145/1826147.1826155
B. Westfechtel
{"title":"A formal approach to three-way merging of EMF models","authors":"B. Westfechtel","doi":"10.1145/1826147.1826155","DOIUrl":"https://doi.org/10.1145/1826147.1826155","url":null,"abstract":"Inadequate version control for models significantly impedes the application of model-driven software development. In particular, sophisticated support for merging model versions is urgently needed. In this paper, we present a formal approach to three-way merging of models in the EMF framework which may be applied to instances of arbitrary Ecore models. We specify context-free and context-sensitive rules for model merging which both detect and resolve merge conflicts. Furthermore, we present a merge algorithm which produces a valid model provided it is supplied with valid input models.","PeriodicalId":235689,"journal":{"name":"IWMCP '10","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134538753","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
IWMCP '10Pub Date : 2010-07-01DOI: 10.1145/1826147.1826156
Petra Kaufmann, Philip Langer, M. Seidl, Konrad Wieland, M. Wimmer
{"title":"Colex: a web-based collaborative conflict lexicon","authors":"Petra Kaufmann, Philip Langer, M. Seidl, Konrad Wieland, M. Wimmer","doi":"10.1145/1826147.1826156","DOIUrl":"https://doi.org/10.1145/1826147.1826156","url":null,"abstract":"While graphical modeling languages gained recognition as being a promising successor of third-generation programming languages, their widespread employment is still decelerated by the absence of adequate version control management for modeling artifacts. Even worse, the expected behavior and quality requirements for upcoming model versioning systems are only vaguely stated and understood. When it comes to defining, detecting, and resolving conflicts, no consolidated categorization and no common benchmark exist which impedes a uniform comparison of current approaches. With this paper, we invite the model versioning community to conjointly accomplish a consolidated body of knowledge which documents various types of conflicts, their detectability, as well as applicable resolution strategies. Therefore, we present Colex, an open, web-based, collaborative conflict lexicon. As a starting point, we provide a causal categorization of conflicts and---according to these categories---a set of versioning examples.","PeriodicalId":235689,"journal":{"name":"IWMCP '10","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129046804","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
IWMCP '10Pub Date : 2010-07-01DOI: 10.1145/1826147.1826161
Markus Herrmannsdoerfer, Maximilian Koegel
{"title":"Towards a generic operation recorder for model evolution","authors":"Markus Herrmannsdoerfer, Maximilian Koegel","doi":"10.1145/1826147.1826161","DOIUrl":"https://doi.org/10.1145/1826147.1826161","url":null,"abstract":"There are two basic kinds of approaches to track model evolution: State-based approaches derive the changes by comparing model versions, whereas operation-based approaches record the changes when performed on the model. Since operation-based approaches record changes more accurately, they better support various use cases of model evolution. However, operation-based approaches are not very widespread in both industry and research, as extensive tool support is required to record and persist the changes. To lower the barrier for building tool support for operation-based approaches, we propose a generic operation recorder. The operation recorder covers a number of use cases and is both customizable and extensible. The implementation of the operation recorder is based on the widely used Eclipse Modeling Framework (EMF).","PeriodicalId":235689,"journal":{"name":"IWMCP '10","volume":"2 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116861587","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
IWMCP '10Pub Date : 2010-07-01DOI: 10.1145/1826147.1826151
Stephen C. Barrett, Greg Butler, Patrice Chalin
{"title":"Mirador: a synthesis of model matching strategies","authors":"Stephen C. Barrett, Greg Butler, Patrice Chalin","doi":"10.1145/1826147.1826151","DOIUrl":"https://doi.org/10.1145/1826147.1826151","url":null,"abstract":"Mirador is a model merging tool that supports multiple model comparison strategies for the purpose of matching model elements. Capable of running either standalone, or as a Fujaba plug-in, Mirador leverages the CoObRA software versioning package to obtain model change information.\u0000 The bringing together of various comparison strategies allows Mirador to solicit measures of element similarity from one or more strategies, as appropriate for a given matching context. As an addition to this strategy mix we suggest one based on model evolution, and illustrate its potential for use with some simple examples.\u0000 Mirador performs operation-based merging, premised on the notion of a plane of change operations, which we have extended into the third dimension to enable the detection of cross-matching strategy conflicts. We also propose breaking this monolithic change plane up into a series of local change planes to facilitate effective, conflict free merging.","PeriodicalId":235689,"journal":{"name":"IWMCP '10","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122379822","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
IWMCP '10Pub Date : 2010-07-01DOI: 10.1145/1826147.1826160
M. Brand, Z. Protic, T. Verhoeff
{"title":"Generic tool for visualization of model differences","authors":"M. Brand, Z. Protic, T. Verhoeff","doi":"10.1145/1826147.1826160","DOIUrl":"https://doi.org/10.1145/1826147.1826160","url":null,"abstract":"Model comparison includes three major concerns: presentation, calculation, and visualization of model differences. In this paper we address the concern of visualization of model differences in the context of model configuration management systems. Since models are considered the main artifacts in model configuration management systems, we require that the differences between models are represented by means of a differences model, which conforms to a differences metamodel.\u0000 The traditional approaches to visualization of model differences based on a textual, tree-like, or even diagrammatic representation of differences do not scale well in the presence of large differences models. The cause for this is that it gets harder to comprehend the meaning of differences as the size of the differences models increase. We focus on this problem and propose a solution that extends and combines two existing approaches, namely polymetric views and a generic visualization framework for metamodel-based languages. Polymetric views offer good overview, zoom, and filtering capabilities. A visualization framework for metamodel-based languages is used to visualize differences details. By using the combination of these two approaches, it becomes easier to comprehend the meaning of differences even in large models. This paper describes both the details of our solution, and a generic tool that implements the described solution.","PeriodicalId":235689,"journal":{"name":"IWMCP '10","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124171752","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
IWMCP '10Pub Date : 2010-07-01DOI: 10.1145/1826147.1826149
Jeffrey G. Gray
{"title":"Model comparison: the marrow of model transformation","authors":"Jeffrey G. Gray","doi":"10.1145/1826147.1826149","DOIUrl":"https://doi.org/10.1145/1826147.1826149","url":null,"abstract":"It has been said that model transformation is the \"heart and soul\" of model engineering, which stresses the important need to evolve and synthesize refinements from models. At a more concrete level, the concept of model comparison represents the core capability that enables many different modeling tasks. Model comparison could be called the \"marrow\" of model engineering because it is essential to giving life to many other technologies and features that are critical to model engineering. For example, the application of traditional software engineering practices (e.g., version control, testing) to model engineering requires an ability to compare one or more models to understand their differences and commonalities. Model comparison will continue to be essential toward raising the level of maturity in model engineering by providing common practices already available in traditional programming environments. This talk will present an overview of the importance of model comparison across numerous software engineering practices. A specific discussion of my own work in using model comparison for domain-specific models, in order to support model transformation testing and visualization, will be presented.","PeriodicalId":235689,"journal":{"name":"IWMCP '10","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131177833","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
IWMCP '10Pub Date : 2010-07-01DOI: 10.1145/1826147.1826159
Javier Espinazo-Pagán, J. Molina
{"title":"A homogeneous repository for collaborative MDE","authors":"Javier Espinazo-Pagán, J. Molina","doi":"10.1145/1826147.1826159","DOIUrl":"https://doi.org/10.1145/1826147.1826159","url":null,"abstract":"The Model Driven Development (MDD) paradigm is gaining acceptance due to its ability to raise the level of abstraction and automation in the construction of software. However, current tools lack of some capabilities that are essential for MDD collaborative work such as version control. Because of this, large-sized projects that need teamwork development are hard to tackle. A software repository is a key component in an infrastructure that supports collaborative work; it provides version control and other advanced features such as distributed development. Several model repository tools are currently available but they are mainly focused in providing model persistence. Several approaches for supporting version control have been proposed but they exhibit some significant limitations as they have been designed to support model management, giving poor or no support for metamodel development.\u0000 We propose a repository that is capable of uniformly managing metamodels and models through all their development processes. Incremental and collaborative development of (meta)models is supported using a version control system that allows developers to examine the changes applied to the (meta)models. We have devised an architecture to register changes between versions that is an alternative to the traditional delta-based scheme in order to improve performance. Such architecture is explained from the database, driver and version control perspectives.","PeriodicalId":235689,"journal":{"name":"IWMCP '10","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128935856","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
IWMCP '10Pub Date : 2010-07-01DOI: 10.1145/1826147.1826154
Maximilian Koegel, Markus Herrmannsdoerfer, O. Wesendonk, Jonas Helming
{"title":"Operation-based conflict detection","authors":"Maximilian Koegel, Markus Herrmannsdoerfer, O. Wesendonk, Jonas Helming","doi":"10.1145/1826147.1826154","DOIUrl":"https://doi.org/10.1145/1826147.1826154","url":null,"abstract":"In recent years, models are increasingly used throughout the entire lifecycle in software engineering projects. In effect, the need for collaboration and for management of change on these models emerged. Traditionally, Software Configuration Management (SCM) systems are employed to facilitate collaboration on software engineering artifacts and to control change to these artifacts. For scalability and to support offline operation, most of these systems employ optimistic concurrency control and therefore require methods to detect concurrent change---also known as conflict detection. However, many researchers have shown that existing approaches for SCM systems do not work well on graph-like models, since they are geared towards textual artifacts and do not take the graph structure of models into account. The approaches for conflict detection in these systems show many false positives, since they require a merge every time the same configuration item --- in this case the same file --- is changed. In this paper, we propose operation-based conflict detection, which detects conflicts directly on the operations that change the model. We compare operation-based conflict detection to file-based conflict detection in a multi-case study and show that operation-based conflict detection results in less conflicts and therefore requires fewer merges.","PeriodicalId":235689,"journal":{"name":"IWMCP '10","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114441981","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
IWMCP '10Pub Date : 2010-07-01DOI: 10.1145/1826147.1826157
P. Könemann
{"title":"Semantic grouping of model changes","authors":"P. Könemann","doi":"10.1145/1826147.1826157","DOIUrl":"https://doi.org/10.1145/1826147.1826157","url":null,"abstract":"Current model differencing approaches focus on algorithms for matching models and finding differences between them. The result is a delta containing the differences between these particular models, usually as a set of atomic changes.\u0000 This paper presents concepts, procedures, and tool support for functionally encapsulating groups of atomic model changes into engineering transactions on models (refactorings, elaborations, etc.). Such transactions may be transferred and applied to other models and not just the one on which they have been defined as is the case with model differences. This way, complex transactions may be defined \"by example\", thus paving the road to practical applicability of model-based software development.","PeriodicalId":235689,"journal":{"name":"IWMCP '10","volume":"151 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122133753","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
求助内容：
应助结果提醒方式：