STAF-WS 2021
STAF 2021 Workshop Proceedings

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