2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)最新文献

筛选
英文 中文
Enabling sustainable interoperability for enterprise applications with knowledge links 为具有知识链接的企业应用程序提供可持续的互操作性
Artur Felic, Felix Herrmann, C. Hogrefe, Michael Klein, B. König-Ries
{"title":"Enabling sustainable interoperability for enterprise applications with knowledge links","authors":"Artur Felic, Felix Herrmann, C. Hogrefe, Michael Klein, B. König-Ries","doi":"10.5220/0005369605970607","DOIUrl":"https://doi.org/10.5220/0005369605970607","url":null,"abstract":"In complex and collaborative ecosystems like business networks, different partners need to share their respective expert knowledge in order to be successful. Due to the diversity of business applications and highly customized application suites used by business partners, knowledge exchange and the establishment of interoperability between enterprise applications is extremely difficult. Different representations and meanings of enterprise data lead to incomprehensibility between partners inside collaborative environments. This paper presents an model-driven approach to support sustainable interoperability for enterprise applications in collaborative environments. Based on an event-driven architecture, Knowledge Links enable dynamic modelling of knowledge transformations between knowledge domains. They keep background consistency between the connected domains, thus making enterprise applications interoperable. Knowledge Links can be created and modified at any time, which enables sustainable interoperability. Business partners are able to rely on their enterprise applications and don't need to switch to another system. Sensitive data stays covert due to the nature of modular ontologies. The presented approach is exemplified in the context of the OSMOSE Project and will be evaluated by the proof-of-concept scenarios in this Project.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129663109","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
Model-driven development for user-centric well-being support from dynamic well-being domain models to context-aware applications 从动态幸福域模型到上下文感知应用程序,以用户为中心的幸福支持的模型驱动开发
Steven Bosems, M. V. Sinderen
{"title":"Model-driven development for user-centric well-being support from dynamic well-being domain models to context-aware applications","authors":"Steven Bosems, M. V. Sinderen","doi":"10.5220/0005339204250432","DOIUrl":"https://doi.org/10.5220/0005339204250432","url":null,"abstract":"Applications that can use information obtained through device sensors to alter their behavior are called context-aware. Design and development of such applications is currently done by modeling the application's context or by using novel requirements engineering methods. If the application is to support the user's well-being, these methods fall short due to their technical focus. We propose a model-driven approach that deals with the specifics of the well-being domain by using a DSL that captures the user's personal well-being context. The development method is user-centric, rather than technology focused. Initial user experiments show promising results.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116286666","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
Traceability and interfacing between requirements engineering and UML domains using the standardized ReqIF format 使用标准化的ReqIF格式实现需求工程和UML域之间的可追溯性和接口
Arne Noyer, Padma Iyenghar, E. Pulvermüller, Florian Pramme, G. Bikker
{"title":"Traceability and interfacing between requirements engineering and UML domains using the standardized ReqIF format","authors":"Arne Noyer, Padma Iyenghar, E. Pulvermüller, Florian Pramme, G. Bikker","doi":"10.5220/0005327303700375","DOIUrl":"https://doi.org/10.5220/0005327303700375","url":null,"abstract":"Model Driven Development (MDD) is deemed as a key to address the increasing complexity of software systems. It is imperative that the developed software fulfills the end-user's requirements. This implies that a collaboration between the Requirements Management (RM) tools and the modeling tools, enabling complete traceability and interfacing among these tools, is essential. On the other hand, existing tools collaborating between RM and modeling tools support a very limited sub-set of new features (e.g. traceability analysis) and are compatible with only a few tools. As a result, software engineers are often required to educate themselves on another (often complex), intermediate (collaborating) tool, merely to realize a very limited sub-set of supported features. This paper addresses these gaps and introduces an approach for exchanging information between RM tools and Unified Modeling Language (UML) tools by using the standardized Requirements Interchange Format (ReqIF). The proposed approach (a) enables software developers to create links between requirements and UML elements in their modeling tool and (b) facilitates requirements engineers to make traceability/other analyses down to linked model elements inside their RM tool. In contrast to many other approaches, no additional user interface is needed for traceability.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124167407","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
SysML modeling for embedded systems design optimization: A case study 用于嵌入式系统设计优化的SysML建模:案例研究
Patrick Leserf, Pierre de Saqui-Sannes, J. Hugues, K. Chaaban
{"title":"SysML modeling for embedded systems design optimization: A case study","authors":"Patrick Leserf, Pierre de Saqui-Sannes, J. Hugues, K. Chaaban","doi":"10.5220/0005229204490457","DOIUrl":"https://doi.org/10.5220/0005229204490457","url":null,"abstract":"Model-Based Systems Engineering (MBSE) with the SysML language allows the designer to include requirement capture and design representation in a single model. This paper proposes a methodology to obtain the best design alternative, from a SysML design, by using multi-objective optimization techniques. A SysML model is extended with stereotypes, objective functions, variability and constraints. Then an integer representation of the problem can be generated and solved as a constraint satisfaction problem (CSP). The paper illustrates our methodology using an Embedded Cognitive Safety System (ECSS) design. From a component repository and redundancy alternatives, the best design alternatives are generated, to minimize the total cost and maximize the estimated system reliability.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126533624","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
A MapReduce-based approach for finding inexact patterns in large graphs 基于 MapReduce 的大型图中非精确模式查找方法
P. Fehér, M. Asztalos, T. Mészáros, L. Lengyel
{"title":"A MapReduce-based approach for finding inexact patterns in large graphs","authors":"P. Fehér, M. Asztalos, T. Mészáros, L. Lengyel","doi":"10.5220/0005231102050212","DOIUrl":"https://doi.org/10.5220/0005231102050212","url":null,"abstract":"Finding patterns in graphs is a fundamental problem in graph theory, and also a practical challenge during the analysis of big data sets. Inexact patterns may correspond to a set of possible exact graphs. Their use is important in many fields where pattern matching is applied (e.g. mining in social networks or criminal investigations). Based on previous work, this paper introduces a pattern specification language with special language features to express inexact patterns. We also show a MapReduce approach-based algorithm that is able to find matches. Our methods make it possible to define inexact patterns and to find the exact matches in large graphs efficiently.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127498062","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
A toolset for Simulink: Improving software engineering practices in development with Simulink 用于Simulink的工具集:使用Simulink改进开发中的软件工程实践
Vera Pantelic, S. Postma, M. Lawford, Alexandre Korobkine, Bennett Mackenzie, Jeff Ong, M. Bender
{"title":"A toolset for Simulink: Improving software engineering practices in development with Simulink","authors":"Vera Pantelic, S. Postma, M. Lawford, Alexandre Korobkine, Bennett Mackenzie, Jeff Ong, M. Bender","doi":"10.5220/0005236100500061","DOIUrl":"https://doi.org/10.5220/0005236100500061","url":null,"abstract":"This paper presents a set of tools that provide automatic support for application of some of the traditional software engineering practices when developing with Simulink. The tools are the: Signature Tool, Reach/Coreach Tool, Data Store Push-Down Tool, and Auto Layout Tool. The Signature Tool extracts the interface of a Simulink subsystem, identifying the subsystem's explicit, and implicit data flow mechanisms, empowering developers to use the implicit mechanisms more effectively. The Reach/Coreach Tool identifies data and control flow dependencies in a Simulink model and uses the information for model slicing. The view of dependencies offered by the tool significantly eases the comprehension of large models. The dependencies can also serve as indicators of alternative designs, and facilitate more effective testing and verification. The Data Store Push-Down Tool restricts the scope of Simulink's data stores thereby providing improved encapsulation, and increasing modularity. Finally, the Auto Layout Tool significantly decreases the manual effort developers spend in achieving proper layout of models during design and refactoring, and can be used by automated refactoring and transformation tools.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"2016 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132650158","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}
引用次数: 12
Evolving legacy model transformations to aggregate non functional requirements of the domain 演进遗留模型转换以聚合领域的非功能需求
J. Agirre, Goiuria Sagardui Mendieta, L. Elorza
{"title":"Evolving legacy model transformations to aggregate non functional requirements of the domain","authors":"J. Agirre, Goiuria Sagardui Mendieta, L. Elorza","doi":"10.5220/0005227304370448","DOIUrl":"https://doi.org/10.5220/0005227304370448","url":null,"abstract":"The use of Model Driven Development (MDD) is increasing in industry. When a Non Functional Requirement (NFR) not considered in the development must be added metamodels, models and also transformations are affected. Tasks for defining and maintaining model transformation rules can be complex in MDD. Model Transformation By Example (MTBE) approaches have been proposed to ease the development of transformation rules. In this paper an approach based on MTBE to derive the adaptation operations that must be implemented in a legacy model transformation when a NFR appears is presented. The approach derives semi-automatically the model transformations using execution traceability data and models differences. An example where access control property is integrated on a MDD system is introduced to demonstrate the usefulness of the tool to evolve model transformations.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"13 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132934656","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
Defining and using collaboration patterns for software process development 定义和使用软件过程开发的协作模式
T. Vo, B. Coulette, H. Tran, Rédouane Lbath
{"title":"Defining and using collaboration patterns for software process development","authors":"T. Vo, B. Coulette, H. Tran, Rédouane Lbath","doi":"10.5220/0005338705570564","DOIUrl":"https://doi.org/10.5220/0005338705570564","url":null,"abstract":"Collaboration patterns are an efficient way to define, reuse and enact collaborative software development processes. We propose an approach to define and apply collaboration patterns at modelling, instantiation or execution time. Our patterns, inspired from workflow patterns, are described in CMSPEM, a Process Modelling Language developed in our team. In this paper, we briefly describe the CMSPEM metamodel and focus our presentation on two collaboration patterns: Duplicate in Sequence with Multiple Actors, Duplicate in Parallel with Multiple Actors and Merge. The approach is illustrated by a case study concerning the collaborative process “Review a deliverable”.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123851546","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 formalisation of analysis-based model migration 基于分析的模型迁移的形式化
Ingrid Chieh Yu, H. Berg
{"title":"A formalisation of analysis-based model migration","authors":"Ingrid Chieh Yu, H. Berg","doi":"10.5220/0005240900860098","DOIUrl":"https://doi.org/10.5220/0005240900860098","url":null,"abstract":"Supporting adaptation of metamodels is essential for realising Model-Driven Engineering. However, adapting and changing metamodels impact other artefacts of the metamodelling ecosystem. In particular, conformant models will no longer be valid instances of their changed metamodel. This gives rise to co-evolution issues where metamodels and models are no longer synchronised. This is critical as systems become inconsistent. A typical approach for re-establishing conformance is to manually craft transformations which update existing models for the new metamodel variant. In this paper we present an analysis-based approach that addresses this concern. The approach enables an arbitrary number of metamodels to evolve based on an adaptation strategy. During analysis we accumulate information required to automatically transform existing models to ensure conformance. We formalise the approach and prove model conformance.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115556072","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
Knowledge modeling in the health care domain to support software development & maintenance 医疗保健领域的知识建模,以支持软件开发和维护
T. Reichherzer, John W. Coffey, B. Gonen, Irad Gillett
{"title":"Knowledge modeling in the health care domain to support software development & maintenance","authors":"T. Reichherzer, John W. Coffey, B. Gonen, Irad Gillett","doi":"10.5220/0005239004700476","DOIUrl":"https://doi.org/10.5220/0005239004700476","url":null,"abstract":"This article contains a description of a knowledge elicitation effort and representation pertaining to the modeling of conceptual knowledge in the health care field. The project has the goal of building a conceptual model of data in the Military Health System Data Repository, a large DoD/VA aggregation of databases that can be used in the implementation of software. The goal is to create a just-in-time conceptual model of the data to facilitate software development and foster software developer understanding of the domain.","PeriodicalId":256976,"journal":{"name":"2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"238 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115586515","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
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学术官方微信