| Vol-2825 urn:nbn:de:0074-2825-4 Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# CIAO!DC 2020
CIAO! Doctoral Consortium, EEWC Forum 2020

### Proceedings of the 20th CIAO! Doctoral Consortium, and Enterprise Engineering Working Conference Forum 2020
co-located with 10th Enterprise Engineering Working Conference ( EEWC 2020)

### Bozen / Bolzano, Italy, September 28th, October 19th and November 9th-10th, 2020.

Edited by

### Sérgio Guerreiro *
Pedro Sousa *
David Aveiro **
Giancarlo Guizzardi ***
Robert Pergl ****
Henderik A. Proper *****

* INESC-ID and Instituto Superior Técnico / University of Lisbon, Portugal
** University of Madeira and Madeira Interactive Technologies Institute, Portugal
*** Free University of Bozen-Bolzano, Italy
**** Czech Technical University in Prague, Czech Republic
***** Luxembourg Institute of Science and Technology, Luxembourg

## Table of Contents

- Preface

### EEWC Forum 2020

- Towards Model-Driven Smart Contract Systems - Code Generation and Improving Expressivity of Smart Contract Modeling
  Marek Skotnica, Jan Klicpera, Robert Pergl
- Ontological Analysis of the Evolvability of the Network Firewall Rule Base
  Geert Haerens
- Generating REST APIs for Workflow Engines with Process and Data Models
  Dennis Pietruck, Ulrike Steffens
- Integrating Benefits Dependency Network in ArchiMate
  Fernando Antunes, Sérgio Guerreiro
- Towards Generating Software Systems From Legacy Code: Gathering Associations From Smalltalk Software
  Jan Blizničenko, Robert Pergl
- The Evolution of DEMO
  Jan Dietz, Hans Mulder
- Decentralized Enforcement of DEMO Action Rules Using Blockchain Smart Contracts
  Marta Aparício, Sérgio Guerreiro, Pedro Sousa

### 20th CIAO! DC

- Software User Acceptance Testing based on Enterprise Ontology principles
  René Ceelen
- Applying DEMO To Electronic Prescribing and Regulatory Compliance Within The English NHS: A Case Study
  Desmond Jolomi Omadoye

2021-03-13: submitted by Sérgio Guerreiro, metadata incl. bibliographic data published under Creative Commons CC0
2021-03-18: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|