2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE)最新文献

Enabling Model-Driven Software Development Tools for the Internet of Things 为物联网启用模型驱动软件开发工具

2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2019-05-26 DOI: 10.1109/MiSE.2019.00022

Karim Jahed, J. Dingel

引用次数: 10

On the Difficulties of Raising the Level of Abstraction and Facilitating Reuse in Software Modelling: The Case for Signature Extension 论软件建模中提高抽象层次和促进重用的困难——以签名扩展为例

2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2019-05-26 DOI: 10.1109/MiSE.2019.00018

Matthias Schöttle, J. Kienzle

引用次数: 0

Belief Uncertainty in Software Models 软件模型中的信念不确定性

2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2019-05-26 DOI: 10.1109/MiSE.2019.00011

L. Burgueño, R. Clarisó, Jordi Cabot, S. Gérard, Antonio Vallecillo

引用次数: 6

Modeling and Reducing the Attack Surface in Software Systems 软件系统中的攻击面建模与减少

2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2019-05-26 DOI: 10.1109/MiSE.2019.00016

George Yee

引用次数: 1

Generic Navigation of Model-Based Development Artefacts 基于模型的开发构件的通用导航

2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2019-05-26 DOI: 10.1109/MiSE.2019.00013

Hyacinth Ali, G. Mussbacher, J. Kienzle

引用次数: 3

Feature Model for Extensions in Modeling Languages 建模语言中扩展的特征模型

2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2019-05-26 DOI: 10.1109/MiSE.2019.00017

Daniel Devine, Omar Alam

{"title":"Feature Model for Extensions in Modeling Languages","authors":"Daniel Devine, Omar Alam","doi":"10.1109/MiSE.2019.00017","DOIUrl":"https://doi.org/10.1109/MiSE.2019.00017","url":null,"abstract":"Extension is a common term used in model-driven engineering. However, it is expressed in different ways by different modeling languages. A class diagram modeler uses extension to mean inheriting from a class. An aspect modeler extends a base with an aspect. Despite the different ways the term is being expressed, it generally refers to adding/changing structure/behaviour of a model in some way. We observe that model extensions vary in several ways. For example, in some cases, such as in use case diagram extensions, the extended model (base model) is information complete, meaning that it requires no further information in order for it to be useful. In other languages, the base model is not useful on its own and must be completed with an extension. Extensions also vary in terms of granularity, e.g., inheritance between two classes is an extension at a low level of granularity (between two elements, i.e., classes, of the same class diagram) compared to extension between two models. This paper presents a feature model for extensions in modeling languages. We discuss how extensions vary in terms of granularity, the completeness of the base model, whether or not the extension model requires to specify matching information, and the changes the composed model does to the base. Using this feature model, we explore extensions in several popular modeling languages and report our findings.","PeriodicalId":340157,"journal":{"name":"2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125080741","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

Towards Web Collaborative Modelling for the User Requirements Notation Using Eclipse Che and Theia IDE 用Eclipse和Theia IDE实现用户需求符号的Web协同建模

2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2019-05-26 DOI: 10.1109/MiSE.2019.00010

Rijul Saini, S. Bali, G. Mussbacher

{"title":"Towards Web Collaborative Modelling for the User Requirements Notation Using Eclipse Che and Theia IDE","authors":"Rijul Saini, S. Bali, G. Mussbacher","doi":"10.1109/MiSE.2019.00010","DOIUrl":"https://doi.org/10.1109/MiSE.2019.00010","url":null,"abstract":"Collaborative modelling has become a necessity when developing a complex system or in a team of modellers with a diverse set of expertise. Textual notations have a long history in software engineering because of their fast editing style, simple usage, and scalability. Therefore, we propose a novel collaborative modelling framework for the graphical User Requirements Notation (URN) which we call tColab. It uses the text-based TGRL (Textual Goal-oriented Requirement Language) to build URN goal models and then automatically generates corresponding graphical models. This framework is based on the architecture of Eclipse Che and Theia. On one side, Theia provides support for LSP (Language Server Protocol) so that textual models can be built and their corresponding graphical models can be generated in a browser IDE (Integrated Development Environment). On the other hand, Eclipse Che adds support for collaboration where multiple modellers can contribute to building the textual models in an online collaborative manner. This initiative aims to replace the jUCMNAV tool, which is the most comprehensive URN modelling tool to date but only supports a single user.","PeriodicalId":340157,"journal":{"name":"2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127491061","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

Model-Based Analysis of Serverless Applications 基于模型的无服务器应用分析

2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2019-05-26 DOI: 10.1109/MiSE.2019.00020

Stefan Winzinger, G. Wirtz

{"title":"Model-Based Analysis of Serverless Applications","authors":"Stefan Winzinger, G. Wirtz","doi":"10.1109/MiSE.2019.00020","DOIUrl":"https://doi.org/10.1109/MiSE.2019.00020","url":null,"abstract":"Serverless computing is a relatively new execution model where the cloud platform provider manages the allocation of resources for containerized functions dynamically. This evolving paradigm is called Function as a Service (FaaS). The statelessness of these functions enables the application to be scaled up elastically in the case of peak loads. They can be tested easily in isolation, but the behavior arising by integrating them to an application is both hard to predict and test. The parallel execution of the functions and the shift of its state to data storages can cause several workflows accessing the same data. These workflows are hard to detect, particularly for complex applications. Therefore, we suggest an approach for modelling an existing serverless application based on a specialized graph holding all relevant features. Our serverless-specific model can be applied during the whole life cycle of a complex application and offers a good basis for this specific class of applications. It helps to optimize an existing system by identifying hot spots, supports the generation of test cases and can be used to monitor an existing system. Furthermore, we show how the generation of the model can be automated by realizing a tool supporting Amazon's AWS Lambda.","PeriodicalId":340157,"journal":{"name":"2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE)","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115150814","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}

引用次数: 17

Evaluating the Ability of Developers to Use Metamodels in Model-Oriented Development 评估开发人员在面向模型的开发中使用元模型的能力

2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2019-05-26 DOI: 10.1109/MiSE.2019.00012

Thiago Gottardi, R. Braga

{"title":"Evaluating the Ability of Developers to Use Metamodels in Model-Oriented Development","authors":"Thiago Gottardi, R. Braga","doi":"10.1109/MiSE.2019.00012","DOIUrl":"https://doi.org/10.1109/MiSE.2019.00012","url":null,"abstract":"The applicability of models has evolved throughout the history of software engineering, from documentation, development and beyond. In this context, we study how to employ models for a common language shared by humans and computers. After studying a model-oriented development method for models at run-time systems, we have identified that this method would heavily rely on metamodels. Therefore, it is important to evaluate if developers are able to use metamodels in software development. In this paper we present a controlled experiment to evaluate the ability and efforts of professional and novice developers to effectively use metamodels. Participants of the experiment had access to newly created metamodeling definition tools, as well as standard Java code and UML diagrams in order to complete their tasks. Results indicate that the definition language was easy to be learned by experienced Java developers, who were able to comprehend metamodeling development artifacts without struggling with modeling concepts. We conclude developers would be able to adapt to new modeling concepts and tools as required by different systems that handle models at run-time.","PeriodicalId":340157,"journal":{"name":"2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125951734","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

A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models 大型复杂Simulink模型的可扩展蒙特卡罗测试用例生成工具

2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2019-05-26 DOI: 10.1109/MiSE.2019.00014

Takashi Tomita, Daisuke Ishii, T. Murakami, Shigeki Takeuchi, Toshiaki Aoki

引用次数: 7