发布求助
文献互助 智能选刊 最新文献

2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)最新文献

筛选
英文 中文
SLMToolBox: A tool set for service engineering SLMToolBox:用于服务工程的工具集
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-11-14 DOI: 10.5220/0004876206660672
Hadrien Boye, Hassan Bazoun, K. Belkhelladi
{"title":"SLMToolBox: A tool set for service engineering","authors":"Hadrien Boye, Hassan Bazoun, K. Belkhelladi","doi":"10.5220/0004876206660672","DOIUrl":"https://doi.org/10.5220/0004876206660672","url":null,"abstract":"This paper presents the SLMToolBox (Service Lifecycle Management Tool Box), a software tool which supports an organization to engineer new services or improve existing ones and to manage its life cycle. The SLMToolBox is a modeling environment dedicated to the domain of service engineering. It is based on the Model Driven Service Engineering Architecture (MDSEA) concepts and supports the first phases of service engineering, in particular: service requirement and service design. The software is developed in the frame of the IP European Project “MSEE” (Manufacturing Service Ecosystem). This paper presents a guided tour around SLMToolBox: its architecture, its main components and functionalities.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130352656","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
Integrating model-based formal timing analysis in the industrial development process of satellite on-board software 在卫星星载软件产业化开发过程中集成基于模型的形式化时序分析
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004874306190625
R. Henia, L. Rioux, Nicolas Sordon, G. Garcia, Marco Panunzio
{"title":"Integrating model-based formal timing analysis in the industrial development process of satellite on-board software","authors":"R. Henia, L. Rioux, Nicolas Sordon, G. Garcia, Marco Panunzio","doi":"10.5220/0004874306190625","DOIUrl":"https://doi.org/10.5220/0004874306190625","url":null,"abstract":"As a consequence of the increasing complexity of modern real-time applications, the need for an efficient, reliable and automated performance estimation method throughout the whole development cycle becomes essential. Model-based formal timing analysis appears at first sight to be the adequate candidate for this purpose. However, its use in the industry is conditioned by a smooth and seamless integration in the development process. This is not an easy task due to the semantic mismatches between the design and timing analysis models but also due to the missing links to the testing phase after code implementation. In this paper, we present a model-based timing analysis framework we developed in the industrial context of satellite on-board software. The framework enables overcoming the above mentioned problems, thus allowing a fully integration and automation of model-based timing verification activities in the development process, as a mean to shorten the design time and reduce risks of timing failures.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127120020","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
Typing and subtyping of metamodels 元模型的类型和子类型
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004713901110118
H. Berg, B. Møller-Pedersen
{"title":"Typing and subtyping of metamodels","authors":"H. Berg, B. Møller-Pedersen","doi":"10.5220/0004713901110118","DOIUrl":"https://doi.org/10.5220/0004713901110118","url":null,"abstract":"In model-driven engineering, models are considered first-class entities. Model-driven engineering has been around for over a decade. Still, there has not been much work on how to type models or metamodels, which is important to realise true model-driven software development. In this paper, we discuss how a metamodel can be typed by means of an enclosing class whose state can be utilised by tools such as editors and interpreters. This allows using established object-oriented mechanisms on the metamodel level and supports specialisation of metamodels.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124980171","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
An EMF-based toolkit for creation of domain-specific data services 用于创建特定于领域的数据服务的基于emf的工具包
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004701900300040
A. Bender, S. Bozic, Ivan Kondov
{"title":"An EMF-based toolkit for creation of domain-specific data services","authors":"A. Bender, S. Bozic, Ivan Kondov","doi":"10.5220/0004701900300040","DOIUrl":"https://doi.org/10.5220/0004701900300040","url":null,"abstract":"Development of composite workflow applications in science and engineering is troublesome and costly due to high heterogeneity of data representations and data access interfaces of the underlying individual components. As an effective solution we present a generic toolkit enabling domain experts to develop data models and automatically generate a self-contained data access service. We defined a custom metamodel based on Ecore which can be readily used to create domain-specific data models. Using the generated data access service, instances of the modeled data residing on heterogeneous and distributed resources, such as databases and cloud data stores, are accessible from the individual application components via a language-independent Web service interface. We discuss the framework architecture, the toolkit implementation, the deployment process, as well as the performance of the data access service. Workflow designers as target users would benefit from the toolkit by using it for rapid and cost-efficient application integration.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123292543","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 ETSI Test Description Language TDL and its application ETSI测试描述语言TDL及其应用
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004708706010608
A. Ulrich, S. Jell, A. Votintseva, A. Kull
{"title":"The ETSI Test Description Language TDL and its application","authors":"A. Ulrich, S. Jell, A. Votintseva, A. Kull","doi":"10.5220/0004708706010608","DOIUrl":"https://doi.org/10.5220/0004708706010608","url":null,"abstract":"The wide-scale introduction of model-based testing techniques in an industrial context faces many obstacles. One of the obstacles is the existing methodology gap between informally described test purposes and formally defined test descriptions used as the starting point for test automation. The provision of an explicit test description becomes increasingly essential when integrating complex, distributed systems and providing support for conformance and interoperability tests of such systems. The upcoming ETSI standard on the Test Definition Language (TDL) covers this gap. It allows describing scenarios on a higher abstraction level than programming or scripting languages. Furthermore, TDL can be used as an intermediate representation of tests generated from other sources, e.g. simulators, test case generators, or logs from previous test runs. TDL is based on a meta-modelling approach that expresses its abstract syntax. Deploying this design approach, individual concrete syntaxes of TDL can be designed for different application domains. The paper provides an overview of TDL and discusses its application on a use case from the rail domain.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115252035","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
Natural-language scenario descriptions for testing core language models of domain-specific languages 用于测试领域特定语言的核心语言模型的自然语言场景描述
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004713703560367
Bernhard Hoisl, Stefan Sobernig, Mark Strembeck
{"title":"Natural-language scenario descriptions for testing core language models of domain-specific languages","authors":"Bernhard Hoisl, Stefan Sobernig, Mark Strembeck","doi":"10.5220/0004713703560367","DOIUrl":"https://doi.org/10.5220/0004713703560367","url":null,"abstract":"The core language model is a central artifact of domain-specific modeling languages (DSMLs) as it captures all relevant domain abstractions and their relations. Natural-language scenarios are a means to capture requirements in a way that can be understood by technical as well as non-technical stakeholders. In this paper, we use scenarios for the testing of structural properties of DSML core language models. In our approach, domain experts and DSML engineers specify requirements via structured natural-language scenarios. These scenario descriptions are then automatically transformed into executable test scenarios providing forward and backward traceability of domain requirements. To demonstrate the feasibility of our approach, we used Eclipse Xtext to implement a requirements language for the definition of semi-structured scenarios. Transformation specifications generate executable test scenarios that run in our test platform which is built on the Eclipse Modeling Framework and the Epsilon language family.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130363403","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
Extending UML testing profile towards non-functional test modeling 将UML测试概要扩展到非功能测试建模
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004878204880497
F. T. Rodríguez, F. Lonetti, A. Bertolino, Macario Polo, B. P. Lamancha
{"title":"Extending UML testing profile towards non-functional test modeling","authors":"F. T. Rodríguez, F. Lonetti, A. Bertolino, Macario Polo, B. P. Lamancha","doi":"10.5220/0004878204880497","DOIUrl":"https://doi.org/10.5220/0004878204880497","url":null,"abstract":"The research community has broadly recognized the importance of the validation of non-functional properties including performance and dependability requirements. However, the results of a systematic survey we carried out evidenced the lack of a standard notation for designing non-functional test cases. For some time, the greatest attention of Model-Based Testing (MBT) research has focused on functional aspects. The only exception is represented by the UML Testing Profile (UML-TP) that is a lightweight extension of UML to support the design of testing artifacts, but it only provides limited support for non-functional testing. In this paper we provide a first attempt to extend UML-TP for improving the design of non-functional tests. The proposed extension deals with some important concepts of non-functional testing such as the workload and the global verdicts. As a proof of concept we show how the extended UML-TP can be used for modeling non-functional test cases of an application example.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129341395","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
Toward a unified intercloud interoperability conceptual model for IaaS cloud service 为IaaS云服务建立统一的云间互操作性概念模型
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004879306730681
Tahereh Nodehi, S. Ghimire, R. Jardim-Gonçalves
{"title":"Toward a unified intercloud interoperability conceptual model for IaaS cloud service","authors":"Tahereh Nodehi, S. Ghimire, R. Jardim-Gonçalves","doi":"10.5220/0004879306730681","DOIUrl":"https://doi.org/10.5220/0004879306730681","url":null,"abstract":"The concept of interoperation between cloud providers is a recent research challenging objective. Current cloud systems have been developed without concerns of seamless cloud interconnection, and actually they do not support intercloud interoperability. The paper proposes a conceptual model for Intercloud Interoperability, to enable schedule dynamic operation for Infrastructure as a Service (IaaS) between different clouds. The paper is providing a better understanding of elaborates on the cloud computing architecture, appropriate metrics for Service Level Agreements (SLA) and Quality of Service (QoS) models that are required for seamless integration and interoperability between cloud environments. Then, a conceptual model for the Intercloud Interoperability Framework for Workload Migration is proposed. The novel component of the framework that provides interoperability is the Transformation Engine that maps workload between heterogeneous cloud providers, whilst Model Driven Architecture (MDA) is adopted as an applicable method for developing the Transformation Engine module.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132162384","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
An approach based on SysML and SystemC to simulate complex systems 基于SysML和SystemC的复杂系统仿真方法
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004809205550560
A. Abdulhameed, A. Hammad, H. Mountassir, Bruno Tatibouët
{"title":"An approach based on SysML and SystemC to simulate complex systems","authors":"A. Abdulhameed, A. Hammad, H. Mountassir, Bruno Tatibouët","doi":"10.5220/0004809205550560","DOIUrl":"https://doi.org/10.5220/0004809205550560","url":null,"abstract":"The complexity of heterogeneous systems has been increased during last years. One challenge of designing these systems is to deal with the application of methodologies based on Model Driven Architecture (MDA). MDA is a development framework that enables the description of systems by means of different models with transformations. This is an important area of research and consists on developing methodologies to reduce cost and time spent during their development. In our case, SysML, targets system descriptions in a high level of abstraction and provide diagrams for requirements. SystemC language is chosen as an alternative to the traditional languages and its simulation kernel is an important aspect which allows the designer to evaluate the system behaviours through simulations. This paper proposes a combined approach based on MDA concepts and rules to transform SysML semi-formal model to SystemC. The transformations are ensured by ATL language. A traffic light system is taken as a reference case study and used to illustrate our practical application. It is implemented on TopCased platform.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114974592","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
A domain-specific language for abstract syntax model to concrete syntax model mappings 一种领域特定语言，用于抽象语法模型到具体语法模型的映射
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004671701580165
L. Quesada, Fernando Berzal Galiano, J. Cubero
{"title":"A domain-specific language for abstract syntax model to concrete syntax model mappings","authors":"L. Quesada, Fernando Berzal Galiano, J. Cubero","doi":"10.5220/0004671701580165","DOIUrl":"https://doi.org/10.5220/0004671701580165","url":null,"abstract":"Model-based parser generators such as ModelCC effectively decouple language design from language processing. ModelCC allows the specification of the abstract syntax model of a language as a set of language elements and their relationships. ModelCC provides the necessary mechanisms to specify the mapping from the abstract syntax model (ASM) to a concrete syntax model (CSM). This mapping can be specified as a set of metadata annotations on top of the abstract syntax model itself or by means of a domain-specific language (DSL). Using a domain-specific language to specify the mapping from abstract to concrete syntax models allows the definition of different concrete syntax models for the same abstract syntax model. In this paper, we describe the ModelCC domain-specific language for ASM-CSM mappings and we showcase its capabilities by using the ModelCC ASM-CSM DSL to define itself.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128573770","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
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信