SoSyM
banner
sosym.org
SoSyM
@sosym.org
Journal of Software and Systems Modeling
Pinned
SoSyM @sosym.org · Sep 29
🚀 New Rolling Theme Section: "Engineering Digital Twins"

#SoSyM is launching a rolling theme section on Engineering Digital Twins, directly linked to the International Conference on Engineering Digital Twins (#EDTconf).

➡️ Details in the CfP: www.sosym.org/theme_sectio...
#OnlineFirst
Evaluating the requirements engineering process in model transformation development: a state of practice analysis
Sobhan Y. Tehrani, Kevin Lano, Mohammadreza Sharbaf, Shekoufeh Kolahdouz Rahimi, Steffen Zschaler & Shirin Hussein
doi.org/10.1007/s102...
Evaluating the requirements engineering process in model transformation development: a state of practice analysis - Software and Systems Modeling
Model Transformations (MT) are a central element of Model-Driven Engineering (MDE) methods. As MT adoption increases in both industry and academia, there is a growing need for systematic software engi...
doi.org
January 21, 2026 at 6:28 AM
Congratulations to our #SoSyM #BestReviewers 2025 and #Thanks to all reviewers, who contributed in the reviewing process of SoSyM within the last year!

All awardees of the last years: www.sosym.org/reviewer_awa...
All reviewers of SoSyM: www.sosym.org/reviewers/
January 19, 2026 at 3:07 PM
Interested in submitting to our #SoSyM #ThemeSection on "Data-intensive software product lines? The we have great news for you:
The submission deadline is extended to 15-Feb-2026! #DeadlineExtension
Find out more about the cal here: www.sosym.org/theme_sectio...
an elderly woman is dancing in front of a brick building .
ALT: an elderly woman is dancing in front of a brick building .
media.tenor.com
January 13, 2026 at 1:43 PM
#OnlineFirst
Interactive creation, visualization, and exploration of process model collections
María Salas-Urbano, Carlos Capitán-Agudo, Cristina Cabanillas & Manuel Resinas
doi.org/10.1007/s102...
Client Challenge
doi.org
January 13, 2026 at 6:13 AM
[WJG26] A core ontology of organizational policies
Hans Weigand, Paul Johannesson & Giancarlo Guizzardi
doi.org/10.1007/s102...
Journal on Software and Systems Modeling (SoSyM), Springer. 2026.
Client Challenge
doi.org
January 12, 2026 at 6:14 AM
#OnlineFirst
MDE for crop representations in smart farming digital twins: a reinforcement learning perspective
Pascal Archambault, Houari Sahraoui & Eugene Syriani
doi.org/10.1007/s102...
MDE for crop representations in smart farming digital twins: a reinforcement learning perspective - Software and Systems Modeling
Digital twins of complex systems often involve the collaboration of multiple stakeholders. These domain experts do not speak the same domain languages, and this problem worsens when no domain-specific...
doi.org
January 8, 2026 at 12:37 PM
#OnlineFirst
Reflections from a long career in software
Bran Selic
doi.org/10.1007/s102...
Reflections from a long career in software - Software and Systems Modeling
Software and Systems Modeling -
doi.org
January 7, 2026 at 7:40 AM
#OnlineFirst
The Role of Standardization for Simulation in Model-Based Systems Engineering: A Survey Study Supplemented with Industrial Experiences
Erik Rosenlund, Johan Cederbladh, Per Strandberg & Daniel Krems
doi.org/10.1007/s102...
The Role of Standardization for Simulation in Model-Based Systems Engineering: A Survey Study Supplemented with Industrial Experiences - Software and Systems Modeling
Model-Based Systems Engineering (MBSE) increasingly integrates Modeling and Simulation (M&S) to enhance decision-making. This study aims to understand how domain-specific concerns shape simulation pra...
doi.org
December 15, 2025 at 5:49 AM
#OnlineFirst
What do we need from modeling tools for teaching? A survey of the community of higher-education modeling teachers
Steffen Zschaler, Timothy Lethbridge, Antonio Bucchiarone, Federico Bonetti & Reyhaneh Kalantari
doi.org/10.1007/s102...
What do we need from modeling tools for teaching? A survey of the community of higher-education modeling teachers - Software and Systems Modeling
We report on an international survey of 59 higher-education teachers of software modeling and model-driven engineering regarding the modeling languages and tools they use, the pedagogic approaches the...
doi.org
December 10, 2025 at 5:32 AM
#OnlineFirst
SymboleoAC: an access control model for smart legal contracts
Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, Marco Roveri & John Mylopoulos
doi.org/10.1007/s102...
SymboleoAC: an access control model for smart legal contracts - Software and Systems Modeling
Legal contracts have served as the bedrock of business transactions for millennia. Many are nowadays automated through the use of smart (legal) contracts, often supported by blockchain and IoT technol...
doi.org
December 9, 2025 at 5:39 AM
#OnlineFirst
Making a case for enterprise modelling as a research method
Sergio España, Gudrun Thorsteinsdottir, Vijanti Ramautar & Óscar Pastor
doi.org/10.1007/s102...
Making a case for enterprise modelling as a research method - Software and Systems Modeling
Enterprise modelling (EM) refers to the systematic elicitation and documentation of organisational phenomena from several interrelated perspectives. Widely applied in information and computer sciences...
doi.org
December 3, 2025 at 6:08 AM
#OnlineFirst
Modeling structured programming with Strudel: a simulation runtime for programming education tools
André L. Santos & Afonso B. Caniço
doi.org/10.1007/s102...
Modeling structured programming with Strudel: a simulation runtime for programming education tools - Software and Systems Modeling
Structured programming embraces fundamental concepts represented in most general-purpose languages: sequence, selection, repetition, assignment, procedures, and recursion. We present Strudel, an execu...
doi.org
December 1, 2025 at 7:09 AM
#OnlineFirst
LINDDUN MAESTRO: an architecture framework for privacy threat modeling
Dimitri Van Landuyt, Laurens Sion & Wouter Joosen
doi.org/10.1007/s102...
linddun maestro: an architecture framework for privacy threat modeling - Software and Systems Modeling
A privacy threat represents any possible limitation of the system design that can lead to harming the (explicit or implicit) privacy needs of the system stakeholders. Privacy threat modeling involves ...
doi.org
November 28, 2025 at 6:03 AM
#OnlineFirst
EvolveDB: evolving relational database schemas in a model-driven way
Torben Eckwert, Michael Guckert & Gabriele Taentzer
doi.org/10.1007/s102...
EvolveDB: evolving relational database schemas in a model-driven way - Software and Systems Modeling
Requirements for software applications continuously evolve throughout the entire product lifecycle. As a result, the constant adaptation of software often has an impact on its domain model and require...
doi.org
November 27, 2025 at 5:23 AM
November 17, 2025 at 6:22 AM
#OnlineFirst
A method for digital business ecosystem design: evaluation of two cases in the maritime dataspaces
Chen Hsi Tsai, Ben Hellmanzik, Jelena Zdravkovic, Janis Stirna & Kurt Sandkuhl
doi.org/10.1007/s102...
A method for digital business ecosystem design: evaluation of two cases in the maritime dataspaces - Software and Systems Modeling
In contrast to traditional business models, digital business ecosystems (DBEs) have several distinctive features—heterogeneity of involved actors, symbiosis in the exchange of resources, co-evolution ...
doi.org
November 17, 2025 at 5:38 AM
#OnlineFirst
Reviewing uses of regulatory compliance monitoring
Finn Klessascheck & Luise Pufahl
doi.org/10.1007/s102...
Reviewing uses of regulatory compliance monitoring - Software and Systems Modeling
Organizations need to manage numerous business processes for delivering their services and products to customers. One important consideration thereby lies in the adherence to regulations such as laws,...
doi.org
November 12, 2025 at 5:57 AM
#OnlineFirst
Flexible and sound: Synthesis Miner
Tsung-Hao Huang, Enzo Schneider, Marco Pegoraro & Wil M. P. van der Aalst
doi.org/10.1007/s102...
Flexible and sound: Synthesis Miner - Software and Systems Modeling
Process discovery aims to generate models that capture behaviors recorded in event logs from information systems. While many approaches exist, few ensure key properties such as soundness and free-choi...
doi.org
November 10, 2025 at 6:24 AM
Since 2015, SoSyM has established a collaboration with MODELS: Selected SoSyM authors get the opportunity to present their work at the MODELS conference.
In 2025, the following articles were presented: 2025.models-conf.com/track/models...
Find out more about them here: www.sosym.org/journal_first/
November 5, 2025 at 5:22 PM
#OnlineFirst
Model-based stochastic analysis with probabilistic graph query evaluation
Máté Földiák, Kristóf Marussy & Dániel Varró
doi.org/10.1007/s102...
Model-based stochastic analysis with probabilistic graph query evaluation - Software and Systems Modeling
Uncertainty and probability often play a key role in the rigorous evaluation of extra-functional requirements, such as reliability, availability, and performability, on architecture models. For that p...
doi.org
November 4, 2025 at 6:17 AM
A new #SoSyM #ThemeSection is on the way: “Data-intensive software product lines” edited by Miguel Rodríguez Luaces, Sandra Greiner and José Galindo!

