{"title":"EXE-SPEM: Towards cloud-based executable Software Process models","authors":"Sami Alajrami, B. Gallina, A. Romanovsky","doi":"10.5220/0005740605170526","DOIUrl":"https://doi.org/10.5220/0005740605170526","url":null,"abstract":"Executing software processes in the cloud can bring several benefits to software development. In this paper, we discuss the benefits and considerations of cloud-based software processes. EXE-SPEM is our extension of the Software and Systems Process Engineering (SPEM2.0) Meta-model to support creating cloud-based executable software process models. Since SPEM2.0 is a visual modelling language, we introduce an XML notation meta-model and mapping rules from EXE-SPEM to this notation which can be executed in a workflow engine. We demonstrate our approach by modelling an example software process using EXE-SPEM and mapping it to the XML notation.","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-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130530289","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}
Edouard R. Batot, H. Sahraoui, Eugene Syriani, Paul Molins, Wael Sboui
{"title":"Systematic mapping study of model transformations for concrete problems","authors":"Edouard R. Batot, H. Sahraoui, Eugene Syriani, Paul Molins, Wael Sboui","doi":"10.5220/0005657301760183","DOIUrl":"https://doi.org/10.5220/0005657301760183","url":null,"abstract":"As a contribution to the adoption of the Model-Driven Engineering (MDE) paradigm, the research community has proposed concrete model transformation solutions for the MDE infrastructure and for domain-specific problems. However, as the adoption increases and with the advent of the new initiatives for the creation of repositories, it is legitimate to question whether proposals for concrete transformation problems can be still considered as research contributions or if they respond to a practical/technical work. In this paper, we report on a systematic mapping study that aims at understanding the trends and characteristics of concrete model transformations published in the past decade. Our study shows that the number of papers with, as main contribution, a concrete transformation solution, is not as high as expected. This number increased to reach a peak in 2010 and is decreasing since then. Our results also include a characterization and an analysis of the published proposals following a rigorous classification scheme.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"155 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127349721","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":"Generic and distributed runtime environment for model-driven game development","authors":"Sebastian Apel, Volkmar Schau","doi":"10.5220/0005652306230630","DOIUrl":"https://doi.org/10.5220/0005652306230630","url":null,"abstract":"Massive multiplayer online games are large-scaled distributed systems to handle a huge amount of simultaneous players. Thus, development costs can be enormous. To deal with this, it is necessary to reduce redundant development steps in such distributed systems, e.g. by using code generators and model analysers to build components from already existing knowledge. Such knowledge could be the unique game logic. This paper reports realized approaches to derivate infrastructure from that logic within our middleware. Getting through this is achieved by using an abstract meta model for game design processes, harvest information from those design results and generate infrastructure for communication, controlling and persistance. Finally we evalutes its applicableness and useablity in multiple game projects.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"84 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":"134197621","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":"Extending graphical part of the Interaction Flow Modeling Language to Generate Rich Internet Graphical User Interfaces","authors":"Sarra Roubi, M. Erramdani, Samir Mbarki","doi":"10.5220/0005650601610167","DOIUrl":"https://doi.org/10.5220/0005650601610167","url":null,"abstract":"Rich Internet Applications (RIAs) combine the simplicity of the hypertext paradigm with the flexibility of desktop interfaces. However, RIAs are complex applications and their development requires designing and implementation which are time-consuming and the available tools are specialized in manual design. In this paper, we present an approach for the model driven generation of Rich Internet Application using the Interaction Flow Modeling Language (IFML). The approach exploits the new language IFML recently adopted by the Object Management Group by extending first the graphical part of the Meta Model to fit the RIAs' needs. We used frameworks and technologies known to model-driven engineering, such as Eclipse Modeling Framework (EMF) for Meta Models, Query View Transformation (QVT) for model transformations and Acceleo for code generation. The approach allows to quickly and efficiently generating a RIA focusing on the graphical aspect of the application.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"10 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":"128296183","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}
B. Mozzaquatro, Raquel Melo, C. Agostinho, R. Jardim-Gonçalves
{"title":"An ontology-based security framework for decision-making in industrial systems","authors":"B. Mozzaquatro, Raquel Melo, C. Agostinho, R. Jardim-Gonçalves","doi":"10.5220/0005853107790788","DOIUrl":"https://doi.org/10.5220/0005853107790788","url":null,"abstract":"Embedded devices based on emerging technologies of the Internet of Things (IoT) are used to provide resources, business models and opportunities to build potential industrial systems improving manufacturing systems with efficient operations. In this context, IoT networks are dynamic environments and changes are also being increasingly frequent, modifying the environment execution. Nevertheless, severe threats will increase the complexity and difficulty to protect existing vulnerabilities in smart devices of IoT network. In this context, this work proposes an architecture of the ontology-based security framework to decision-making using adaptive security model to improve secure information for the industrial systems. IoTSec ontology contributes to feed the system using queries of contextual information collected in the environment. The main contribution of this approach is validated as an integration with C2NET project to ensure security properties in some critical scenarios.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"19 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":"122228761","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 hybrid semantics of Enterprise Modeling Languages","authors":"Richard Braun, W. Esswein","doi":"10.5220/0005812504120420","DOIUrl":"https://doi.org/10.5220/0005812504120420","url":null,"abstract":"Enterprise Modeling Languages (EMLs) are generally perceived as conceptual modeling languages having a formal syntax and informal semantics. The non-formality of semantics is mainly caused by the materiality of the addressed domain (enterprises and its related aspects) and the resulting personal interpretation of syntactical constructs. However, EMLs may also explicitly define invariant interpretations in the sense of possible model executions or the definition of domain-specific restrictions. It is therefore promising to address a possible amalgamation of material semantics and formal semantics in order to provide an integrated and comprehensive semantic specification of EMLs. This position paper introduces and motivates the topic by systematizing and consolidating approaches from both fields and introduces a framework for so-called hybrid semantics on the meta model layer. Further, the general relevance of semantics and semantic specifications in EMLs is emphasized and prospective research challenges are proposed.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"96 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":"133157921","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}
Christine Natschläger, V. Geist, Christa Illibauer, R. Hutter
{"title":"Modelling business process variants using graph transformation rules","authors":"Christine Natschläger, V. Geist, Christa Illibauer, R. Hutter","doi":"10.5220/0005665800650074","DOIUrl":"https://doi.org/10.5220/0005665800650074","url":null,"abstract":"Business process variability is an active research area in the field of business process management and deals with variations and commonalities among processes of a given process family. Many theoretical approaches have been suggested in the last years; however, practical implementations are rare and limited in their functionality. In this paper, we propose a new approach for business process variability based on well-known graph transformation techniques and with focus on practical aspects like definition of variation points, linking and propagation of changes, as well as visual highlighting of differences in process variants. The suggested concepts are discussed within a case study comprising two graph transformation systems for generating process variants; one supports variability by restriction, the other supports variability by restriction and by extension. Both graph transformation systems are proven to be globally deterministic, but differ regarding their complexity. The overall approach is being implemented in the BPM suite of our partner company.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"1149 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":"131558754","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":"Translating task models to state machines","authors":"A. Wagner, C. Prehofer","doi":"10.5220/0005681702010208","DOIUrl":"https://doi.org/10.5220/0005681702010208","url":null,"abstract":"We present a new method to translate the established and well-known ConcurTaskTree (CTT) task modeling technique into state machines. For this purpose, we develop the concepts of partial state machines, Connectables and a connect operator, which form the theoretical framework for a new algorithm. For the translation, we develop and present a recursive, bottom-up algorithm, which exploits the inherent structure of CTTs and produces valid, partial state machines. This allows new development processes in the model-driven application and system development domain.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"152 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":"116897827","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}
Josefine Södling, Rikard Ekbom, Peter Thorngren, Håkan Burden
{"title":"From model to rig - an automotive case study","authors":"Josefine Södling, Rikard Ekbom, Peter Thorngren, Håkan Burden","doi":"10.5220/0005644506150622","DOIUrl":"https://doi.org/10.5220/0005644506150622","url":null,"abstract":"As the size and complexity of the software in a truck grows, new ways of managing the development are needed. Numerous reports show how MDE can be successfully applied for automotive software development. We complement previous research by conducting a case study on the impact of model-based testing for verifying and validating the behaviour of a truck's headlights. Our results are three-fold. First, we show how a model can be transferred from a model-in-the-loop setting to a hardware-in-the-loop via system simulation. Second, we supply an analysis of the shortcomings of the model that were found as the model was tested in more and more platform-specific settings. Third, our results show that the introduction of model-based testing practices will require organisational changes even if the used tools are familiar to the company.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"14 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":"132276921","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}
Francisco Javier Bermudez Ruiz, J. Molina, O. García
{"title":"Data integration between objectiver and DB-Main: A case study of a Model-Driven Interoperability bridge","authors":"Francisco Javier Bermudez Ruiz, J. Molina, O. García","doi":"10.5220/0005653504770488","DOIUrl":"https://doi.org/10.5220/0005653504770488","url":null,"abstract":"In building software systems, the integration of tools with the purpose of exchanging data (i.e. tool interoperability) is common practice. Such an integration is one of the application scenarios of Model-Driven Engineering (MDE), which is often called Model-Driven Interoperability (MDI). In the last few years, some MDI approaches have been presented, and they have shown how MDE techniques are useful in bridging tools in order to integrate data. However, the number of case studies is still limited and more practical experiences of building MDI bridges should be published. In this article, we present an MDI bidirectional bridge that integrates the Objectiver and DB-Main tools. DB-Main database schemas are obtained from Objectiver object models, and they are kept consistent. Through this case study, we contrast the majority of techniques that can be used to implement a MDI solution. We mainly focus on the level of automation offered by each alternative. Some lessons learned are commented on.","PeriodicalId":360028,"journal":{"name":"2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"126 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":"116017164","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}