Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems最新文献

{"title":"Unifying explanatory and constructive modeling: towards removing the gulf between ontologies and conceptual models","authors":"Thomas Kühne","doi":"10.1145/2976767.2976770","DOIUrl":"https://doi.org/10.1145/2976767.2976770","url":null,"abstract":"The universal agreement regarding modeling as a useful endeavor can hide the large divide that runs through the modeling community. The differences between explanatory and constructive modeling give rise to two almost disjoint modeling universes, each based on different, mutually incompatible assumptions, rules, and tools. This division is undesirable as it prevents modelers from fluently transitioning between these worlds and denies them the benefits afforded by the underpinnings of the opposite camp. In this paper I characterize the typing disciplines underlying these different schools of thought, identify their respective trade-offs, and propose a unified approach which treats the different world views as modes of modeling that one may transition into in either direction. I present a unifying typing framework that can form the basis for a mutual fertilization between the hitherto rather separated worlds of explanatory versus constructive modeling.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117150375","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}

{"title":"Towards a categorical approach for meta-modelling epistemic game theory","authors":"F. Rabbi, Yngve Lamo, Ingrid Chieh Yu","doi":"10.1145/2976767.2976771","DOIUrl":"https://doi.org/10.1145/2976767.2976771","url":null,"abstract":"In order to optimize the use of resources of interdependent systems we need to perform strategic analysis of resources. Game theory is the discipline of science that studies strategy. Epistemic game theory explores how individuals reason about others choices for decision making. This theory can play a vital role for optimizing the use of distributed resources since our systems are continuously providing support for decision making where the outcome of a decision is dependent on other systems. We use a model driven approach to build a bridge between software models and epistemic game theory. In this initial work, we have shown how software models such as entity models may be used for building epistemic models. We propose an algorithm for constructing epistemic models where conflict situations are represented with the use of diagrammatic constraints. We use examples from the healthcare domain to explain the proposed technique.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122566541","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}

{"title":"Partial loading of XMI models","authors":"Ran Wei, D. Kolovos, A. García-Domínguez, Konstantinos Barmpis, R. Paige","doi":"10.1145/2976767.2976787","DOIUrl":"https://doi.org/10.1145/2976767.2976787","url":null,"abstract":"XML Metadata Interchange (XMI) is an OMG-standardised model exchange format, which is natively supported by the Eclipse Modeling Framework (EMF) and the majority of the modelling and model management languages and tools. Whilst XMI is widely supported, the XMI parser provided by EMF is inefficient in some cases where models are readonly (such as input models for model query, model-to-model transformation, etc) as it always requires loading the entire model into memory. In this paper we present a novel algorithm, and a prototype implementation (SmartSAX), which is capable of partially loading models persisted in XMI. SmartSAX offers improved performance, in terms of loading time and memory footprint, over the default EMF XMI parser. We describe the algorithm in detail, and present benchmarking results that demonstrate the substantial improvements of the prototype implementation over the XMI parser provided by EMF.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123902232","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}

{"title":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","authors":"B. Baudry, B. Combemale, J. Kienzle, A. Pretschner","doi":"10.1145/2976767","DOIUrl":"https://doi.org/10.1145/2976767","url":null,"abstract":"MODELS is the premier conference series for model-based software and systems engineering. It covers all aspects of modeling, from languages and methods to tools and applications since 1998. MODELS 2016 challenges the modeling community to promote the magic of modeling by solidifying and extending the foundations and successful applications of modeling in areas such as business information and embedded systems, but also by exploring the use of modeling for new and emerging systems, paradigms, and challenges including cyber-physical systems, cloud computing, services, social media, security, and open source.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127468620","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}

{"title":"Using free modeling as an agile method for developing domain specific modeling languages","authors":"F. R. Golra, A. Beugnard, F. Dagnat, Sylvain Guérin, Christophe Guychard","doi":"10.1145/2976767.2976807","DOIUrl":"https://doi.org/10.1145/2976767.2976807","url":null,"abstract":"Mostly the development of domain specific modeling languages (DSML) follows the traditional model driven engineering practices. First the syntax and semantics of the language are defined (at meta-level) and then it is used for the development of user models. In certain situations, it is hard even to conceptualize the demands of the user, let alone the definition of the language. Agile methods for software development suggest that the development activities should be performed alongside a client stakeholder for incremental development of the system. This approach helps in the elicitation of requirements in parallel to the actual development of the system. We followed this approach for developing a domain specific modeling language and its tooling for a local government project, Brest Métropole. The project aimed at filling the communication gap between the elected representatives (politicians) and the bureaucracy (government officers). We used a modeling methodology that does not restrict a modeler's interaction to a single abstraction level. Thus a modeler can develop both models and metamodels at the same time, where the definition of one helps in defining the other. In this article, we explain our experiences from this project and share the lessons learnt.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133996573","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}

{"title":"Multi-variability modeling and realization for software derivation in industrial automation management","authors":"Miao Fang, G. Leyh, Jörg Dörr, Christoph Elsner","doi":"10.1145/2976767.2976804","DOIUrl":"https://doi.org/10.1145/2976767.2976804","url":null,"abstract":"The systems of industrial automation management (IAM) are in the domain of information systems. IAM systems have software components that support manufacturing processes. The operational parts of IAM coordinate highly plug-compatible hardware devices. These functions lead to process and topology variability, which result in development and reuse challenges for software engineers in practice. This paper presents an approach aiming at improving the development and derivation of one IAM software family within Siemens. The approach integrates feature modeling with domain-specific modeling languages (DSMLs) for variability representation. Moreover, by combining code generation techniques, the configuration of variability models can be used to automate the software derivation. We report on a case study of applying the approach in practice. The outcome shows the enhancement of variability representation by introducing DSMLs and the improvement on automating software derivation. Finally, we present the lessons learned during the execution of this case study.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134588351","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}

{"title":"Process mining using BPMN","authors":"A. Kalenkova, Wil M.P. van der Aalst, I. Lomazova, V. Rubin","doi":"10.1145/2976767.2987688","DOIUrl":"https://doi.org/10.1145/2976767.2987688","url":null,"abstract":"Process mining is an emerging discipline incorporating methods and tools for the analysis of system/process executions captured in the form of event logs [1]. Traditionally process mining can be divided into three research areas: discovery (construction of process models from event logs), conformance checking (finding log and model deviations), and enhancement of existing process models with additional event log data. BPMN (Business Process Model and Notation) 2.0 [2] is a widely used process modeling notation, supported by various process modeling and analysis tools, and is a de-facto process modeling standard. Using BPMN within process mining opens perspectives for applicability of the existing process mining techniques: for instance discovered process models can be analyzed or enacted using existing BPMN-based software, and vice versa, manually created models can be imported to a process mining tool, verified against event logs, and enhanced with additional data. In this work we bridge the gap between conventional process modeling formalisms used in the context of process mining (e.g., Petri nets, causal nets, process trees) and BPMN. For that purpose we developed a suite of conversion algorithms and provide formal guarantees relating the behavior of Petri nets (including non-free-choice nets) to the corresponding BPMN models (and vice versa). The derived relations are used to enhance the BPMN models with information learned from the event logs. The developed conversion techniques are described in detail in [3] and have been implemented [4] as a part of ProM (Process Mining Framework) [5] -- an open source tool for process mining and verified on real event log data. Moreover, cases for which conversion algorithms give more compact process models in comparison with the initial models are identified. Although the developed algorithms deal with basic control flow constructs only, they can be applied in the discovery of advanced BPMN modeling elements [2], including subprocesses [6-7], cancellations [8], conditional branching and data objects, swimlanes, message flows, and others.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116338181","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}

{"title":"Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation","authors":"N. Das, Suchita Ganesan, Leo Jweda, M. Bagherzadeh, N. Hili, J. Dingel","doi":"10.1145/2976767.2976781","DOIUrl":"https://doi.org/10.1145/2976767.2976781","url":null,"abstract":"This paper presents a vision that allows the combined use of model-driven engineering, run-time monitoring, and animation for the development and analysis of components in real-time embedded systems. Key building block in the tool environment supporting this vision is a highly-customizable code generation process. Customization is performed via a configuration specification which describes the ways in which input is provided to the component, the ways in which run-time execution information can be observed, and how these observations drive animation tools. The environment is envisioned to be suitable for different activities ranging from quality assurance to supporting certification, teaching, and outreach and will be built exclusively with open source tools to increase impact. A preliminary prototype implementation is described.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116282253","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}

{"title":"Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC","authors":"Calypso Barnes, Jean-Marie Cottin, F. Verdier, A. Pegatoquet","doi":"10.1145/2976767.2976810","DOIUrl":"https://doi.org/10.1145/2976767.2976810","url":null,"abstract":"This paper aims at presenting an approach to validate, verify and debug a wireless communication protocol through the use of simulated models. We discuss the main issues in validating a communication protocol, as well as the merits and limitations of the existing solutions to verify network protocol stack binary codes by using simulation. We then describe the development of a simulation framework where the node's hardware platform is modeled with QEMU and SystemC, and the development of an observer module which analyzes the frames exchanged to detect anomalies. This approach is validated with a protocol named OCARI based on the IEEE 802.15.4 (LR-WPAN) standard, which is currently in its pre-industrialization phase. The experimental results demonstrate the functional correctness of our node model implementation, and show how a protocol property can be checked during simulation with the developed simulation framework.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127830784","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}

{"title":"On the synthesis of protocol state machines from contracts","authors":"P. Kosiuczenko","doi":"10.1145/2976767.2976783","DOIUrl":"https://doi.org/10.1145/2976767.2976783","url":null,"abstract":"Contractual specifications and UML state machines belong to the basic means for the specification and modelling of object-oriented system behaviour and are the subject of active research. However, the problem of state machines synthesis from contracts has not been researched. In this paper, this problem is investigated and a suitable procedure for protocol state machine generation is presented. This procedure is based on a method used in specification-based testing; it is formally defined, stepwise and based on a well-defined mathematical model. Its applicability is demonstrated on a bank account example often used in the literature. It is shown that resulting protocol state machines help to grasp the meaning of specifications and, as a side effect, to identify flaws in the specification such as unreachable states.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122299093","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}