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

筛选
英文 中文
Evaluating the cloud architecture of AToMPM 评估AToMPM的云架构
Jonathan Corley, Eugene Syriani, Hüseyin Ergin
{"title":"Evaluating the cloud architecture of AToMPM","authors":"Jonathan Corley, Eugene Syriani, Hüseyin Ergin","doi":"10.5220/0005776903390346","DOIUrl":"https://doi.org/10.5220/0005776903390346","url":null,"abstract":"In model-driven engineering, stakeholders work on models in order to design, transform, simulate, and analyze systems. Complex systems typically involve many stakeholder groups working in a coordinated manner on different aspects of a system. Therefore, there is a need for collaborative platforms to allow modelers to work together. Previously, we introduced the cloud-based multi-user tool AToMPM, designed to address the challenges for building a collaborative platform for modeling. This paper presents on the multi-user, multi-view architecture of AToMPM and an initial evaluation of its performance and scalability.","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-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131536954","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
Towards distributed Ecore models 走向分布式Ecore模型
J. Aracil, Diego Sevilla Ruiz
{"title":"Towards distributed Ecore models","authors":"J. Aracil, Diego Sevilla Ruiz","doi":"10.5220/0005685002090216","DOIUrl":"https://doi.org/10.5220/0005685002090216","url":null,"abstract":"Models are the cornerstone of Model-Driven Engineering (MDE). Their size is constantly growing, becoming one of the main problems when it comes to manipulating them, via model-to-model transformations, model-to-text transformations or simply parsing them. In this paper we propose a way of distributing Ecore models representing them as JSON and URLs as identifiers, since HTTP is one of the most successful distributed protocols ever created. An implementation of distributed Ecore models using a RESTful-like service is also presented and and is publicly available.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"166 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125732413","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 flexibility in business processes by mining process patterns and process instances 通过挖掘流程模式和流程实例实现业务流程的灵活性
Andreas Bögl, Christine Natschläger, V. Geist
{"title":"Towards flexibility in business processes by mining process patterns and process instances","authors":"Andreas Bögl, Christine Natschläger, V. Geist","doi":"10.5220/0005652704690476","DOIUrl":"https://doi.org/10.5220/0005652704690476","url":null,"abstract":"The possibility to react to unexpected situations in business process execution is restricted since all possible process flows must be specified at design-time. Thus, there is need for a flexible approach that reflects the way in which human actors would handle discrepancies between real-life activities and their representation in business process definitions. In this paper, we propose a novel approach that supports dynamic business processes and is based on a framework comprising a process pattern library with domain-specific patterns and execution logs for mining related process instances. Given a running business process and an unexpected situation, the proposed approach provides a largely automatic adaptation of the business process by replacing failed activities with fitting process alternatives identified by exploring existing process knowledge. The feasibility of the approach is demonstrated by applying the main steps to a business scenario taken from the industry domain.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116509909","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
SysML models and model transformation for security SysML模型和安全性模型转换
Florian Lugou, Letitia W. Li, L. Apvrille, R. Ameur-Boulifa
{"title":"SysML models and model transformation for security","authors":"Florian Lugou, Letitia W. Li, L. Apvrille, R. Ameur-Boulifa","doi":"10.5220/0005748703310338","DOIUrl":"https://doi.org/10.5220/0005748703310338","url":null,"abstract":"The security flaws of embedded systems have become very valuable targets for cyber criminals. SysML-Sec has been introduced to target the security of these systems during their development stages. However, assessing resistance to attacks during these stages requires efficiently capturing the system's behavior and formally proving security properties from those behaviors. This paper thus proposes (i) novel SysML block and state machine diagrams enhanced to better capture security features, and (ii) a model-to-Proverif transformation. ProVerif is a toolkit first released for the formal analysis of security protocol, but it can be used more generally to assess confidentiality and authenticity properties. This paper demonstrates the soundness of our approach using a complex asymmetric key distribution protocol.","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-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133657313","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}
引用次数: 27
Modeling requirements should be language agnostic! Example of a formal definition of simple Behavioral Decomposition Models 建模需求应该与语言无关!简单行为分解模型的正式定义示例
Gurvan Le Guernic
{"title":"Modeling requirements should be language agnostic! Example of a formal definition of simple Behavioral Decomposition Models","authors":"Gurvan Le Guernic","doi":"10.5220/0005795205550562","DOIUrl":"https://doi.org/10.5220/0005795205550562","url":null,"abstract":"This paper argues in favor of expressing modeling requirements in a modeling language agnostic way, at least whenever those requirements are part of a contracting relationship between some of the stakeholders. Contracting authorities may require from contractors specific design models in order to perform early design (functional, safety, security, etc.) analyses. However, in order to allow contractors to use the compatible modeling language of their choice with the compatible modeling guidelines of their choice, the formal definition of the model requirements must be independent from any concrete modeling language or guideline. This paper introduces, based on the example of Behavioral Decomposition Models, an approach to express such agnostic requirements. This is achieved by defining a semantic domain, some correctness constraints and, later, the necessary mappings between them and the desired concrete syntaxes.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126315766","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
XIS-CMS: Towards a model-driven approach for developing platform-independent CMS-specific modules XIS-CMS:采用模型驱动的方法开发与平台无关的特定于cms的模块
Paulo Filipe, André Ribeiro, A. Silva
{"title":"XIS-CMS: Towards a model-driven approach for developing platform-independent CMS-specific modules","authors":"Paulo Filipe, André Ribeiro, A. Silva","doi":"10.5220/0005745805350543","DOIUrl":"https://doi.org/10.5220/0005745805350543","url":null,"abstract":"Content Management Systems (CMS) are popular web application platforms used in multiple domains. CMS allow non-technical users to manage the content and features of websites with web modules that abstract functionality without requiring particular software programming background. However, without the development of specific web modules, a CMS usually cannot support complex scenarios or specific business needs. In those situations, developers have to build custom modules using the CMS-specific language, which implies that they must master the corresponding programming and other technical skills. This paper proposes a model-driven approach, named XIS-CMS, which aims to increase the productivity and portability of developing these modules in a more abstract and platform-independent way. XIS-CMS approach includes a domain-specific modeling language, defined as a UML profile, and a companion framework defined on top of Sparx Systems Enterprise Architect and Eclipse Modeling Framework technologies. This paper introduces the XIS-CMS approach, its corresponding language and framework, and compares it with related work.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127581351","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 demonstration of compilability for UML template instances UML模板实例的可编译性演示
J. Farinha
{"title":"A demonstration of compilability for UML template instances","authors":"J. Farinha","doi":"10.5220/0005808503970404","DOIUrl":"https://doi.org/10.5220/0005808503970404","url":null,"abstract":"Because of the thin set of well-formedness rules associated to Templates in UML, ill-formed elements may result from bindings to templates. Although such ill-formedness is generally detected by some UML validation rule, the problem is poorly reported because it is not normally imputed to the binding. Typically, such problems are detected as non-compilable code in the template instances. A set of well-formedness rules, additional to those of the standard UML, was proposed as a way to ensure the compilability of instances and prevent this problem from occurring. Such set of constraints was proposed in a previous paper and named Functional Conformance, but a demonstration of its effectiveness was not yet provided. Such a demonstration is outlined in the current paper. Carrying out the demonstration revealed the need for two more rules than those previously envisioned for Functional Conformance.","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-02-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114487911","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
Performance monitoring framework for service oriented system lifecycle 面向服务的系统生命周期性能监控框架
Tehreem Masood, C. Cherifi, N. Moalla
{"title":"Performance monitoring framework for service oriented system lifecycle","authors":"Tehreem Masood, C. Cherifi, N. Moalla","doi":"10.5220/0005853608000806","DOIUrl":"https://doi.org/10.5220/0005853608000806","url":null,"abstract":"Service oriented systems are highly dynamic systems composed of several web services. One of the most important challenges in service oriented systems is to deliver acceptable quality of service. For this purpose, it is required to monitor quality of service along different activities of service oriented system. Existing research focuses on specific activities but do not take into account all the activities of service oriented system together at the infrastructure level. In this paper, we present performance monitoring framework to provide support for the whole service oriented system lifecycle. Our framework integrates several ontologies to monitor the performance of service oriented systems in order to ensure their sustainability. We design a base Service Monitoring Ontology that captures all the information about the service domain. Along with that we design ontologies for technical indicators at service level, binding level, composition level and server level. We conduct a performance evaluation over real web services using suitable estimators for response time, delay, loss and more.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121473806","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
Workplace learning - providing recommendations of experts and learning resources in a context-sensitive and personalized manner: An approach for ontology supported workplace learning 工作场所学习——以上下文敏感和个性化的方式提供专家建议和学习资源:一种本体支持的工作场所学习方法
S. Emmenegger, Knut Hinkelmann, Emanuele Laurenzi, Barbara Thönssen, Hans Friedrich Witschel, Congyu Zhang
{"title":"Workplace learning - providing recommendations of experts and learning resources in a context-sensitive and personalized manner: An approach for ontology supported workplace learning","authors":"S. Emmenegger, Knut Hinkelmann, Emanuele Laurenzi, Barbara Thönssen, Hans Friedrich Witschel, Congyu Zhang","doi":"10.26041/FHNW-1012","DOIUrl":"https://doi.org/10.26041/FHNW-1012","url":null,"abstract":"Support of workplace learning is increasingly important as change in every form determines today's working world in industry and public administrations alike. Adapt quickly to a new job, a new task or a new team is a major challenge that must be dealt with ever faster. Workplace learning differs significantly from school learning as it should be strictly aligned to business goals. In our approach we support workplace learning by providing recommendations of experts and learning resources in a context-sensitive and personalized manner. We utilize users' workplace environment, we consider their learning preferences and zone of proximal development, and compare required and acquired competencies in order to issue the best suited recommendations. Our approach is part of the European funded project Learn PAd. Applied research method is Design Science Research. Evaluation is done in an iterative process. The recommender system introduced here is evaluated theoretically based on user requirements and practically in an early evaluation process conducted by the Learn PAd application partner.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"16 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":"122496591","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
What is software architecture to practitioners: A survey 对实践者来说什么是软件架构:调查
M. Ozkaya
{"title":"What is software architecture to practitioners: A survey","authors":"M. Ozkaya","doi":"10.5220/0005826006770686","DOIUrl":"https://doi.org/10.5220/0005826006770686","url":null,"abstract":"Software architecture has been proposed in the nineties as a high-level software design method for specifying software systems in terms of components and their relation. Since then, software architectures have become an indispensable part of software design. However, it remains dubious to what extent practitioners use software architectures in their software design. To better understand this, we conduct a survey study among a number of practitioners from both industry and academia and aim at understanding their level of knowledge and experience in software architectures. Our survey consists of a questionnaire of 20 questions, presented in four distinct sections. We run our survey on 50 participants, 11 of whom are from academia and the rest 39 are from industry. As a result of our analysis, we reached the following conclusion: while software architecture is highly crucial for practitioners given the nature of their software projects, practitioners' knowledge on software architectures is too limited. Practitioners use Unified Modelling Language (UML), which views software architectures as a method of communicating system structures. However, other aspects such as architectural analysis are equally crucial in detecting design errors and verifying software designs for quality properties.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"88 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":"114627968","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
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学术官方微信