2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)最新文献_第7页

Supporting CRUD model operations from EOL to SQL 支持从EOL到SQL的CRUD模型操作

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005644401530160

Xabier De Carlos, Goiuria Sagardui Mendieta, Salvador Trujillo

引用次数: 0

World model for testing Urban Search and Rescue (USAR) robots using Petri Nets 世界模型测试城市搜索和救援(USAR)机器人使用Petri网

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005782106630670

A. Andrews, M. Abdelgawad, A. Gario

引用次数: 7

UML associations: Reducing the gap in test coverage between model and code UML关联:减少模型和代码之间测试覆盖率的差距

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005745205890599

Anders Eriksson, B. Lindström

{"title":"UML associations: Reducing the gap in test coverage between model and code","authors":"Anders Eriksson, B. Lindström","doi":"10.5220/0005745205890599","DOIUrl":"https://doi.org/10.5220/0005745205890599","url":null,"abstract":"This paper addresses the overall problem of estimating the quality of a test suite when testing is performed at a platform-independent level, using executable UML models. The problem is that the test suite is often required to fulfill structural code coverage criteria. In the avionics domain it is usually required that the tests achieve 100% coverage according to logic-based coverage criteria. Such criteria are less effective when applied to executable UML models than when they are applied to code because the action code found in such models contains conditions in navigation and loops that are not explicit and therefore not captured by logic-based coverage criteria. We present two new coverage criteria for executable UML models, and we use an industrial application from the avionics domain to show that these two criteria should be combined with a logic-based criterion when testing the executable UML model. As long as the coverage is less than 100% at the model level, there is no point in running the tests at the code level since all functionality of the model is not yet tested, and this is necessary to achieve 100% coverage at the code level.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128810102","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}

引用次数: 2

K: A wide spectrum language for modeling, programming and analysis K:用于建模、编程和分析的广泛语言

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005741401110122

K. Havelund, Rahul Kumar, C. Delp, B. Clement

{"title":"K: A wide spectrum language for modeling, programming and analysis","authors":"K. Havelund, Rahul Kumar, C. Delp, B. Clement","doi":"10.5220/0005741401110122","DOIUrl":"https://doi.org/10.5220/0005741401110122","url":null,"abstract":"The formal methods community has over the years proposed various formally founded specification languages based on predicate logic and set theory, typically with textual notations. At the same time the model-based engineering community has proposed often less formally founded languages such as UML and SysML, typically with graphical notations. Although the graphical notations have become highly popular in industry, we argue that textual notations can be attractive in many situations. We report on an effort to provide a textual notation for SysML, realized in a language named K. K supports classes, multiple inheritance, predicate logic and set theory. K contains programming constructs, and can thus be considered as a wide-spectrum modeling and programming language. We further explain the translation of a subset of this language to the input language of the SMT-LIB standard, and the application of Z3 for analysis of the generated SMT-LIB formulas. The entire effort is part of a larger effort to develop a general purpose SysML development framework for designing systems, in support of NASA's proposed 2022 mission to Jupiter's moon Europa.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115253268","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}

引用次数: 4

Automating the construction of models based on domain views 基于域视图自动构建模型

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005688202410249

César Cuevas Cuesta, P. Martínez, J. Drake

引用次数: 0

Model-driven approach for the interoperability of enterprises' services information exchange 用于企业服务信息交换互操作性的模型驱动方法

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005853207890799

Catarina Lucena, João Sarraipa, C. Agostinho, R. Jardim-Gonçalves

{"title":"Model-driven approach for the interoperability of enterprises' services information exchange","authors":"Catarina Lucena, João Sarraipa, C. Agostinho, R. Jardim-Gonçalves","doi":"10.5220/0005853207890799","DOIUrl":"https://doi.org/10.5220/0005853207890799","url":null,"abstract":"Nowadays, enterprises have been pushed up the rate of industrial transformation to high level products and services. The capability to agilely respond to new market demands became a strategic pillar for enterprises survival. It leads to the necessity of create mechanisms to allow enterprises to combine forces to compete jointly in the market, in order to raise their own added value and to become specialist in niche activities. But to unite forces, enterprises must exchange information/knowledge between them. A semantic problem emerges when the same representation of a thing can have different meanings to different applications and enterprises. It can be a disabler for information exchange and its interpretation. The Semantic Web Service concept emerges as a solution to facilitate Web Services description and consequently discovery tasks, unifying the domain services. Moreover, the data integration between concepts can be achieved trough mappings establishment between Web Services elements. However, a solution that allows to map Web Service elements to semantic concepts represented using OWL is still missing. To face this issue, a model-driven approach supported by a mapping tool is here presented with the aim of facilitate the information exchange trough the establishment of mappings between enterprises services models and the domain reference lexicon.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115047670","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}

引用次数: 1

The EMF Parsley DSL for developing EMF applications 用于开发EMF应用程序的EMF Parsley DSL

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005743803010308

Lorenzo Bettini

引用次数: 1

WebDPF: A web-based metamodelling and model transformation environment WebDPF:基于web的元建模和模型转换环境

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005686900870098

F. Rabbi, Yngve Lamo, Ingrid Chieh Yu, L. Kristensen

引用次数: 15

A categorization of GSN-based safety cases and patterns 基于gsn的安全案例和模式的分类

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005734305090516

Yaping Luo, Zhuoao Li, M. Brand

{"title":"A categorization of GSN-based safety cases and patterns","authors":"Yaping Luo, Zhuoao Li, M. Brand","doi":"10.5220/0005734305090516","DOIUrl":"https://doi.org/10.5220/0005734305090516","url":null,"abstract":"Recently modeling techniques are introduced to support safety assessment. Goal Structural Notation is one of these modeling techniques, which can be used to facilitate the development of safety argumentation and create reusable safety argumentation models. Consequently, GSN-based safety cases are widely used to demonstrate the safety of systems in safety-critical domains. Due to the amount of manual work, constructing a safety case is usually time-consuming. Moreover, the re-usability of GSN-based safety cases is limited. To address this, safety case patterns are introduced to support safety case reuse. As more and more GSN-based safety cases and patterns are designed with different goals in different contexts, it becomes hard to identify a reusable safety case or pattern. In this paper, we carried out a study on the categorization of existing GSN-based safety cases and patterns. As a result, a number of high cited publications are selected and studied. Finally a categorization of GSN-based safety cases is proposed. A clear categorization of GSN-based safety cases can be used to identify similar safety cases or patterns and facilitate safety case reuse.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134642916","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}

引用次数: 8

Model-Driven Development challenges and solutions: Experiences with domain-specific modelling in industry 模型驱动开发的挑战和解决方案:行业中特定领域建模的经验

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-02-01 DOI: 10.5220/0005833207110719

Juha-Pekka Tolvanen, S. Kelly

引用次数: 39