ME '12Pub Date : 2012-10-01DOI: 10.1145/2523599.2523600
D. Tamzalit, B. Schätz, J. Sprinkle, A. Pierantonio
{"title":"Summary of the 6th International Workshop on Models and Evolution (ME 2012)","authors":"D. Tamzalit, B. Schätz, J. Sprinkle, A. Pierantonio","doi":"10.1145/2523599.2523600","DOIUrl":"https://doi.org/10.1145/2523599.2523600","url":null,"abstract":"The Models and Evolution (ME) 2012 workshop is the continuance of the following events: ME 2011 (at MoDELS), ME 2010 (at MoDELS), MoDSE-MCCM 2009 (at MoDELS), MCCM 2008 (at MoDELS), MoDSE 2008 (at CSMR), MoDSE 2007 (at CSMR). This workshop addresses the evolution of artefacts of the modelling process, as inspired by analogous evolution required by software artefacts, with input from academic as well as industrial practice.","PeriodicalId":200965,"journal":{"name":"ME '12","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123979383","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}
ME '12Pub Date : 2012-10-01DOI: 10.1145/2523599.2523606
T. Levendovszky, Kevin Smyth, D. Balasubramanian, Feng Shi, G. Karsai
{"title":"Evolution in a context of an model-integrated tool environment","authors":"T. Levendovszky, Kevin Smyth, D. Balasubramanian, Feng Shi, G. Karsai","doi":"10.1145/2523599.2523606","DOIUrl":"https://doi.org/10.1145/2523599.2523606","url":null,"abstract":"Model-transformation tools are a central part of model-integrated computing (MIC): they enable the mapping and refinement of models into other forms, such as documentation and code. The tools supporting language and translator evolution are not isolated: they interact with other tools of the model-based environments. In previous work, we found that several tools supporting key tasks in the MIC process, such as model migration and model synchronization, are readily implemented as specialized instances of general-purpose transformation languages. However, the integration of such specialized tools is complicated chiefly due to language evolution and traceability. This paper describes the integration of evolution tools into a tool suite performing common MIC tasks and the challenges that we faced during this integration. By describing our toolchain applied to a case study, we describe additional requirements demanded by context of the evolution tools. Moreover, our experiences lead us to believe that although domain-specific transformation tools that concisely describe a subset of commonly occurring problems are more useful to industrial partners with domain-expertise than general purpose transformation tools, designing for evolution turns out to be critical.","PeriodicalId":200965,"journal":{"name":"ME '12","volume":"194 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132684747","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}
ME '12Pub Date : 2012-10-01DOI: 10.1145/2523599.2523608
Federico Ciccozzi, A. Cicchetti
{"title":"Towards migration-aware filtering in model differences application","authors":"Federico Ciccozzi, A. Cicchetti","doi":"10.1145/2523599.2523608","DOIUrl":"https://doi.org/10.1145/2523599.2523608","url":null,"abstract":"The management of consistency among modelling artefacts is of crucial importance in model-driven engineering. Especially in distributed development, refinements of both metamodels and models are usually performed in a concurrent and misaligned manner, thus breaking consistency among model versions. Inconsistency situations become harmful when propagating changes from a local workspace to the shared repository or vice versa. The changes propagation can be achieved through model differences detection and application, exploiting filtering mechanisms when migration is not permitted. Nevertheless, loss of information due to metamodel evolutions may occur when filtering differences between models conforming to different versions of the modelling language. In this work we propose to minimise this loss of information by enhancing the filtering mechanism to take into account metamodel evolution information.","PeriodicalId":200965,"journal":{"name":"ME '12","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134347144","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}
ME '12Pub Date : 2012-10-01DOI: 10.1145/2523599.2523602
Mickaël Kerboeuf, Jean-Philippe Babau, V. Gaudel
{"title":"A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages","authors":"Mickaël Kerboeuf, Jean-Philippe Babau, V. Gaudel","doi":"10.1145/2523599.2523602","DOIUrl":"https://doi.org/10.1145/2523599.2523602","url":null,"abstract":"In this paper, we investigate a way to extend the scope of a dedicated and specific analysis framework to standard modeling languages like UML or AADL. This purpose is achieved by a two-steps model transformation.\u0000 The two steps of this approach rely on a dedicated model transformation language called Modif. The first step is a kind of model slicing. It makes it possible to delete as much as possible what in the standard modeling language is not needed by the analysis tools. The second one maps the intermediate metamodel (resulting from the first step) to what is expected by the analysis tools. This two-steps model transformation is intended to identify efficiently the specifications that cannot be put under the scope of the analysis tool.\u0000 We illustrate this approach with the scope extension of the Cheddar real time scheduling analyzer to AADL.","PeriodicalId":200965,"journal":{"name":"ME '12","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122983022","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}
ME '12Pub Date : 2012-10-01DOI: 10.1145/2523599.2523604
Simon Urli, M. Blay-Fornarino, P. Collet, Sébastien Mosser
{"title":"Using composite feature models to support agile software product line evolution","authors":"Simon Urli, M. Blay-Fornarino, P. Collet, Sébastien Mosser","doi":"10.1145/2523599.2523604","DOIUrl":"https://doi.org/10.1145/2523599.2523604","url":null,"abstract":"Managing continuous change in a Software Product Line (SPL) is one of the challenges now faced by the SPL engineering community. On the one hand, the SPL paradigm captures the intrinsic variability of a software based on a systemic vision of the software to model. On the other hand, Agile Software Development advocates the incremental development of software based on constant interaction with a customer community. In this paper, we present an approach based on Composite Feature Models (CFM) to support the agile evolution of a SPL. This study is driven by the refactoring of a daily used application (information broadcasting system), in the context of a nationally funded project. Preliminary results show that CFMs support the incremental development of a SPL based on interactions with a community, tackling the challenge of SPL continuous evolution.","PeriodicalId":200965,"journal":{"name":"ME '12","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130442484","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}
ME '12Pub Date : 2012-10-01DOI: 10.1145/2523599.2523609
Gino Chénard, I. Khriss, A. Salah
{"title":"Towards the automatic discovery of platform transformation templates of legacy object-oriented systems","authors":"Gino Chénard, I. Khriss, A. Salah","doi":"10.1145/2523599.2523609","DOIUrl":"https://doi.org/10.1145/2523599.2523609","url":null,"abstract":"Software modernization is needed to perform the evolution of a system when conventional practices can no longer achieve the desired evolution goal. In their initiative called architecture-driven modernization (ADM), the Object Management Group proposes to use MDA to perform this modernization. However, ADM needs new tools and techniques to migrate systems developed on a non-model-driven environment to a model-driven environment. One challenge to enable this migration is the discovery of a platform description model (PDM) from the implementation of a system. In this paper, we propose an approach to discover a view of the PDM from an object-oriented system source code. This view is given as a set of transformation templates parameterizing the source code of the system's implementation platform and expressed in the QVT language. The approach uses different analysis techniques and was validated on several systems written in Java and gives good results for a number of them.","PeriodicalId":200965,"journal":{"name":"ME '12","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115784217","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}
ME '12Pub Date : 2012-10-01DOI: 10.1145/2523599.2523607
James R. Williams, R. Paige, F. Polack
{"title":"Searching for model migration strategies","authors":"James R. Williams, R. Paige, F. Polack","doi":"10.1145/2523599.2523607","DOIUrl":"https://doi.org/10.1145/2523599.2523607","url":null,"abstract":"Metamodels, like many software artefacts, are subject to evolution. If a metamodel evolves, models that previously conformed to the metamodel may become non-conformant, and must be migrated to reestablish conformance. Manually migrating models can be tedious and error prone, and a number of solutions have arisen to aid in the creation of a migration strategy - a model transformation which automates the migration. This paper asks whether we can make use of research in the field of Search-Based Software Engineering to automatically discover migration strategies, and discusses the challenges involved. In particular, we explore how tools that provide coupled evolution of metamodels and models provide a suitable platform for which to apply search techniques.","PeriodicalId":200965,"journal":{"name":"ME '12","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130909280","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}
ME '12Pub Date : 2012-10-01DOI: 10.1145/2523599.2523610
L. Lucio, Eugene Syriani, Moussa Amrani, Qin Zhang, H. Vangheluwe
{"title":"Invariant preservation in iterative modeling","authors":"L. Lucio, Eugene Syriani, Moussa Amrani, Qin Zhang, H. Vangheluwe","doi":"10.1145/2523599.2523610","DOIUrl":"https://doi.org/10.1145/2523599.2523610","url":null,"abstract":"In a Model-Driven Development project, models are typically built iteratively to better satisfy a set of requirements. Therefore it is crucial to guarantee that one iteration of a model evolution does not hinder the previous version. In this paper, we focus on invariant preservation of behavioral models expressed in Algebraic Petri Nets. The theory developed is applied to a Multi-Level Security File System modeled iteratively. We also discuss how this approach can be applied on Domain-Specific Languages that are translated to Algebraic Petri Nets.","PeriodicalId":200965,"journal":{"name":"ME '12","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131186626","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}
ME '12Pub Date : 2012-10-01DOI: 10.1145/2523599.2523605
Hector Florez, Mario E. Sánchez, J. Villalobos, Germán Vega
{"title":"Coevolution assistance for enterprise architecture models","authors":"Hector Florez, Mario E. Sánchez, J. Villalobos, Germán Vega","doi":"10.1145/2523599.2523605","DOIUrl":"https://doi.org/10.1145/2523599.2523605","url":null,"abstract":"When metamodels evolve, model conformity may be broken. This forces the owners of the models (modelers) to intervene because it is impossible to automatically discover what to change in order to regain conformity. This paper presents ASIMOV, a platform for model and metamodel co-evolution based on two hypothesis: i) a metamodeler knows the rationale behind metamodel changes, and is capable of providing guidelines for model coevolution; ii) the modeler is the only one in grade of making final decisions about his models. ASIMOV provides two languages for metamodelers: ASIMOV Evolution, to specify changes in the metamodels; and ASIMOV Assistance, to propose corresponding changes in the models. Also, ASIMOV Engine solves automatically the changes in models that can be automatically solved and assists modelers in coevolving their models to regain conformity. Moreover, modelers can adapt the proposed changes to suit their particular needs, introducing additional information when it is required. ASIMOV is here illustrated in the context of Enterprise Architecture projects.","PeriodicalId":200965,"journal":{"name":"ME '12","volume":"5 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126012659","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}
ME '12Pub Date : 2012-10-01DOI: 10.1145/2523599.2523601
H. Störrle
{"title":"Making sense of UML class model changes by textual difference presentation","authors":"H. Störrle","doi":"10.1145/2523599.2523601","DOIUrl":"https://doi.org/10.1145/2523599.2523601","url":null,"abstract":"Understanding the difference between two models, such as different versions of a design, can be difficult. It is a commonly held belief that the best way of presenting a model difference is by using graph or tree-based visualizations. We disagree and present an alternative approach where sets of low-level model differences are abstracted into high-level model differences that lend themselves to being presented textually. The results of preliminary user studies support our claim.","PeriodicalId":200965,"journal":{"name":"ME '12","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129092310","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}