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

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

筛选
英文 中文
Semantic approach to automatically defined model transformation 自动定义模型转换的语义方法
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004713303400347
Tiexin Wang, Sébastien Truptil, F. Bénaben
{"title":"Semantic approach to automatically defined model transformation","authors":"Tiexin Wang, Sébastien Truptil, F. Bénaben","doi":"10.5220/0004713303400347","DOIUrl":"https://doi.org/10.5220/0004713303400347","url":null,"abstract":"Modelling and model transformation are regarded as two pillars of model-driven engineering; they have been used together to solve practical problems. For instance, since different models (e.g. data model) are used by heterogeneous partners involved in a specific collaborative situation, there is an urgent need for model transformations to exchange information among the heterogeneous partners. To quickly define model transformations, this paper presents an approach, which could replace the users' effort in making mappings during the definition of a model transformation process. This approach is based on model transformation methodology, using syntax and semantic relationship among model elements. For this, a generic meta-metamodel and semantics checking methodology are proposed, before being illustrated by an example.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"55 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":"131487304","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
A language for enabling model-driven analysis of business processes 一种用于支持业务流程的模型驱动分析的语言
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004712603250332
Paolo Bocciarelli, A. D’Ambrogio, Emiliano Paglia
{"title":"A language for enabling model-driven analysis of business processes","authors":"Paolo Bocciarelli, A. D’Ambrogio, Emiliano Paglia","doi":"10.5220/0004712603250332","DOIUrl":"https://doi.org/10.5220/0004712603250332","url":null,"abstract":"The use of simulation-based approaches for the analysis of business processes enables the design-time prediction of the process behavior and/or the operation-time process reconfiguration. However, the effectiveness of BP simulation is still limited for several reasons (e.g., lack of simulation know-how of BP analysts, simulation model parameters that can be hard to gather, large semantic gap between the business process model and the simulation model). To overcome such limitations, this paper introduces a model-driven method to automatically build the executable simulation code of a business process from its abstract definition in BPMN, the standard language for specifying business processes. The simulation code is specified in eBPMN, a novel domain-specific language that has been designed and implemented according to the BPMN execution semantics.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"31 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":"115358598","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}
引用次数: 26
On the support of multi-perspective process models variability for smart environments 基于多视角过程模型的智能环境变异性支持
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004758205490554
A. Murguzur, Xabier De Carlos, Salvador Trujillo, Goiuria Sagardui Mendieta
{"title":"On the support of multi-perspective process models variability for smart environments","authors":"A. Murguzur, Xabier De Carlos, Salvador Trujillo, Goiuria Sagardui Mendieta","doi":"10.5220/0004758205490554","DOIUrl":"https://doi.org/10.5220/0004758205490554","url":null,"abstract":"Cloud service-based applications are to be adapted to serve multiple platforms and stakeholders. Atop of such services, Smart Green Buildings are fostering a plethora of processes within their sustainability life-cycle. This introduces a number of challenges, as how to support multiple perspectives of domain-specific variability and how to deal with large collections of related process variants. To tackle this, there is a need to handle multi-perspective variability for processes. This paper introduces an approach to manage multi-perspective process variability by means of a meta-model and a modeling methodology, representing separately people and things variability perspectives in smart environments. Initial experimental results are also described, which indicate encouraging results for managing highly complex variability models.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"33 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":"122911812","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 stepwise design of software architectures 用于逐步设计软件体系结构的领域特定语言
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004709700670078
Fabian Gilson, V. Englebert
{"title":"A domain specific language for stepwise design of software architectures","authors":"Fabian Gilson, V. Englebert","doi":"10.5220/0004709700670078","DOIUrl":"https://doi.org/10.5220/0004709700670078","url":null,"abstract":"Stakeholders have to face requirements in increasing number and complexity. Their translations to system functionalities are often diluted into the overall architecture so that it becomes tricky to undertake future changes. Since information systems are intended to evolve in terms of functionalities and underlying technologies, the link between requirements and design artifacts is primordial. Agile design methods and documentation techniques have emerged in the past years in order to deal with the amount of requirements and to trace the decision process and the rationale sustaining a software model. Also, it is not unusual that numerous technologies with similar purpose are confronted to each other during the design phase. In the present work, we propose an integrated framework combining system requirement definitions, a component-based modeling language and model transformations. Architecturally-significant requirements are explicitly linked to software architecture elements and iteratively refined or implemented by model transformations. Any transformation must be documented, even briefly, and the framework retains the transformations tree. This way, the iterative decision and design processes are completely documented for future reference or modification, i.e, designers can (i) see the mapping between a system requirement and its implementation in the architecture model, (ii) explore design alternatives or apply structural modifications without losing previous versions of the model, and finally (iii), depending on the level of documentation, at least understand partially the reasons why the model is how it is.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"11 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":"128873488","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
Modelling services for interoperability negotiation 为互操作性协商建模服务
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004883206820688
C. Coutinho, A. Cretan, R. Jardim-Gonçalves
{"title":"Modelling services for interoperability negotiation","authors":"C. Coutinho, A. Cretan, R. Jardim-Gonçalves","doi":"10.5220/0004883206820688","DOIUrl":"https://doi.org/10.5220/0004883206820688","url":null,"abstract":"The evolution of businesses, driven by the advent of the internet and subsequent globalisation, was very quick and sudden. Enterprises that had traditional development strategies and that were used to slow changes are suddenly feeling the urge to evolve or face obsolescence. This fast-paced evolution frequently leads to mistakes and erroneous decisions, many of which are solely detected after a long period. When this happens, frequently the only solution is to return to a previous stable business stage before proceeding. The EU co-funded FP7 TIMBUS project comprises tools and techniques to improve business continuity featuring an intelligent strategy for digital preservation of business assets and environments based on risk-management. This paper proposes the modelling of service-based negotiation strategies to help in two phases: First in the definition of the enterprise business interoperability strategy, and second, in the reasoning of assets and concepts needed for the capture of digital preservation of business assets.","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":"121131200","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 Aspect-Oriented Model transformation to weave security using CVL 使用CVL编织安全性的面向方面模型转换
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004890601380147
J. Horcas, M. Pinto, L. Fuentes
{"title":"An Aspect-Oriented Model transformation to weave security using CVL","authors":"J. Horcas, M. Pinto, L. Fuentes","doi":"10.5220/0004890601380147","DOIUrl":"https://doi.org/10.5220/0004890601380147","url":null,"abstract":"In this paper, we combine the Common Variability Language (CVL) and the ATL Transformation Language to customize and incorporate a generic security model into any application that requires security. Security spans a large set of concerns such as integrity, encryption or authentication, among others, and each concern needs to be incorporated into the base application in a different way and at different points of the application. We propose a set of weaving patterns using model transformations in ATL to automatically weave the security concerns with the base application in an aspect-oriented way. Since different applications require different security requirements, the security model needs to be customized before its incorporation into the application. We resolve the variability of the security properties and implement the weaving process in CVL. We use an e-voting case study to illustrate our proposal using the CVL approach.","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":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130805969","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 pattern language for use case modeling 用于用例建模的模式语言
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004720204080414
A. M. D. Cruz
{"title":"A pattern language for use case modeling","authors":"A. M. D. Cruz","doi":"10.5220/0004720204080414","DOIUrl":"https://doi.org/10.5220/0004720204080414","url":null,"abstract":"Use case driven software development typically starts with abstract problem domain descriptions of how the users see themselves using the system being developed, and entails a series of iterative refinement steps that incrementally detail the user stories/use case model, in order to bring those descriptions to the solution domain. This process tends to produce overcrowded detailed use case models that are difficult to read, but that are essential to maintain a use case driven approach, during software construction/coding activities. Business applications typically comprise a set of functions that the users can make on the system. When a use case driven approach is used to develop business applications those typical business applications' functions pop-up as use case patterns. This paper presents a set of use case patterns that can be found in data-centered business applications, and proposes a use case pattern language that can be used together with standard UML use case language to facilitate the understanding of detailed use case models.","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":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121045205","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}
引用次数: 9
The Eclipse Java Metamodel: Scaffolding software engineering research on Java projects with MDE techniques Eclipse Java元模型:使用MDE技术对Java项目进行脚手架软件工程研究
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004715303920399
Pedro Janeiro Coimbra, Fernando Brito e Abreu
{"title":"The Eclipse Java Metamodel: Scaffolding software engineering research on Java projects with MDE techniques","authors":"Pedro Janeiro Coimbra, Fernando Brito e Abreu","doi":"10.5220/0004715303920399","DOIUrl":"https://doi.org/10.5220/0004715303920399","url":null,"abstract":"Java on the Eclipse IDE is a frequent choice for software development nowadays. Software Engineering researchers have built program analysis tools in that environment for several purposes. However, that requires a deep understanding of Eclipse internals, such as the Java AST. This paper discusses the feasibility of a metamodel-driven approach to scaffold the construction of such tools. Its core is the Eclipse Java Metamodel (EJMM), obtained through reverse engineering. The latter is instantiated with meta-objects representing the constructs of a given Java program. We then use OCL to traverse programs very easily. To validate the feasibility of our metamodel-driven approach to program analysis, we developed an Eclipse plug-in based on it, to support the metamodel-driven measurement (M2DM) approach.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"10 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":"128293211","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
Towards a method for combined model-based testing and analysis 一种基于模型的测试与分析相结合的方法
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004873106090618
B. Nielsen
{"title":"Towards a method for combined model-based testing and analysis","authors":"B. Nielsen","doi":"10.5220/0004873106090618","DOIUrl":"https://doi.org/10.5220/0004873106090618","url":null,"abstract":"Efficient and effective verification and validation of complex embedded systems is challenging, and requires the use of various tools and techniques, such as model-based testing and analysis. The aim of this paper is to devise an overall method for how analysis and testing may be used in combination to increase the quality of embedded systems, and reduce development cost. The method is centered on a common verification planning and iteratively exploiting the established results to strengthen the verification activities. We conclude that the proposed method is general enough to capture most interesting combinations and workflows, but also that formulation of more specific combination patterns will be useful to encourage future tool collaborations.","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":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128584519","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}
引用次数: 14
A bottom up SPL design method 自底向上的声压级设计方法
2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI: 10.5220/0004707903090316
Jihen Maâzoun, N. Bouassida, H. Ben-Abdallah
{"title":"A bottom up SPL design method","authors":"Jihen Maâzoun, N. Bouassida, H. Ben-Abdallah","doi":"10.5220/0004707903090316","DOIUrl":"https://doi.org/10.5220/0004707903090316","url":null,"abstract":"Software Product Lines (SPL) ensure predictive and organized software reuse. In practice, SPL are often set up after several similar product variants have been in use. This practical fact prompted a quest for bottom-up processes that start from existing the source of product variants to identify a product line. This later is then described with a feature model that essentially specifies the components of the SPL and their variability within the product family. However, so far proposed notations for feature models do not provide for a clear understanding of the SPL nor do they guide in their maintenance and future evolution. These shortages motivated us to propose a bottom-up approach that extracts from the source code of product variants, the SPL design enriched with information extracted from the feature model. The enriched SPL is modeled with a UML profile that assists in the comprehension, reuse as well as evolution of the SPL.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"47 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":"117019864","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学术官方微信