| Vol-2999 urn:nbn:de:0074-2999-0 Copyright © 2021 for the individual papers by the papers' authors. Copyright © 2021 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).

# STAF-WS 2021
STAF 2021 Workshop Proceedings

### STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model–Driven Engineering, International workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling
co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021)

### Bergen, Norway, June 21-25, 2021.

Edited by

### Ludovico Iovino*
Lars Michael Kristensen**

* Gran Sasso Science Institute, L'Aquila, Italy
** Western Norway University of Applied Sciences, Faculty of Engineering and Science, Bergen, Norway

## Table of Contents

- Preface

### International Workshop on Bidirectional Transformations

- Preface
- C-Lenses Explained: Bx Foundations for the Rest of Us 1-17
  Anthony Anjorin, Hsiang-Shang Ko, Erhan Leblebici
- Delta Lenses as Coalgebras for a Comonad 18-27
  Bryce Clarke
- Toward Recursive View Update Strategies on Relations 28-33
  Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
- Classifying and Avoiding Compatibility Issues in Networks of Bidirectional Transformations 34-53
  Timur Sağlam, Heiko Klare
- eMoflon::Neo - Consistency and Model Management with Graph Databases 54-64
  Nils Weidmann, Anthony Anjorin

### Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model–Driven Engineering

- Preface
- Find-Replace as a Service of Graph-Based DSL Tool Development Framework 65-76
  Elina Kalnina, Dmitrijs Kosarevskis, Agris Sostaks
- Automated Annotations in Domain-Specific Models: Analysis of 23 Cases 77-87
  Steven Kelly, Juha-Pekka Tolvanen
- An Operation-based Versioning Approach for Synchronous and Asynchronous Collaboration in Graphical Modeling Tools 88-89
  Jakob Pietron, Fabian Füg, Matthias Tichy

### International workshop on MDE for Smart IoT Systems

- Towards a Modeling and Analysis Environment for Industrial IoT systems 90-104
  Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio
- Morpheus: A Degradation Framework for Resilient IoT Systems 105-114
  Alexander Heß, Franz J. Hauck, David Mödinger, Jakob Pietron, Matthias Tichy, Jörg Domaschka

### International Workshop on (Meta)Modeling for Healthcare Systems

- A Prototyping Process for Medical Devices and Systems 115-124
  Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri

### International Workshop on OCL and Textual Modeling

- Preface
- A Validity Analysis to Reify 2-valued Boolean Constraints 125-127
  Edward D. Willink
- Mutation Operators for Object Constraint Language Specification 128-134
  Kunxiang Jin, Kevin Lano
- Implementing OCL in Swift 135-141
  Kevin Lano
- Refactoring Collections in OCL 142-148
  Martin Gogolla, Loli Burgueño, Antonio Vallecillo
- A DSL for Encoding Models for Graph-Learning Processes 149-161
  Zahra Rajaei, Shekoufeh Kolahdouz-Rahimi, Massimo Tisi, Frédéric Jouault
- Adding Regular Expression Operators to OCL 162-168
  Kevin Lano
- Testing Code Generators: a Case Study on Applying USE, EFinder and Tracts in Practice 169-177
  Zijun Chen, Wilbert Alberts, Ivan Kurtev
- A SWOT Analysis of the Object Constraint Language 178-184
  Jordi Cabot, Daniel Calegari, Robert Clarisó, Martin Gogolla, Antonio Vallecillo, Edward D. Willink

2021-10-10: submitted by Lars Michael Kristensen, metadata incl. bibliographic data published under Creative Commons CC0
2021-11-06: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|