2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)最新文献_第2页

Ontology-Based Pattern for System Engineering 基于本体的系统工程模式

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.4

Dominique Ernadote

{"title":"Ontology-Based Pattern for System Engineering","authors":"Dominique Ernadote","doi":"10.1109/MODELS.2017.4","DOIUrl":"https://doi.org/10.1109/MODELS.2017.4","url":null,"abstract":"System engineering is a multi-domain process that encompasses the design, realization, delivery, and management of complex systems or system of systems. The Model-Based System Engineering (MBSE) approach is commonly accepted by the system engineers community that depends up on the creation of centralized models to produce the expected deliverables. Standard metamodels such as UML, SysML, or NMM/NAF are typically used to describe the relevant concepts for these descriptive models. However, there is a need to also use domain specific languages (aka ontologies) to ease the communication between all the system engineering stakeholders. The author proposed an approach in previous works to reconcile the usage of complex but necessary predefined metamodels with dedicated ontologies. This solution speeds upthe creation of model-based documents. However, the implementation of such approach revealed that the modeling users are expecting a solution in-between the frozen metamodel andthe specific ontology approach; a set of predefined modeling features addressing recurrent engineering concerns completed by project specific concerns. Among the recurrent concerns there are the requirement elicitation, the functional analysis, the system interface definitions.... This paper shows how this balance can be addressed through ontology-based patterns developed as modular modeling features blocks. Since these blocks are applied in the context of model-based system engineering we also named them MBSE Enablers. The paper proposes a solution to a new issue raised by this pattern reuse expectations; a dynamic mapping is required between the building blocks and the existing models. The proposed method is based on the category theory which brings a theoretical foundation to ensure models are correctly managed. The global idea of the extended approach is to speed up again the modeling tool customizations letting the system engineers focusing as far as possible on the systems to be designed.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114381898","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

Raising Time Awareness in Model-Driven Engineering: Vision Paper 在模型驱动工程中提高时间意识:视觉论文

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.11

Amine Benelallam, Thomas Hartmann, Ludovic Mouline, François Fouquet, Johann Bourcier, Olivier Barais, Yves Le Traon

{"title":"Raising Time Awareness in Model-Driven Engineering: Vision Paper","authors":"Amine Benelallam, Thomas Hartmann, Ludovic Mouline, François Fouquet, Johann Bourcier, Olivier Barais, Yves Le Traon","doi":"10.1109/MODELS.2017.11","DOIUrl":"https://doi.org/10.1109/MODELS.2017.11","url":null,"abstract":"The conviction that big data analytics is a key for the success of modern businesses is growing deeper, and the mobilisation of companies into adopting it becomes increasingly important. Big data integration projects enable companies to capture their relevant data, to efficiently store it, turn it into domain knowledge, and finally monetize it. In this context, historical data, also called temporal data, is becoming increasingly available and delivers means to analyse the history of applications, discover temporal patterns, and predict future trends. Despite the fact that most data that today's applications are dealing with is inherently temporal, current approaches, methodologies, and environments for developing these applications don't provide sufficient support for handling time. We envision that Model-Driven Engineering (MDE) would be an appropriate ecosystem for a seamless and orthogonal integration of time into domain modelling and processing. In this paper, we investigate the state-of-the-art in MDE techniques and tools in order to identify the missing bricks for raising time-awareness in MDE and outline research directions in this emerging domain.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130499933","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

User Experience for Model-Driven Engineering: Challenges and Future Directions 模型驱动工程的用户体验:挑战和未来方向

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.5

S. Abrahão, Francis Bourdeleau, B. Cheng, Sahar Kokaly, R. Paige, H. Störrle, J. Whittle

{"title":"User Experience for Model-Driven Engineering: Challenges and Future Directions","authors":"S. Abrahão, Francis Bourdeleau, B. Cheng, Sahar Kokaly, R. Paige, H. Störrle, J. Whittle","doi":"10.1109/MODELS.2017.5","DOIUrl":"https://doi.org/10.1109/MODELS.2017.5","url":null,"abstract":"Since its infancy, Model Driven Engineering (MDE) research has primarily focused on technical issues. Although it is becoming increasingly common for MDE research papers to evaluate their theoretical and practical solutions, extensive usability studies are still uncommon. We observe a scarcity of User eXperience (UX)-related research in the MDE community, and posit that many existing tools and languages have room for improvement with respect to UX [26], [44], [37], where UX is a key focus area in the software development industry. We consider this gap a fundamental problem that needs to be addressed by the community if MDE is to gain widespread use. In this vision paper, we explore how and where UX fits into MDE by considering motivating use cases that revolve around different dimensions of integration: model integration, tool integration, and integration between process and tool support. Based on the literature and our collective experience in research and industrial collaborations, we propose future directions for addressing these challenges.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132412500","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}

引用次数: 68

An Empirical Study on the Maturity of the Eclipse Modeling Ecosystem Eclipse建模生态系统成熟度的实证研究

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.19

Javier Luis Cánovas Izquierdo, Valerio Cosentino, Jordi Cabot

{"title":"An Empirical Study on the Maturity of the Eclipse Modeling Ecosystem","authors":"Javier Luis Cánovas Izquierdo, Valerio Cosentino, Jordi Cabot","doi":"10.1109/MODELS.2017.19","DOIUrl":"https://doi.org/10.1109/MODELS.2017.19","url":null,"abstract":"Since the early days of Model-driven Engineering (MDE), our community has been discussing the reasons why MDE had not quickly became mainstream. It is now clear the answer is a mix of technical and social factors, but among the former, the lack of maturity of MDE tools is often mentioned. The goal of this paper is to explore the question of whether this lack of maturity is actually true. We do so by comparing the maturity of over a hundred modeling and non-modeling projects living together in the Eclipse ecosystem. In both cases, we use the word project to refer to a variety of tools, libraries and other artefacts to build and manipulate software components, either at the model or code level. Our maturity model is based on code-centric and community metrics that we evaluate on the repository data for both kinds of projects. Their incubation status is also considered in the assessment. Results show that there are indeed differences between modeling and non-modeling projects, though less than we expected when setting up the study. Moreover, while the incubation status clearly separates non-modeling projects, the same is not true for modeling projects which seem to remain much more stable across their lifespan. We believe our results help to have a better perspective on maturity of modeling support nowadays and provide ideas for further analysis towards their improvement.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114459185","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

Heuristic-Based Recommendation for Metamodel — OCL Coevolution 基于启发式的元模型推荐- OCL协同进化

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.25

Edouard R. Batot, Wael Kessentini, H. Sahraoui, Michalis Famelis

引用次数: 17

Removal of Redundant Elements within UML Activity Diagrams 移除UML活动图中的冗余元素

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.7

M. Beckmann, Vanessa N. Michalke, Aaron Schlutter, Andreas Vogelsang

{"title":"Removal of Redundant Elements within UML Activity Diagrams","authors":"M. Beckmann, Vanessa N. Michalke, Aaron Schlutter, Andreas Vogelsang","doi":"10.1109/MODELS.2017.7","DOIUrl":"https://doi.org/10.1109/MODELS.2017.7","url":null,"abstract":"As the complexity of systems continues to rise, the use of model-driven development approaches becomes more widely applied. Still, many created models are mainly used for documentation. As such, they are not designed to be used in following stages of development, but merely as a means of improved overview and communication. In an effort to use existing UML2 activity diagrams of an industry partner (Daimler AG) as a source for automatic generation of software artifacts, we discovered, that the diagrams often contain multiple instances of the same element. These redundant instances might improve the readability of a diagram. However, they complicate further approaches such as automated model analysis or traceability to other artifacts because mostly redundant instances must be handled as one distinctive element. In this paper, we present an approach to automatically remove redundant ExecutableNodes within activity diagrams as they are used by our industry partner. The removal is implemented by merging the redundant instances to a single element and adding additional elements to maintain the original behavior of the activity. We use reachability graphs to argue that our approach preserves the behavior of the activity. Additionally, we applied the approach to a real system described by 36 activity diagrams. As a result 25 redundant instances were removed from 15 affected diagrams.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117112871","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

Experiences with Teaching MPS in Industry: Towards Bringing Domain Specific Languages Closer to Practitioners 在行业中教授 MPS 的经验：让领域专用语言更贴近实践者

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.15

D. Ratiu, Vaclav Pech, Kolja Dummann

{"title":"Experiences with Teaching MPS in Industry: Towards Bringing Domain Specific Languages Closer to Practitioners","authors":"D. Ratiu, Vaclav Pech, Kolja Dummann","doi":"10.1109/MODELS.2017.15","DOIUrl":"https://doi.org/10.1109/MODELS.2017.15","url":null,"abstract":"Domain specific languages (DSLs) bring substantial increase in productivity and quality and thus look very appealing to software engineering practitioners. Because language workbenches can drastically reduce the cost of building and maintaining DSLs and associated tooling, they catch the attention of technical leads and project managers in the industry. Effective use of language engineering technologies for software development requires specific knowledge about building DSLs in general and about language workbenches in particular. Practicing software engineers need to enrich their skills with a new software development approach and the supporting tools. In this paper we present our experiences with training and coaching software practitioners in developing domain specific languages and the associated tooling with Jetbrains' Meta-Programming System. We distill the experience that we have gained over the last three years while running 16 trainings organized by three different organizations. The trainings were attended by over 50 developers, who work in different business domains and posses a wide variety of technical backgrounds, previous experiences and concrete needs. We present a set of challenges faced while teaching language engineering technologies in the industry. To address these challenges we developed a curriculum containing increasingly complex topics and an approach, which combines classical trainings with continuous coaching either remotely or on site. Based on our experience we distill a set of lessons learnt about the dissemination of language engineering technologies to practitioners. We identify several concrete needs which are key to broader adoption of language engineering in practice.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126863520","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}

引用次数: 5

Revisiting Visitors for Modular Extension of Executable DSMLs 可执行dsml的模块化扩展重访访问者

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.23

Manuel Leduc, Thomas Degueule, B. Combemale, T. Storm, Olivier Barais

{"title":"Revisiting Visitors for Modular Extension of Executable DSMLs","authors":"Manuel Leduc, Thomas Degueule, B. Combemale, T. Storm, Olivier Barais","doi":"10.1109/MODELS.2017.23","DOIUrl":"https://doi.org/10.1109/MODELS.2017.23","url":null,"abstract":"Executable Domain-Specific Modeling Languages (xDSMLs) are typically defined by metamodels that specify their abstract syntax, and model interpreters or compilers that define their execution semantics. To face the proliferation of xDSMLs in many domains, it is important to provide language engineering facilities for opportunistic reuse, extension, and customization of existing xDSMLs to ease the definition of new ones. Current approaches to language reuse either require to anticipate reuse, make use of advanced features that are not widely available in programming languages, or are not directly applicable to metamodel-based xDSMLs. In this paper, we propose a new language implementation pattern, named Revisitor, that enables independent extensibility of the syntax and semantics of metamodel-based xDSMLs with incremental compilation and without anticipation. We seamlessly implement our approach alongside the compilation chain of the Eclipse Modeling Framework, thereby demonstrating that it is directly and broadly applicable in various modeling environments. We show how it can be employed to incrementally extend both the syntax and semantics of the fUML language without requiring anticipation or re-compilation of existing code, and with acceptable performance penalty compared to classical handmade visitors.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117183442","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}

引用次数: 18

Component and Connector Views in Practice: An Experience Report 实践中的组件和连接器视图:一份经验报告

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.29

Vincent Bertram, S. Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern

{"title":"Component and Connector Views in Practice: An Experience Report","authors":"Vincent Bertram, S. Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern","doi":"10.1109/MODELS.2017.29","DOIUrl":"https://doi.org/10.1109/MODELS.2017.29","url":null,"abstract":"Component and Connector (C&C) view specifications, with corresponding verification and synthesis techniques, have been recently suggested as a means for formal yet intuitive structural specification of C&C models. In this paper we report on our recent experience in applying C&C views in industrial practice, where we aimed to answer questions such as: could C&C views be practically used in industry, what are challenges of systems engineers that the use of C&C views could address, and what are some of the technical obstacles in bringing C&C views to the hands of systems engineers. We describe our experience in detail and discuss a list of lessons we have learned, including, e.g., a missing abstraction concept in C&C models and C&C views that we have identified and added to the views language and tool, that engineers can create graphical C&C views quite easily, and how verification algorithms scale on real-size industry models. Furthermore, we report on the non-negligible technical effort needed to translate Simulink block diagrams to C&C models. We make all materials mentioned and used in our experience electronically available for inspection and further research.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128397596","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}

引用次数: 16

Language Design with Intent 有意图的语言设计

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2017-09-17 DOI: 10.1109/MODELS.2017.16

V. Zaytsev

{"title":"Language Design with Intent","authors":"V. Zaytsev","doi":"10.1109/MODELS.2017.16","DOIUrl":"https://doi.org/10.1109/MODELS.2017.16","url":null,"abstract":"Software languages have always been an essential component of model-driven engineering. Their importance and popularity has been on the rise thanks to language workbenches, language-oriented development and other methodologies that enable us to quickly and easily create new languages specific for each domain. Unfortunately, language design is largely a form of art and has resisted most attempts to turn it into a form of science or engineering. In this paper we borrow concepts, techniques and principles from the domain of persuasive technology, or wider yet, design with intent – which was developed as a way to influence users behaviour for social and environmental benefit. Similarly, we claim, software language designers can make conscious choices in order to influence the behaviour of language users. The paper describes a process of extracting design components from 24 books of eight categories (dragon books, parsing techniques, compiler construction, compiler design, language implementation, language documentation, programming languages, software languages), as well as from the original set of Design with Intent cards and papers on DSL design. The resulting language design card toolkit can be used by DSL designers to cover important design decisions and make them with more confidence.","PeriodicalId":162884,"journal":{"name":"2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131997483","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