Ausgabe 2/2023
Inhalt (19 Artikel)
In memory of Heinrich Hussmann, long-time friend and SoSyM editor
Manfred Broy, Albrecht Schmidt, Martin Wirsing
Trustworthy agent-based simulation: the case for domain-specific modelling languages
Steffen Zschaler, Fiona A. C. Polack
Composable partial multiparty session types for open systems
Claude Stolze, Marino Miculan, Pietro Di Gianantonio
Span(Graph): a canonical feedback algebra of open transition systems
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Paweł Sobociński
Linear parallel algorithms to compute strong and branching bisimilarity
Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
Guest editorial to the special section on PoEM’2021
Estefanía Serral, Janis Stirna, Jolita Ralyté, Janis Grabis
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory
Henderik A. Proper, Roel Wagter, Joost Bekel
A method for digital business ecosystem design: situational method engineering in an action research project
Chen Hsi Tsai, Jelena Zdravkovic, Fredrik Söder
Guidelines to derive an business model from a BPMN process model: an experiment on real-world scenarios
Isaac da Silva Torres, Marcelo Fantinato, Gabriela Musse Branco, Jaap Gordijn
Machine learning for enterprise modeling assistance: an investigation of the potential and proof of concept
Nikolay Shilov, Walaa Othman, Michael Fellmann, Kurt Sandkuhl
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view
Qin Ma, Monika Kaczmarek-Heß, Sybren de Kinderen
Automaton-based comparison of Declare process models
Nicolai Schützenmeier, Martin Käppel, Lars Ackermann, Stefan Jablonski, Sebastian Petter
Correction: Automaton-based comparison of Declare process models
Nicolai Schützenmeier, Martin Käppel, Lars Ackermann, Stefan Jablonski, Sebastian Petter
Securing critical infrastructures with a cybersecurity digital twin
Massimiliano Masi, Giovanni Paolo Sellitto, Helder Aranha, Tanja Pavleska
Context-aware modeling for knowledge-intensive medicinal product development processes
Zeynep Ozturk Yurt, Rik Eshuis, Anna Wilbik, Irene Vanderfeesten
Dash: declarative behavioural modelling in Alloy with control state hierarchy
Jose Serna, Nancy A. Day, Shahram Esmaeilsabzali
Semi-automatic service value network modeling approach based on external public data
Jingying Wang, Chao Ma, Huixin Xu, Zhiying Tu, Xiaofei Xu, Hanchuan Xu, Zhongjie Wang