📅 Deadlines:
10-Dec-2025: intent to submit
15-Jan-2026: submission

More details in the CfP: www.sosym.org/theme_sectio...
November 3, 2025 at 8:48 AM
The Ten-Year Most Influential Regular Paper Award 🏆of #SoSyM goes to Lukman Ab. Rahim & Jon Whittle for their work "A survey of approaches for verifying model transformations". Congratulations!
November 1, 2025 at 5:06 PM
Congratulations to Angelika Kusel, Johannes Schönböck. Manuel Wimmer, Gerti Kappel, Werner Retschitzegger and Wieland Schwinger for receiving the Ten-Year Most Influential Theme Section Paper Award 🏆of #SoSyM for their paper "Reuse in model-to-model transformation languages: are we there yet?".
November 1, 2025 at 3:07 PM
#OnlineFirst
ATM: a Logic for Quantitative Security Properties on Attack Trees
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, E. Moritz Hahn & Mariëlle Stoelinga
doi.org/10.1007/s102...
ATM: a Logic for Quantitative Security Properties on Attack Trees - Software and Systems Modeling
Critical infrastructure systems — for which high reliability and availability are paramount — must operate securely. Attack trees (ATs) are hierarchical diagrams that offer a flexible modelling langua...
doi.org
November 1, 2025 at 9:12 AM
#OnlineFirst
A devops framework for the systematic engineering and evolution of digital twins for built assets
Sara Aissat, Jonathan Beaulieu, Érik Poirier, Ali Motamedi, Julien Gascon-Samson & Francis Bordeleau
doi.org/10.1007/s102...
A devops framework for the systematic engineering and evolution of digital twins for built assets - Software and Systems Modeling
Digital twins (DT) constitute complex software systems that need to be continuously modified/updated to meet evolving user requirements and priorities, and support continual improvement. Because their...
doi.org
October 30, 2025 at 6:06 AM