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

Online Model Editing, Simulation and Code Generation for Web and Mobile Applications 网络和移动应用程序的在线模型编辑，仿真和代码生成

2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2017-05-20 DOI: 10.1109/MiSE.2017.1

Carlo Bernaschina, S. Comai, P. Fraternali

引用次数: 13

Model for Reducing Risks to Private or Sensitive Data 减少私人或敏感数据风险的模型

2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2017-05-20 DOI: 10.1109/MiSE.2017.6

George Yee

引用次数: 4

iArch-U: Interface-Centric Integrated Uncertainty-Aware Development Environment iArch-U:以接口为中心的集成不确定性感知开发环境

2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2017-05-20 DOI: 10.1109/MiSE.2017.7

Keisuke Watanabe, Naoyasu Ubayashi, T. Fukamachi, Shunya Nakamura, H. Muraoka, Yasutaka Kamei

引用次数: 7

The Epsilon Pattern Language Epsilon模式语言

2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2017-05-20 DOI: 10.1109/MiSE.2017.8

D. Kolovos, R. Paige

引用次数: 11

Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems UML-RT和Papyrus-RT对自适应系统建模的评价

2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2017-05-20 DOI: 10.1109/MiSE.2017.4

N. Kahani, N. Hili, J. Cordy, J. Dingel

引用次数: 19

An Exploratory Study on the Need for Modeling Software Ecosystems: The Case of SOLAR SECO 软件生态系统建模需求的探索性研究——以SOLAR SECO为例

2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2017-05-20 DOI: 10.1109/MiSE.2017.3

E. Coutinho, Davi Viana, R. Santos

引用次数: 21

ImitGraphs: Towards Faster Usability Tests of Graphical Model Manipulation Techniques ImitGraphs:迈向图形模型操作技术的更快可用性测试

2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2017-05-20 DOI: 10.1109/MiSE.2017.2

Parisa Ghazi, M. Glinz

{"title":"ImitGraphs: Towards Faster Usability Tests of Graphical Model Manipulation Techniques","authors":"Parisa Ghazi, M. Glinz","doi":"10.1109/MiSE.2017.2","DOIUrl":"https://doi.org/10.1109/MiSE.2017.2","url":null,"abstract":"Due to the increasing use of both general-purpose and domain-specific graphical models (e.g., UML diagrams or graphic DSLs) in different stages of software development, software engineers who work with these models spend more time interacting with modeling tools. Thus, the usability of the interaction techniques employed by modeling tools affects the overall productivity of software development. Tool developers and user interface designers rely on the feedback from usability tests to optimize the user interface of tools that provide a graphical editor. Developing a working prototype to test new techniques is costly due to the complexity and variety of graphical models. This results in either tests at the late stages of development when changes are more expensive, or tests with prototypes that only support a subset of the intended graphical models. In order to simplify conducting usability tests, instead of using the intended graphical models in the tests, we propose to use simpler models that require similar interactions when being manipulated. For this purpose, we introduce graphs with additional properties, which we call ImitGraphs. ImitGraphs can be parametrized such that their interaction behavior is similar to that of an intended graphical model. Further, we introduce a method to instruct test participants to create ImitGraphs and manipulate them. ImitGraphs enable tool builders to develop prototypes for usability tests faster and consequently cheaper, thus resulting in more usability tests at early stages of tool development and on a wider range of intended models.","PeriodicalId":321225,"journal":{"name":"2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE)","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116670335","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

A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems 基于受限自然语言的实时系统用例建模方法

2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2017-05-20 DOI: 10.1109/MiSE.2017.9

Huihui Zhang, T. Yue, Shaukat Ali, Ji Wu, Chao Liu

{"title":"A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems","authors":"Huihui Zhang, T. Yue, Shaukat Ali, Ji Wu, Chao Liu","doi":"10.1109/MiSE.2017.9","DOIUrl":"https://doi.org/10.1109/MiSE.2017.9","url":null,"abstract":"Time-related properties are a critical type of extrafunctionalrequirements for designing real-time systems. Modeling and validating time-related properties at therequirements specification and analysis phases is important forthe successful development of real-time systems in terms of cost, quality and productivity. In the literature and practice, timinganalyses (e.g., Worst Case Execution Time) are often performedto ensure that the design of a real-time system fully conforms toits time-related constraints. However, such analyses are mostlyperformed at the design and implementation stages, but not atthe requirements level. This paper presents a restricted, naturallanguage based, use case modeling methodology (named asRUCM4RT) to specify functional requirements of real-timesystems as use case models, along with associated time-relatedconstraints. RUCM4RT was proposed based on the UMLprofile for Modeling and Analysis of Real-Time and EmbeddedSystems (MARTE). In addition, in this paper, we also propose ametamodel-based formalization mechanism named asUCMeta4RT to automatically formalize use case models. Wehave conducted two real-world case studies to evaluate oursolution and 40 use cases were modeled, among which 27 realtimeuse cases, 118 time-related constraints and 47 other extrafunctional(also commonly called non-functional) constraintswere specified. Results show that RUCM4RT was able to handleall the real-time related elements (e.g., time-related constraints)of the use case models.","PeriodicalId":321225,"journal":{"name":"2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123516543","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}

引用次数: 6

Specifying Evolving Requirements Models with TimedURN 使用timmedurn指定不断发展的需求模型

2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2017-05-20 DOI: 10.1109/MiSE.2017.10

Aprajita, Sahil Luthra, G. Mussbacher

引用次数: 13

Transforming Workflow Models into Automated End-to-End Acceptance Test Cases 将工作流模型转换为自动化的端到端验收测试用例

2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE) Pub Date : 2017-05-20 DOI: 10.1109/MiSE.2017.5

M. Boucher, G. Mussbacher

{"title":"Transforming Workflow Models into Automated End-to-End Acceptance Test Cases","authors":"M. Boucher, G. Mussbacher","doi":"10.1109/MiSE.2017.5","DOIUrl":"https://doi.org/10.1109/MiSE.2017.5","url":null,"abstract":"The User Requirements Notation is a standard published by the International Telecommunication Union that contains two complementary notations for goal and scenario/workflow modeling. Use Case Maps (UCM) – the workflow notation – focuses on the causal relationships of the steps in a workflow without requiring the specification of detailed message exchanges and data. A UCM model captures the interactions between actors and the system and typically integrates several use cases into a combined system view. This results in a high-level description of the system and its end-to-end usage scenarios. At the UCM level, scenario definitions create a regression test suite for the UCM model. This paper investigates the transformation of such workflow models into end-to-end acceptance test cases that can be automated with the JUnit testing framework. For that purpose, the UCM model is enriched with (i) input data types and expected results, (ii) a code-level description of system behavior as needed for the workflow, and (iii) testing logic including assertions. Based on this specification, the proposed approach uses boundary value analysis of the input data and Myer's test selection heuristics to determine a set of test cases for the described workflow. Coverage criteria may be specified at the UCM model level. Results from a case study of a small data management system indicate a reduction of the number of lines of code that need to be specified in the workflow model vs. the test implementation by an order of magnitude.","PeriodicalId":321225,"journal":{"name":"2017 IEEE/ACM 9th International Workshop on Modelling in Software Engineering (MiSE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128927422","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}

引用次数: 7