Skip to main content
SpringerLink
Log in

Model-Driven Engineering and Software Development

8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Slimane Hammoudi

    1. Siège du Groupe ESEO, Angers Cedex 02, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luís Ferreira Pires

    1. University of Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Bran Selić

    1. Malina Software Corp., Nepean, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 1361)

Included in the following conference series:

Conference proceedings info: MODELSWARD 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Methodologies, Processes and Platforms

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems

      • David Oudart, Jérôme Cantenot, Frédéric Boulanger, Sophie Chabridon
      Pages 3-25

    3. Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications

      • Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
      Pages 26-48

    4. Systematic Synthesis of Energy-Aware Timing Models in Automotive Software Systems

      • Padma Iyenghar
      Pages 49-73

    5. Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices

      • Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin
      Pages 74-96

  3. Applications and Software Development

    1. Front Matter

      Pages 97-97
      Download chapter PDF

    2. ProvAnalyser: A Framework for Scientific Workflows Provenance

      • Anila Sahar Butt, Peter Fitch
      Pages 99-120

    3. A Multi-Model Reviewing Approach for Production Systems Engineering Models

      • Felix Rinker, Laura Waltersdorfer, Manuel Schüller, Stefan Biffl, Dietmar Winkler
      Pages 121-146

    4. Augmenting Deep Neural Networks with Scenario-Based Guard Rules

      • Guy Katz
      Pages 147-172

  4. Modeling Languages, Tools and Architectures

    1. Front Matter

      Pages 173-173
      Download chapter PDF

    2. Resilient Business Process Modeling and Execution Using BPMN and Microservices

      • Frank Nordemann, Ralf Tönjes, Elke Pulvermüller, Heiko Tapken
      Pages 175-199

    3. Model Transformation from CBM to EPL Rules to Detect Failure Symptoms

      • Alexandre Sarazin, Sebastien Truptil, Aurélie Montarnal, Jérémy Bascans, Xavier Lorca
      Pages 200-224

    4. Verification and Simulation of Time-Domain Properties for Models of Behaviour

      • Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth
      Pages 225-249

    5. Domain-Driven Architecture Modeling and Rapid Prototyping with Context Mapper

      • Stefan Kapferer, Olaf Zimmermann
      Pages 250-272

    6. Abstract Test Execution for Early Testing Activities in Model-Driven Scenarios

      • Reinhard Pröll, Noël Hagemann, Bernhard Bauer
      Pages 273-297

    7. A Methodological Assistant for UML and SysML Use Case Diagrams

      • Erika Rizzo Aquino, Pierre de Saqui-Sannes, Rob A. Vingerhoeds
      Pages 298-322

    8. Model-Based Static and Runtime Verification for Ethereum Smart Contracts

      • Shaun Azzopardi, Christian Colombo, Gordon Pace
      Pages 323-348

    9. A Novel Family of Queuing Network Models for Self-adaptive Systems

      • Davide Arcelli
      Pages 349-376

  5. Back Matter

    Pages 377-377
    Download chapter PDF
Back to top

Other volumes

  1. Model-Driven Engineering and Software Development

Keywords

About this book

This book constitutes thoroughly revised and selected papers from the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, held in Valletta, Malta, in February 2020. 

The 15 revised and extended papers presented in this volume were carefully reviewed and selected from 66 submissions. They present recent research results and development activities in using models and model driven engineering techniques for software development. The papers are organized in topical sections on​ methodologies, processes and platforms; applications and software development; modeling languages, tools and architectures.

Editors and Affiliations

  • Siège du Groupe ESEO, Angers Cedex 02, France

    Slimane Hammoudi

  • University of Twente, Enschede, The Netherlands

    Luís Ferreira Pires

  • Malina Software Corp., Nepean, Canada

    Bran Selić

About the editors


Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation