2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE)

20-20 Aug. 2018

Filter Results

Displaying Results 1 - 18 of 18
  • [Title page i]

    Publication Year: 2018, Page(s): 1
    Request permission for reuse | PDF file iconPDF (110 KB)
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2018, Page(s): 3
    Request permission for reuse | PDF file iconPDF (159 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2018, Page(s): 4
    Request permission for reuse | PDF file iconPDF (118 KB)
    Freely Available from IEEE
  • Table of Contents

    Publication Year: 2018, Page(s):5 - 6
    Request permission for reuse | PDF file iconPDF (46 KB)
    Freely Available from IEEE
  • MoDRE 2018 Preface

    Publication Year: 2018, Page(s): 7
    Request permission for reuse | PDF file iconPDF (31 KB)
    Freely Available from IEEE
  • Committees

    Publication Year: 2018, Page(s): 8
    Request permission for reuse | PDF file iconPDF (36 KB)
    Freely Available from IEEE
  • Modelling and Testing Requirements via Executable Abstract State Machines

    Publication Year: 2018, Page(s):1 - 10
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (254 KB) | HTML iconHTML

    We describe a method and tools for deriving specification models from requirements, and for validating that the final software product satisfies the requirements. ETF (Eiffel Testing Framework) is a tool for generating code from an abstract grammar specification of user interface actions derived from the requirements document. Mathmodels extends the classical Eiffel contracting notation with the u... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Comparison of the Declarative Modelling Languages B, Dash, and TLA+

    Publication Year: 2018, Page(s):11 - 20
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (176 KB) | HTML iconHTML

    The following topics are dealt with: formal specification; systems analysis; formal verification; software quality; software engineering; object-oriented programming; software architecture; grammars; learning (artificial intelligence); public domain software. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model Driven Software Reconfiguration by Exploiting Grammar Based Genetic Programming

    Publication Year: 2018, Page(s):21 - 25
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (534 KB) | HTML iconHTML

    Dynamic reconfiguration of software systems can be achieved by exploiting variability models of such systems, combined with mechanisms for selecting and instantiating the appropriate system configuration. We developed a model-driven approach for dynamic software reconfiguration, which uses a component profile-oriented feature model for representing different configurations of a software system, an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-Based Development with Distributed Cognition

    Publication Year: 2018, Page(s):26 - 35
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (484 KB) | HTML iconHTML

    Model Driven Engineering (MDE) allows a system to be defined using a series of models. It can refine higher level models into lower level models using model transformations, thereby automating the building of a concrete model and the software development process. This is particularly useful for Requirements Engineering since MDE can bridge the gap between early requirements models, late requiremen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Domain-Specific Software Language for Crisis Management Systems

    Publication Year: 2018, Page(s):36 - 45
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (967 KB) | HTML iconHTML

    Across the world, various crisis situations occur causing chaos and confusion as to how to deal with them. Hence, finding ways to transmit the necessary information regarding how to handle such incidents to various parties involved in such events is fundamental. As such, the field of crisis management focuses on determining the actions to undertake to quickly respond to the occurrence of a disaste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems

    Publication Year: 2018, Page(s):46 - 55
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (2677 KB) | HTML iconHTML

    Cyber-physical systems play a crucial role in various applications, ranging from critical infrastructure control like power grid to the technological revolution of Industry 4.0 aimed to integrate and automate the manufacturing value chain. The Systems Modeling Language (SysML) represents a significant and increasing segment of industrial support for the development of cyber-physical systems partly... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Prevalence of code Over Models: Turning it Around with Transparency

    Publication Year: 2018, Page(s):56 - 57
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (100 KB) | HTML iconHTML

    Over the last ten years, there has been an increasing shift in software production from plandriven processes towards lean software processes. These lean processes are based either on agile strategies or in open source environments. One instance of this trend is the growing use of GitHub as a software construction platform. More and more, software developers are relying on text as representation an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The FOL-Based Legal-GRL (FLG) Framework: Towards an Automated Goal Modeling Approach for Regulations

    Publication Year: 2018, Page(s):58 - 67
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1166 KB) | HTML iconHTML

    In recent years, several goal modeling approaches have been used and extended to capture the complexity of legal requirements and help modeling them in notations familiar to the requirements engineers and analysts. Legal-GRL, which is an extension of the Goal-oriented Requirements Language (GRL), is used for modeling and analyzing legal requirements. However, creating Legal-GRL models is still a m... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards Multi-context Goal Modeling and Analysis with the Help of Intents

    Publication Year: 2018, Page(s):68 - 72
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (302 KB) | HTML iconHTML

    This vision paper discusses the need for enriching goal modeling with intents and context frame to provide much richer contextual information over goals and realization strategies. Based on the extensive experience of business modeling at Ericsson and a review of current goal modeling approaches, we suggest possible research directions towards enriching goal modeling. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards Pattern-Driven Requirements Engineering: Development Patterns for Functional Requirements

    Publication Year: 2018, Page(s):73 - 78
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (163 KB) | HTML iconHTML

    A recent paper answered the question how to come from initial user wishes up to a running system in a straightforward, transparent, modular, traceable, feasible, and agile way. That paper sketched a complete development path for functional requirements, starting from user stories via use cases and their system sequence diagrams to a socalled information machine and then to a realization, an inform... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interacting Decision-Making Agents and their Impacts on Assurances: Taxonomy and Challenges

    Publication Year: 2018, Page(s):79 - 83
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (112 KB) | HTML iconHTML

    Decision-making requires the quantification and trade-off of multiple software qualities (aka non-functional requirements) and the analysis of benefits and costs between alternative functional goal realizations. Modern self-adaptive and self-organizing systems usually must achieve several functional goals. Each can be achieved through alternative realization strategies (i.e. choices) and supported... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Author Index

    Publication Year: 2018, Page(s): 85
    Request permission for reuse | PDF file iconPDF (27 KB)
    Freely Available from IEEE