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

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

筛选
英文 中文
Exploring the potential of global types for adding a choreography perspective to the jABC framework 探索在jABC框架中添加编排透视图的全局类型的潜力
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-11-30 DOI: 10.5220/0005799303680376
P. Giannini, Anna-Lena Lamprecht, T. Margaria
{"title":"Exploring the potential of global types for adding a choreography perspective to the jABC framework","authors":"P. Giannini, Anna-Lena Lamprecht, T. Margaria","doi":"10.5220/0005799303680376","DOIUrl":"https://doi.org/10.5220/0005799303680376","url":null,"abstract":"We discuss how global types, aka multiparty session types, provide a complementary perspective on workflow models within the jABC modeling framework. On a reference example from the Semantic Web Services Challenge we show how the service orchestrations of jABC workflow applications can be expressed as service choreographies based on global types. Roles, identified with sets of logically related Service-Independent Building Blocks (SIBs), bridge between the two ways of looking at the behavior of systems. We compare the degree of declarativity and robustness in the face of changes of the reference example modeled with the jABC framework with as a global types specification.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114989344","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
Exchanging solutions for Information Systems Development using a model pattern perspective: Diagram templates in the context of the Mdarte Collaborative Evolution Process
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-11-29 DOI: 10.5220/0005690306400647
Rodrigo Salvador Monteiro, Geraldo Zimbrão, J. Souza
{"title":"Exchanging solutions for Information Systems Development using a model pattern perspective: Diagram templates in the context of the Mdarte Collaborative Evolution Process","authors":"Rodrigo Salvador Monteiro, Geraldo Zimbrão, J. Souza","doi":"10.5220/0005690306400647","DOIUrl":"https://doi.org/10.5220/0005690306400647","url":null,"abstract":"Information Systems Development faces many recurrent issues that must be addressed in every project. A lot of common requirements and features repeatedly appear on different projects challenging the development team. Exchanging solutions and the expertise gained over the evaluation of such solutions among projects can prevent the development teams from reinventing the wheel. The MDArte framework has been used to develop information systems through the Model Driven Architecture approach, automating the generation from models reaching around 80% of the application code. Most important is that the MDArte framework turned out to be a common platform between the adherent projects used to share new solutions and features. This paper focus on recurrent issues present at the modeling phase. We applied the concept of Model Patterns in order to provide diagram templates. A set of diagram templates were designed, implemented and evaluated by a volunteer project. The feedback was extremely positive and the proposed approach proves to be very promising. This level of collaboration between different projects on one hand accelerates the development and on the other hand prevents from neglecting important issues on information systems development.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126631595","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
A controlled experiment for evaluating the comprehensibility of UML Action Languages 一个评估UML动作语言可理解性的对照实验
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-11-28 DOI: 10.5220/0005657700520064
O. Badreddin, M. Elaasar, A. Hamou-Lhadj
{"title":"A controlled experiment for evaluating the comprehensibility of UML Action Languages","authors":"O. Badreddin, M. Elaasar, A. Hamou-Lhadj","doi":"10.5220/0005657700520064","DOIUrl":"https://doi.org/10.5220/0005657700520064","url":null,"abstract":"Action Languages represent an emerging paradigm where modeling abstractions are embedded in code to bridge the gap with visual models, such as UML models. The paradigm is gaining momentum, evident by the growing number of tools and standards that support this paradigm. In this paper, we report on a controlled experiment to assess the comprehensibility of those languages and compare it to that of object-oriented (OO) programming languages. We further report on the impact of also having access to the UML notation on the comprehensibility of those languages. Results suggest that action languages are significantly more comprehensible than traditional OO languages. Furthermore, there was not a significant improvement in comprehensibility when the UML notation was used along with both OO and action language code. We conclude that action languages are a promising alternative to traditional OO languages for specifying details, yet seem to be as comprehensible as high-level visual models.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121708151","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
Flexible component composition through communication abstraction 通过通信抽象灵活地组成组件
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-11-28 DOI: 10.5220/0005830304420449
Fabian Gilson, V. Englebert
{"title":"Flexible component composition through communication abstraction","authors":"Fabian Gilson, V. Englebert","doi":"10.5220/0005830304420449","DOIUrl":"https://doi.org/10.5220/0005830304420449","url":null,"abstract":"Software architectures are often abstracted as a combination of reusable components connected to each other by various means. Specifications of components' semantics have been widely studied and many modeling languages have been proposed from coarse-grained loosely-defined elements to operational objects with behavioral semantics that may be generated and executed in a dedicated framework. All these modeling facilities have proven their advantages in many domains through either case studies or real-world applications. However, most of those approaches either consider a subset of composition facilities, i.e. the available types of bindings between components, or do not even consider communication properties at all, staying at behavioral-related compatibility between components. Verifications of communication-related properties are then postponed to the hand of software developers and finally considered at deployment-time only. Part of a general architecture framework, we propose an abstraction formalism to specify communication paths between components. This modeling facility relies on a taxonomy of types of links and the specifications of communication protocols. This protocol serves as a reification element between abstract component compositions, architecture instances and deployment infrastructure, making explicit communication-related constraints and properties.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115764774","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
Multi-level dynamic instantiation for resolving node-edge dichotomy 解决节点-边缘二分法的多级动态实例化
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-11-28 DOI: 10.5220/0005690802740281
Zoltán Theisz, G. Mezei
{"title":"Multi-level dynamic instantiation for resolving node-edge dichotomy","authors":"Zoltán Theisz, G. Mezei","doi":"10.5220/0005690802740281","DOIUrl":"https://doi.org/10.5220/0005690802740281","url":null,"abstract":"The core idea of metamodel-based model construction is well established. However, there are different metamodeling approaches relying on various modeling structures and instantiation procedures. Although, in general, these approaches offer similar features, they are sometimes incompatible with each other. Therefore, a precise abstract definition of instantiation is needed. The paper describes an abstract modeling framework, which is easily customizable in order to adapt it to different multi-level modeling techniques. The framework consists of an abstract modeling structure, basic built-in constructs, and a dynamic instantiation procedure. The paper demonstrate the flexibility of the approach by a specific bootstrap that is explicitly designed for the rebalancing of the node-edge antagonism, which is mostly the origin of many reification patterns applied in current meta-model designs. Although the proposed solution to the node-edge dichotomy is only an example of our multi-level meta-modeling approach, it is per se a valuable achievement showing that it can be done in a more elegant manner than it is usually expressed in other state-of-the art modeling frameworks.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115101843","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
Towards Executable UML Interactions based on fUML 面向基于UML的可执行UML交互
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-11-28 DOI: 10.5220/0005809804050411
Marc-Florian Wendland
{"title":"Towards Executable UML Interactions based on fUML","authors":"Marc-Florian Wendland","doi":"10.5220/0005809804050411","DOIUrl":"https://doi.org/10.5220/0005809804050411","url":null,"abstract":"Executable specifications for UML currently comprise fUML, precise semantics of composite structures and in future precise semantics for state machines. An executable semantics for UML Interactions is on the roadmap, but has not been addressed by the OMG Executable UML working group so far. Interactions are said to be the second most used diagrams after class diagram of UML, thanks to their comprehensibility and illustrative visualization. Unfortunately, they suffer from fuzzy semantics and technical issues that wastes the potential Interactions could have for engineering activities apart from high-level specifications. In this position paper we present first results from experiments and attempts to map UML Interactions to fUML Activities in order to eventually execute them.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126778704","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
ImocaGen: A model-based code generator for embedded systems tuning 用于嵌入式系统调优的基于模型的代码生成器
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-11-28 DOI: 10.5220/0005804103900396
Goulven Guillou, Jean-Philippe Babau
{"title":"ImocaGen: A model-based code generator for embedded systems tuning","authors":"Goulven Guillou, Jean-Philippe Babau","doi":"10.5220/0005804103900396","DOIUrl":"https://doi.org/10.5220/0005804103900396","url":null,"abstract":"IMOCA is a model-based architecture model dedicated to embedded process control systems in disturbed environment. These systems depend on various parameters which are difficult to set because they are bound to environment changes. In this paper we propose to extend IMOCA with the meta-model ImocaGen for managing the aspects of the code generation. ImocaGen allows to target multiple platforms and different programming languages, generates both embedded code as well as tuning and reconfiguration tools, takes into account different communication protocols and offers a mechanism for integrating handwritten code. This approach is tested on a basic control application for a NXT brick for which three generations are performed: the first one for a PC with an USB connection, the second one for an Android tablet with a Bluetooth connection and the last one for a simulator in Java.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115855761","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
Modelling CAD models: Method for the model driven design of CAD models for deep drawing tools CAD模型建模:深冲工具CAD模型的模型驱动设计方法
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-11-28 DOI: 10.5220/0005799403770383
R. Scheffler, S. Koch, G. Wrobel, M. Pleßow, C. Buse, B. Behrens
{"title":"Modelling CAD models: Method for the model driven design of CAD models for deep drawing tools","authors":"R. Scheffler, S. Koch, G. Wrobel, M. Pleßow, C. Buse, B. Behrens","doi":"10.5220/0005799403770383","DOIUrl":"https://doi.org/10.5220/0005799403770383","url":null,"abstract":"Designing a fully parametric CAD model of a sheet forming tool in a 3D CAD system expends temporal and financial effort and thus engineers shy away from it. The Institute of Forming Technology and Machines (IFUM) and the Society for the Advancement of Applied Computer Science (GFaI) are currently developing a new method for the model driven design of deep drawing tools. The core of this method is a graphical modelling language for the domain of deep drawing tools. Meta models of these tools allow the generation of models which in turn can be transformed to parametric CAD models and completed by geometric modelling. The new method makes the modelling of parametric relations and dependencies easier and less error-prone.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131252471","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
Deriving software design models from a set of business processes 从一组业务流程中派生软件设计模型
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-11-28 DOI: 10.5220/0005657204890496
E. F. Cruz, R. J. Machado, M. Y. Santos
{"title":"Deriving software design models from a set of business processes","authors":"E. F. Cruz, R. J. Machado, M. Y. Santos","doi":"10.5220/0005657204890496","DOIUrl":"https://doi.org/10.5220/0005657204890496","url":null,"abstract":"Requirements elicitation is a crucial activity and one of the first steps in software development process. A popular way to capture and describe requirements is through UML use case models. Transforming requirement specifications into software design models is a complex and error prone software development activity. Software design usually involves several models, each one representing a different perspective. One of those perspectives is the data perspective which can be modeled using a data model. Although of the importance of this model, few works has been done to derive a data model from use case model. The 4SRS (4-Step Rule Set) method generates a logical architecture of a software-based system, based on a use case model. This paper proposes an approach to adapt and extend the 4SRS method in order to generate a data model supporting the generated logical architecture and the elicited requirements based in a set of business process models.","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-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128831638","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
Virtual worlds on demand? Model-driven development of JavaScript-based virtual world UI components for mobile apps 虚拟世界的需求?基于javascript的移动应用虚拟世界UI组件模型驱动开发
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2016-11-27 DOI: 10.5220/0005726906480655
Matthias Stürner, Philipp Brune
{"title":"Virtual worlds on demand? Model-driven development of JavaScript-based virtual world UI components for mobile apps","authors":"Matthias Stürner, Philipp Brune","doi":"10.5220/0005726906480655","DOIUrl":"https://doi.org/10.5220/0005726906480655","url":null,"abstract":"Virtual worlds and avatar-based interactive computer games are a hype among consumers and researchers for many years now. In recent years, such games on mobile devices also became increasingly important. However, most virtual worlds require the use of proprietary clients and authoring environments and lack portability, which limits their usefulness for targeting wider audiences like e.g. in consumer marketing or sales. Using mobile devices and client-side web technologies like i.e. JavaScript in combination with a more automatic generation of customer-specific virtual worlds could help to overcome these limitations. Here, model-driven software development (MDD) provides a promising approach for automating the creation of user interface (UI) components for games on mobile devices. Therefore, in this paper an approach is proposed for the model-driven generation of UI components for virtual worlds using JavaScript and the upcoming Famo.us framework. The feasibilty of the approach is evaluated by implementing a proof-of-concept scenario.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124902027","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信