2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)最新文献

Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools 生态化:使任意Java代码可被基于元模型的工具访问

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.30

Heiko Klare, Erik Burger, Max E. Kramer, M. Langhammer, Timur Saglam, Ralf H. Reussner

{"title":"Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools","authors":"Heiko Klare, Erik Burger, Max E. Kramer, M. Langhammer, Timur Saglam, Ralf H. Reussner","doi":"10.1109/MODELS.2017.30","DOIUrl":"https://doi.org/10.1109/MODELS.2017.30","url":null,"abstract":"Models are used in software engineering to describe parts of a system that are relevant for the computation of specific analyses, or the provision of specific functionality. Metamodeling languages such as Ecore make it possible to realize analyses and functionality with model-driven technology, such as transformation engines. If models conform to a metamodel that was expressed using Ecore, numerous Eclipse-based tools can be reused to directly analyze, display, or transform models. In many software projects, models are, however, realized with objects of plain-old Java classes rather than an explicit metamodel, so these popular toolscannot be used.In this new ideas paper, we present an Ecoreification approach, which can be used to automatically extract Ecore-conforming metamodels from Java code, and a code generator that combines the benefits of both worlds. The resulting code can be used exactly as before, but it also uses the modeling infrastructure and implements all interfaces for Ecore-based tooling. This way, arbitrary non-standard models can be displayed and modified, for example using graphical Sirius editors, or transformed with well-proven transformation languages, such as QVT-O or ATL.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122080288","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}

引用次数: 3

Model-Driven Development of Safety Architectures 安全架构的模型驱动开发

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.27

E. Denney, Ganesh J. Pai, I. Whiteside

{"title":"Model-Driven Development of Safety Architectures","authors":"E. Denney, Ganesh J. Pai, I. Whiteside","doi":"10.1109/MODELS.2017.27","DOIUrl":"https://doi.org/10.1109/MODELS.2017.27","url":null,"abstract":"We describe the use of model-driven development for safety assurance of a pioneering NASA flight operation involving a fleet of small unmanned aircraft systems (sUAS) flying beyond visual line of sight. The central idea is to develop a safety architecture that provides the basis for risk assessment and visualization within a safety case, the formal justification of acceptable safety required by the aviation regulatory authority. A safety architecture is composed from a collection of bow tie diagrams (BTDs), a practical approach to manage safety risk by linking the identified hazards to the appropriate mitigation measures. The safety justification for a given unmanned aircraft system (UAS) operation can have many related BTDs. In practice, however, each BTD is independently developed, which poses challenges with respect to incremental development, maintaining consistency across different safety artifacts when changes occur, and in extracting and presenting stakeholder specific information relevant for decision making. We show how a safety architecture reconciles the various BTDs of a system, and, collectively, provide an overarching picture of system safety, by considering them as views of a unified model. We also show how it enables model-driven development of BTDs, replete with validations, transformations, and a range of views. Our approach, which we have implemented in our toolset, AdvoCATE, is illustrated with a running example drawn from a real UAS safety case. The models and some of the innovations described here were instrumental in successfully obtaining regulatory flight approval.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124134778","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}

引用次数: 13

Tool Support for Live Formal Verification 实时形式化验证的工具支持

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.6

Vincent Aravantinos, Sudeep Kanav

{"title":"Tool Support for Live Formal Verification","authors":"Vincent Aravantinos, Sudeep Kanav","doi":"10.1109/MODELS.2017.6","DOIUrl":"https://doi.org/10.1109/MODELS.2017.6","url":null,"abstract":"Despite an increasing interest from industry (e.g., DO333 standard [1]), formal verification is still not widely used in production for safety critical systems. This has been recognized for a while and various causes have been identified, one of them being the lack for scalable and cost effective tools. Many such tools exist for formal verification, but few of them are userfriendly: using formal verification generally still requires such an effort that the time spent on the tool prevents the integration of the method in an industrial setting. This paper presents a tool prototype aiming at supporting non-experts in using formal verification. The tooling approach is meant to be cost effective and change-supportive: user-friendliness is designed not only for the non-expert, but also to require minimum effort so that formal verification is triggered even for the non-enthusiast who is not willing to push a button. To do so, we trigger, in a background task, pre-defined formal verification checks at (almost) every change of the model. We only display error messages in case of problem: the user is not disturbed if no problem is detected. To prevent checks to be triggered all the time, we decide to consider only local analyses (i.e., only checks which do not require knowledge of elements in a remote position in the model). This restricts the sort of formal verification that we support, but this is a conscious choice: our motto is ”Let us first make basic techniques very user-friendly; more powerful ones will be considered only when at least the basic techniques have proven to be accepted.”","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128946345","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}

引用次数: 3

Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments — A Case Study of AUTOSAR 领域特定建模环境中元建模语法和非正式语义的协同演化——以AUTOSAR为例

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.2

Darko Durisic, Corrado Motta, M. Staron, M. Tichy

{"title":"Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments — A Case Study of AUTOSAR","authors":"Darko Durisic, Corrado Motta, M. Staron, M. Tichy","doi":"10.1109/MODELS.2017.2","DOIUrl":"https://doi.org/10.1109/MODELS.2017.2","url":null,"abstract":"One domain-specific modeling environment is centered around a domain-specific meta-model which defines syntax (modeling elements, e.g., classes) for the domain models. However, in order for the system designers to be able to construct meaningful models, semantics of the domain-specific meta-model needs to be described as well. This semantics is often provided in a form of informal natural language specifications that contain a set of design requirements, each describing the intended use of one or more modeling elements. Intuitively, introduction of new concepts into the modeling environment is expected to require changes in both meta-modeling syntax and informal semantics in such a way that their co-evolution is highly correlated. In order to test this hypothesis, we analyzed the relation between added classes, attributes, and connectors, as meta-modeling syntax, and modified/added design requirements, as meta-modeling semantics, in a case study of the AUTOSAR meta-modeling environment. We found that new AUTOSAR concepts usually require both new modeling elements and new design requirements, but surprisingly adding more elements is not always followed by more requirements. This finding is also validated by the moderately strong correlation between the evolution of these two AUTOSAR meta-modeling artifacts (Spearman's rho 0,63 and Kendall's tau 0,49). For system designers, this means that both meta-modeling syntax and informal semantics is important to be considered in the analysis of domain-specific meta-model evolution, but it may not be enough for understanding the use of all modeling elements. For designers responsible for the maintenance of domain-specific meta-models, this means that more effort shall be put into describing the semantics of all introduced modeling elements.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"877 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133842948","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}

引用次数: 0

Property-Based Locking in Collaborative Modeling 协同建模中基于属性的锁定

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.33

Csaba Debreceni, Gábor Bergmann, I. Ráth, Dániel Varró

{"title":"Property-Based Locking in Collaborative Modeling","authors":"Csaba Debreceni, Gábor Bergmann, I. Ráth, Dániel Varró","doi":"10.1109/MODELS.2017.33","DOIUrl":"https://doi.org/10.1109/MODELS.2017.33","url":null,"abstract":"Large-scale model-driven engineering projects are carried out collaboratively. Enabling a high degree of concurrency is required to make the traditionally rigid development processes more agile. The increasing number of collaborators increases the probability of introducing conflicts which need to be resolved manually by the collaborators. In case of highly interdependent models, avoiding conflicts by the use of locks can save valuable time. However, traditional locking techniques such as fragment-based and object-based strategies may impose unnecessary restrictions on editing, which can decrease the efficiency of collaboration.In this paper, we propose a property-based locking approach that generalizes traditional locking techniques, and further allows more fine-grained locks in order to restrict modifications only when necessary. A lock is considered to be violated if a match appears or disappears for its associated graph pattern (formula), which captures the property of the model that the upcoming edit transaction can be freely executed. An initial evaluation has been carried out using a case study of the MONDO EU project.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131272560","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}

引用次数: 11

A Fuzzy Logic Based Approach for Model-Based Regression Test Selection 基于模糊逻辑的模型回归测试选择方法

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.17

M. Al-Refai, W. Cazzola, Sudipto Ghosh

{"title":"A Fuzzy Logic Based Approach for Model-Based Regression Test Selection","authors":"M. Al-Refai, W. Cazzola, Sudipto Ghosh","doi":"10.1109/MODELS.2017.17","DOIUrl":"https://doi.org/10.1109/MODELS.2017.17","url":null,"abstract":"Regression testing is performed to verify that previously developed functionality of a software system is not broken when changes are made to the system. Since executing all the existing test cases can be expensive, regression test selection (RTS) approaches are used to select a subset of them, thereby improving the efficiency of regression testing. Model-based RTS approaches select test cases on the basis of changes made to the models of a software system. While these approaches are useful in projects that already use model-driven development methodologies, a key obstacle is that the models are generally created at a high level of abstraction. They lack the information needed to build traceability links between the models and the coverage-related execution traces from the code-level test cases. In this paper, we propose a fuzzy logic based approach named FLiRTS, for UML model-based RTS. FLiRTS automatically refines abstract UML models to generate multiple detailed UML models that permit the identification of the traceability links. The process introduces a degree of uncertainty, which is addressed by applying fuzzy logic based on the refinements to allow the classification of the test cases as retestable according to the probabilistic correctness associated with the used refinement. The potential of using FLiRTS is demonstrated on a simple case study. The results are promising and comparable to those obtained from a model-based approach (MaRTS) that requires detailed design models, and a code-based approach (DejaVu).","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131538409","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}

引用次数: 16

Symbolic Execution for Realizability-Checking of Scenario-Based Specifications 基于场景的规范可实现性检查的符号执行

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.35

Joel Greenyer, T. Gutjahr

{"title":"Symbolic Execution for Realizability-Checking of Scenario-Based Specifications","authors":"Joel Greenyer, T. Gutjahr","doi":"10.1109/MODELS.2017.35","DOIUrl":"https://doi.org/10.1109/MODELS.2017.35","url":null,"abstract":"Scenario-based specification with the Scenario Modeling Language (SML) is an intuitive approach for formally specifying the behavior of reactive systems. SML is close to how humans conceive and communicate requirements, yet SML is executable and simulation and formal realizability checking can find specification flaws early. The realizability checking complexity is, however, exponential in the number of scenarios and variables. Therefore algorithms relying on explicit-state exploration do not scale and, especially when specifications have message parameters and variables over large domains, fail to unfold their potential. In this paper, we present a technique for the symbolic execution of SML specifications that interprets integer message parameters and variables symbolically. It can be used for symbolic realizability checking and interactive symbolic simulation. We implemented the technique in ScenarioTools. Evaluation shows drastic performance improvements over the explicit-state approachfor a range of examples. Moreover, symbolic checking produces more concise counter examples, which eases the comprehension of specification flaws.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123914217","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}

引用次数: 3

From Secure Business Process Modeling to Design-Level Security Verification 从安全业务流程建模到设计级安全验证

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.10

Qusai Ramadan, Mattia Salnitri, D. Strüber, J. Jürjens, P. Giorgini

{"title":"From Secure Business Process Modeling to Design-Level Security Verification","authors":"Qusai Ramadan, Mattia Salnitri, D. Strüber, J. Jürjens, P. Giorgini","doi":"10.1109/MODELS.2017.10","DOIUrl":"https://doi.org/10.1109/MODELS.2017.10","url":null,"abstract":"Tracing and integrating security requirements throughout the development process is a key challenge in security engineering. In socio-technical systems, security requirements for the organizational and technical aspects of a system are currently dealt with separately, giving rise to substantial misconceptions and errors. In this paper, we present a model-based security engineering framework for supporting the system design on the organizational and technical level. The key idea is to allow the involved experts to specify security requirements in the languages they are familiar with: business analysts use BPMN for procedural system descriptions; system developers use UML to design and implement the system architecture. Security requirements are captured via the language extensions SecBPMN2 and UMLsec. We provide a model transformation to bridge the conceptual gap between SecBPMN2 and UMLsec. Using UMLsec policies, various security properties of the resulting architecture can be verified. In a case study featuring an air traffic management system, we show how our framework can be practically applied.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124559996","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}

引用次数: 19

Bringing DSE to Life: Exploring the Design Space of an Industrial Automotive Use Case 将DSE带入生活:探索工业汽车用例的设计空间

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.36

Johannes Eder, Sergey Zverlov, S. Voss, Maged Khalil, Alexandru Ipatiov

引用次数: 25

A Systematic Mapping Study on Modeling for Industry 4.0 工业4.0建模的系统映射研究

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.14

A. Wortmann, B. Combemale, Olivier Barais

{"title":"A Systematic Mapping Study on Modeling for Industry 4.0","authors":"A. Wortmann, B. Combemale, Olivier Barais","doi":"10.1109/MODELS.2017.14","DOIUrl":"https://doi.org/10.1109/MODELS.2017.14","url":null,"abstract":"Industry 4.0 is a vision of manufacturing in which smart, interconnected production systems optimize the complete value-added chain to reduce cost and time-to-market. At the core of Industry 4.0 is the smart factory of the future, whose successful deployment requires solving challenges from many domains. Model-based systems engineering (MBSE) is a key enabler for such complex systems of systems as can be seen by the increased number of related publications in key conferences and journals. This paper aims to characterize the state of the art of MBSE for the smart factory through a systematic mapping study on this topic. Adopting a detailed search strategy, 1466 papers were initially identified. Of these, 222 papers were selected and categorized using a particular classification scheme. Hence, we present the concerns addressed by the modeling community for Industry 4.0, how these are investigated, where these are published, and by whom. The resulting research landscape can help to understand, guide, and compare research in this field. In particular, this paper identifies the Industry 4.0 challenges addressed by the modeling community, but also the challenges that seem to be less investigated.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129002178","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}

引用次数: 40