{"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}
{"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}
{"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}
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}
{"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}
{"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}
{"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}
{"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}
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}
{"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}