MDI '10Pub Date : 2010-10-03DOI: 10.1145/1866272.1866280
Mirko Seifert, Christian Wende, U. Assmann
{"title":"Anticipating unanticipated tool interoperability using role models","authors":"Mirko Seifert, Christian Wende, U. Assmann","doi":"10.1145/1866272.1866280","DOIUrl":"https://doi.org/10.1145/1866272.1866280","url":null,"abstract":"The interoperability of tools heavily relies on their ability to exchange shared data. While the definition of standardised metamodelling languages such as the Essential Meta Object Facility (EMOF) [23] has substantially simplified the task of reading and persisting arbitrary domain data, there are still open issues concerning the integration of domain abstractions (metamodels) used by different tools. For example, accessing common data by shared metamodels is limited, because of the lack of first-class support for metamodel composition. Data that is processed using multiple tools must be either stored in a common abstraction---which introduces a strong coupling of the involved tools---or is replicated (e.g., represented in different tool formats)---which introduces the need for tedious synchronisation.\u0000 In this paper we present how role-based metamodelling can overcome these limitations and provide a formalism to enable tool interoperability by role composition. Based on a running example, the implications of the current problems of tool integration are shown and their resolution based on role modelling is discussed.","PeriodicalId":431262,"journal":{"name":"MDI '10","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124444183","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}
MDI '10Pub Date : 2010-10-03DOI: 10.1145/1866272.1866273
J. Bézivin, R. Soley, Antonio Vallecillo
{"title":"Editorial to the Proceedings of the First International Workshop on Model-Driven Interoperability","authors":"J. Bézivin, R. Soley, Antonio Vallecillo","doi":"10.1145/1866272.1866273","DOIUrl":"https://doi.org/10.1145/1866272.1866273","url":null,"abstract":"This paper describes the scope, structure and contents of the First International Workshop on Model Driven Interoperability (MDI 2010), which was held on October 5, 2010, in conjunction with the MoDELS 2010 conference in Oslo, Norway.","PeriodicalId":431262,"journal":{"name":"MDI '10","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122039320","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}
MDI '10Pub Date : 2010-10-03DOI: 10.1145/1866272.1866276
W. Sunindyo, T. Moser, D. Winkler, S. Biffl
{"title":"A process model discovery approach for enabling model interoperability in signal engineering","authors":"W. Sunindyo, T. Moser, D. Winkler, S. Biffl","doi":"10.1145/1866272.1866276","DOIUrl":"https://doi.org/10.1145/1866272.1866276","url":null,"abstract":"In automation systems engineering, signals are considered as common concepts for linking information across different engineering disciplines, such as mechanical, electrical, and software engineering. Signal engineering is facing tough challenges in managing the interoperability of heterogeneous data tools and models of each individual engineering discipline, e.g., to make signal handling consistent, to integrate signals from heterogeneous data models/tools, and to manage the versions of signal changes across engineering disciplines. Currently, signal changes across engineering disciplines are primarily managed manually which is costly and error-prone. The main contribution of this paper is the signal change management process model as an input for semantic integration of engineering tools and models to support (semi) automated signal change management. Major result was that the process model discovery approach well supports the discovery of semantic integration requirements across heterogeneous engineering tools and models more efficient compared to the manual signal change management.","PeriodicalId":431262,"journal":{"name":"MDI '10","volume":"44 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120928900","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}
MDI '10Pub Date : 2010-10-03DOI: 10.1145/1866272.1866275
Idoia Berges, J. Bermúdez, A. Goñi, A. Illarramendi
{"title":"Semantic interoperability of clinical data","authors":"Idoia Berges, J. Bermúdez, A. Goñi, A. Illarramendi","doi":"10.1145/1866272.1866275","DOIUrl":"https://doi.org/10.1145/1866272.1866275","url":null,"abstract":"The use of Electronic Health Records (EHRs) has brought multiple benefits to the healthcare domain. However, those advantages would be greater if seamless interoperability of EHRs between heterogeneous Health Information Systems were achieved. Nowadays, achieving that kind of interoperability is on the agenda of many national and regional initiatives, and in the majority of the cases, the problem is addressed through the use of different standards.\u0000 In this paper we present a proposal that goes one step further and tackles the interoperability problem from a formal ontology driven perspective. So, our proposal allows one system to interpret on the fly clinical data sent by another one even when they use different representations. We present in the paper the three key components of the proposal: 1. An ontology that provides -- in its upper level--a canonical representation of EHR statements, more precisely of medical observations, which can be then specialized -- in the lower level -- by health institutions according to their proprietary models, 2. A translator module that facilitates the definition of the lower level of the ontology from the particular EHRs data storage structures following a semi-automatic approach: first a translation process of underlying data structures, using -- whenever possible -- information about properties (functional dependencies, etc.) into ontology elements described in OWL2, and next, an edition process where the health system administrators can define new axioms to adjust and enrich the result obtained in the semi-automatic process. Finally we show the third component, a mapping module that helps in the task of defining the links among the terms of the upper and lower levels of the ontology. It obtains a declarative mapping specified in OWL2 and puts a wide range of mapping scenarios within reach of health systems' administrators.","PeriodicalId":431262,"journal":{"name":"MDI '10","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129648255","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}
MDI '10Pub Date : 2010-10-03DOI: 10.1145/1866272.1866284
Yongxin Liao, D. Roman, Arne-Jørgen Berre
{"title":"Model-driven rule-based mediation in XML data exchange","authors":"Yongxin Liao, D. Roman, Arne-Jørgen Berre","doi":"10.1145/1866272.1866284","DOIUrl":"https://doi.org/10.1145/1866272.1866284","url":null,"abstract":"XML data exchange has become ubiquitous in Business to Business (B2B) collaborations. Automating as much as possible the exchange of XML data between enterprise systems is a key requirement for ensuring agile interoperability and scalability in B2B collaborations. The lack of standardized XML canonical models or schemas in B2B data exchange, as well as semantic differences and inconsistencies between conceptual models of those that want to exchange XML data implies that XML data cannot be directly and fully automatically exchanged between B2B systems. We are left with the option of providing techniques and tools to support humans in reconciling the differences and inconsistencies between the data models of the parties involved in a data exchange. In this paper we introduce such a technique and tool for XML data exchange. Our approach is based on a lifting mechanism of XML schemas and instances to an object-oriented model, and the design and execution of data mediation at the object-oriented level. We use F-logic -- an object oriented rule language -- together with its Flora2 engine as the underlying mechanism for providing an abstract, object-oriented model of XML schemas and instances, as well as for specification and execution of the mappings at the model level. This provides us with a fully-fledged tool for design- and run-time data mediation, by focusing at the actual semantic models behind the XML schemas, rather than having to deal with the technicalities of XML in the data mediation process. Finally, we present the architecture of the current data exchange system and report on preliminary evaluation of our system.","PeriodicalId":431262,"journal":{"name":"MDI '10","volume":" 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113947350","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}
MDI '10Pub Date : 2010-10-03DOI: 10.1145/1866272.1866281
B. Elvesæter, Dima Panfilenko, S. Jacobi, Christian Hahn
{"title":"Aligning business and IT models in service-oriented architectures using BPMN and SoaML","authors":"B. Elvesæter, Dima Panfilenko, S. Jacobi, Christian Hahn","doi":"10.1145/1866272.1866281","DOIUrl":"https://doi.org/10.1145/1866272.1866281","url":null,"abstract":"In this paper, we introduce the new Service oriented architecture Modeling Language (SoaML) and describe how the language can be used to align business models and IT models. In particular we provide a mapping specification from BPMN models to SoaML models.","PeriodicalId":431262,"journal":{"name":"MDI '10","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129507893","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}
MDI '10Pub Date : 2010-10-03DOI: 10.1145/1866272.1866282
Lucia Happe, Thomas Goldschmidt, J. Happe, Ralf H. Reussner
{"title":"Domain-specific templates for refinement transformations","authors":"Lucia Happe, Thomas Goldschmidt, J. Happe, Ralf H. Reussner","doi":"10.1145/1866272.1866282","DOIUrl":"https://doi.org/10.1145/1866272.1866282","url":null,"abstract":"Model transformations are a major instrument of model-driven software development. Especially in declarative transformation approaches, the structuring of transformations depends to a large extent on the structure of the source models and the generated artefacts. In many cases, similar code is written for transformations that deal with the same source or target metamodel. Writing such transformations can be simplified significantly if re-occurring parts within the transformation rules can be specified in a reusable way. Current approaches to transformation development include means for transformation reuse as well as inheritance. However, modularisation along the boundaries of different parts of domain metamodels is still lacking. Furthermore, the possibilities to reuse transformation fragments that re-occur in multiple transformations is limited. In this paper, we introduce domain-specific templates for refinement transformations with well-defined variation points. Transformation templates are based on known design patterns and enable a modular specification of refinement transformations and thus yield a simpler definition of transformations that can be grasped more easily and developed more efficiently. In addition, we present a real-world case study of transformation templates in the context of component based software architectures. The case study gives insight into the application of the presented approach.","PeriodicalId":431262,"journal":{"name":"MDI '10","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117166803","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}
MDI '10Pub Date : 2010-10-03DOI: 10.1145/1866272.1866277
F. Hermann, H. Ehrig, Ulrike Golas, F. Orejas
{"title":"Efficient analysis and execution of correct and complete model transformations based on triple graph grammars","authors":"F. Hermann, H. Ehrig, Ulrike Golas, F. Orejas","doi":"10.1145/1866272.1866277","DOIUrl":"https://doi.org/10.1145/1866272.1866277","url":null,"abstract":"Triple Graph Grammars are a well-established, formal and intuitive concept for the specification and analysis of bidirectional model transformations. In previous work we have formalized and analyzed already termination, correctness, completeness, local confluence and functional behaviour.\u0000 In this paper, we show how to improve the efficiency of the execution and analysis of model transformations in practical applications by using triple rules with negative application conditions (NACs). In addition to specification NACs, which improve the specification of model transformations, the generation of filter NACs improves the efficiency of the execution and the analysis of functional behaviour supported by critical pair analysis of the tool AGG. We illustrate the results for the well-known model transformation from class diagrams to relational database models.","PeriodicalId":431262,"journal":{"name":"MDI '10","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125028122","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}
MDI '10Pub Date : 2010-10-03DOI: 10.1145/1866272.1866278
M. Wimmer, G. Kappel, A. Kusel, W. Retschitzegger, J. Schönböck, W. Schwinger
{"title":"Towards an expressivity benchmark for mappings based on a systematic classification of heterogeneities","authors":"M. Wimmer, G. Kappel, A. Kusel, W. Retschitzegger, J. Schönböck, W. Schwinger","doi":"10.1145/1866272.1866278","DOIUrl":"https://doi.org/10.1145/1866272.1866278","url":null,"abstract":"A crucial prerequisite for the success of Model Driven Engineering (MDE) is the seamless exchange of models between different modeling tools demanding for mappings between tool-specific metamodels. Thereby the resolution of heterogeneities between these tool-specific metamodels is a ubiquitous problem representing the key challenge. Nevertheless, there is no comprehensive classification of potential heterogeneities available in the domain of MDE. This hinders the specification of a comprehensive benchmark explicating requirements wrt. expressivity of mapping tools, which provide reusable components for resolving these heterogeneities.\u0000 Therefore, we propose a feature-based classification of heterogeneities, which accordingly adapts and extends existing classifications. This feature-based classification builds the basis for a mapping benchmark, thereby providing a comprehensive set of requirements concerning expressivity of dedicated mapping tools. In this paper a first set of benchmark examples is presented by means of metamodels and conforming models acting as an evaluation suite for mapping tools.","PeriodicalId":431262,"journal":{"name":"MDI '10","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121033740","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}
MDI '10Pub Date : 2010-10-03DOI: 10.1145/1866272.1866279
Z. Diskin, Yingfei Xiong, K. Czarnecki
{"title":"Specifying overlaps of heterogeneous models for global consistency checking","authors":"Z. Diskin, Yingfei Xiong, K. Czarnecki","doi":"10.1145/1866272.1866279","DOIUrl":"https://doi.org/10.1145/1866272.1866279","url":null,"abstract":"Software development often involves a set of models defined in different metamodels, each model capturing a specific view of the system. We call this set a mutlimodel, and its elements partial or local models. Since partial models overlap, they may be consistent or inconsistent wrt. a set of global constraints.\u0000 We present a framework for specifying overlaps between partial models and defining their global consistency. An advantage of the framework is that heterogeneous consistency checking is reduced to the homogeneous case yet merging partial metamodels into one global metamodel is not needed. We illustrate the framework with examples and sketch a formal semantics for it based on category theory.","PeriodicalId":431262,"journal":{"name":"MDI '10","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132383364","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}