Software and Systems Modeling

Article	Citations
The technological landscape of collaborative model-driven software engineering	170
An ontology-based approach to engineering ethicality requirements	48
The uncertainty interaction problem in self-adaptive systems	38
Automated testing of metamodels and code co-evolution	34
Guest editorial for the special section on the 26th international conference on model-driven engineering languages and systems (MODELS 2023)	33
Modeling more software performance antipatterns in cyber-physical systems	33
Model-based code generation works: But how far does it go?—on the role of the generator	32
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time	32
Correct-by-construction requirement decomposition	30
Fabricatable axis: an approach for modelling customized fabrication machines	29
Reflection on the differences between modeling and programming	28
The complexities of the satisfiability checking problems of feature diagram sublanguages	27
Antonio Vallecillo	24
Reasoning over time into models with DataTime	23
A reference architecture for the development of GLSP-based web modeling tools	22
Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering	22
Incremental model transformations with triple graph grammars for multi-version models and multi-version pattern matching	21
Enhancing explainability in process variant analysis: a framework for detecting and interpreting control-flow changes	20
A model template for reachability-based containment checking of imprecise observations in timed automata	19
Theme section on model-driven requirements engineering	18
Adopting the concept of a function as an underlying semantic paradigm for modeling languages	18
Deep specification and proof preservation for the CoqTL transformation language	18
Function-driven cyber-physical security in smart manufacturing	17
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness	17
Special Section of BPMDS’2024	16

On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML	15
Reflections from a long career in software	15
An architecture for coupled digital twins with semantic lifting	15
Editorial to theme section on open environmental software systems modeling	14
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory	14
What makes a good modeling research contribution?	14
MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements	14
Multi-Robot system environmental constraint analysis by petri nets	14
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes	13
Can explainable artificial intelligence support software modelers in model comprehension?	13
Gamifying model-based engineering: the PapyGame experience	13
Guest editorial for EMMSAD’2023 special section	13
Repeat, reorder, rephrase: data augmentation for process information extraction	13
Special section of BPMDS’2023	12
SimIMA: a virtual Simulink intelligent modeling assistant	12
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis	12
The cognitive science of modeling tools	11
A core ontology of organizational policies	11
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations	11
From process mining to augmented process execution	11
Model checking of spacecraft operational designs: a scalability analysis	11
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties	11
Report on the state and changes of the SoSyM journal (2025 summary)	11
A language-parametric test amplification framework for executable domain-specific languages	11
AI simulation by digital twins: systematic survey, reference framework, and mapping to a standardized architecture	10
Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems	10
Application and evaluation of interlinked approaches for modeling changing capabilities	10
Modeling should be an independent scientific discipline	10
iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling	10
Reviewing uses of regulatory compliance monitoring	10
Context-driven process discovery: enhancing process flow interpretability with contextualized activity hierarchies	10
Exchanging information in cooperative software validation	10
IAT/ML: a metamodel and modelling approach for discourse analysis	9
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games	9
Conceptual modelling of temporality and subjectivity as cross-cutting concerns	9
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development	9
Enhancing automated network function onboarding through language extension and code refactoring	9
What makes life for process mining analysts difficult? A reflection of challenges	9
Accelerating similarity-based model matching using dual hashing	9
Using reactive links to propagate changes across engineering models	8
A manifesto for applicable formal methods	8
Teaching conceptual modelling in the age of LLMs: shifting from model creation to model evaluation skills	8
Completion of SysML state machines from Given–When–Then requirements	8
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty	7
Automatic security-flaw detection - towards a fair evaluation and comparison	7
Automatic Model Transformation and Formal Verification for Function Block of IEC 61499	7
PARMOREL: a framework for customizable model repair	7
Exploring modeling methods for information systems analysis and design: a data-driven retrospective	7
Automated construction of predicate abstractions for smart contract validation	7
Flexmi: a generic and modular textual syntax for domain-specific modelling	7

Special Section of BPMDS 2022—reflections on interactions and responsibility in a digitized business processes ecosystem	6
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	6
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration	6
Synthesizing verified components for cyber assured systems engineering	6
Counterexample classification	6
Span(Graph): a canonical feedback algebra of open transition systems	6
Measuring and achieving test coverage of attack simulations extended version	6
Correction: Automaton-based comparison of Declare process models	6
Guest editorial to the theme section on Trends in Enterprise Architecture Research	6
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games	6
Boosting bug localization in software models of video games with simulations and component-specific genetic operations	6
Real-time collaborative multi-level modeling by conflict-free replicated data types	6
Deductively verifying functional scalable parallel programs with Why3	5
MBIPV: a model-based approach for identifying privacy violations from software requirements	5
Uncertainty-aware environment simulation of medical devices digital twins	5
Assessing the testing skills transfer of model-based testing on testing skill acquisition	5
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty	5
In memory of Heinrich Hussmann, long-time friend and SoSyM editor	5
A generic framework for representing and analyzing model concurrency	5
Developing configurations and solutions for logical puzzles with UML and OCL	5
Special section on uncertainty, modeling, CPSs and AI: honoring Prof. Antonio Vallecillo	5
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification	5
Guest editorial to the special section on SEFM’22	5
A refinement-based approach to safe smart contract deployment and evolution	4
Quantifying Privacy Risk with Gaussian Mixtures	4
Simulation of system architectures using optimization and machine learning: the state of the art and research opportunities	4
Modelling guidance in software engineering: a systematic literature review	4
Correction to: Low-code development and model-driven engineering: Two sides of the same coin?	4
MDE for crop representations in smart farming digital twins: a reinforcement learning perspective	4
Reference architectures modelling and compliance checking	4
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view	4
ChatGPT in software modeling	4
Evaluating user acceptance of knowledge-intensive business process modeling languages	4
Modeling ecosystems of reference frameworks for assurance: a case on privacy impact assessment regulation and guidelines	4
Detecting cross-case associations in an event log: toward a pattern-based detection	4
Enhancing process mining with visual resource analytics	4
A closer look at activity relationships to improve business process redesign	4
Learning minimal automata with recurrent neural networks	4
Ontology-based security modeling in ArchiMate	3
Editorial to the theme section on model-driven engineering for digital twins	3
Visual notations in container orchestrations: an empirical study with Docker Compose	3
On the use of domain knowledge for process model repair	3
Verifying consistency of software product line architectures with product architectures	3
Participatory modeling from a stakeholder perspective: On the influence of collaboration and revisions on psychological ownership and perceived model quality	3
SymboleoPC: checking properties of legal contracts	3
Human factors in model-driven engineering: future research goals and initiatives for MDE	3
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software	3
A data-driven approach for constructing multilayer network-based service ecosystem models	3
Three decades of the OO-Method: fostering conceptual-model software engineering	3
An empirical study of manual abstraction between class diagrams and code of open-source systems	3
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review	3
Adding higher-level semantics to Functional Mock-up Units for easier, faster, and more robust co-simulation connections	3
Guest editorial to the special section on PoEM’2020	3
The extended EA ModelSet—a FAIR dataset for researching and reasoning enterprise architecture modeling practices	3
Mutation testing for temporal alloy models (extended version)	3
A system-theoretic assurance framework for safety-driven systems engineering	3
Code generation for classical-quantum software systems modeled in UML	3
Quantitative modelling and analysis of BDI agents	3
Circulise4LCE, a model-driven sustainability development framework for local circular economy engineering and simulation	3
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model	3
Empirical analysis of the tool support for software product lines	3
A formal component model for UML based on CSP aiming at compositional verification	3
Editorial for FACS 2021 special section (SoSyM)	3
On applying residual reasoning within neural network verification	3
Enhancing remaining time prediction in business processes by considering system-level and resource-level inter-case features	3
Practitioners’ experiences with model-driven engineering: a meta-review	3
Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	3
Universal conceptual modeling: principles, benefits, and an agenda for conceptual modeling research	2
Introduction to theme section on requirements formalisation	2
A framework for conceptual characterization of ontologies and its application in the cybersecurity domain	2
From network traffic data to business activities: a conceptualization and a recognition approach	2
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling	2
Guest editorial for EMMSAD’2022 special section	2
How fair are we? From conceptualization to automated assessment of fairness definitions	2
Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling	2
Edelta: a versatile framework for migrating clients’ EMF models	2
The Role of Standardization for Simulation in Model-Based Systems Engineering: A Survey Study Supplemented with Industrial Experiences	2
A technique for discovering BPMN collaboration diagrams	2
Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools	2
Guest editorial for the special section on SEFM 2020 and 2021	2

ATM: a Logic for Quantitative Security Properties on Attack Trees	2
On the relationship between models and ontologies	2
Experimenting with modeling-specific word embeddings	2
Report on the state of the SoSyM journal (2023 summary)	2
Guidelines to derive an $$e^{3}value$$ business model from a BPMN process model: an experiment on real-world scenarios	2
Special section of BPMDS’2021 business process improvement	2
A formalization of Heisenbugs and their causes in terms of hyperproperties	2
A framework for evaluating tool support for co-evolution of modeling languages, tools and models	2
Merlin - modEl-guided reinforcement learnINg for automated testing of endless runner games	2
Correction: Diagrammatic physical robot models	2
Requirements specification using templates: a model-driven approach	2
Research software engineering and the importance of scientific models	2
Visual query languages to design complex queries: a systematic literature review	2
Business process modeling language selection for research modelers	2
A lightweight approach to nontermination inference using Constrained Horn Clauses	2
Automated generation of smart contract code from legal contract specifications with Symboleo2SC	2
Guest editorial for the special section on PoEM 2023	2
Machine learning for enterprise modeling assistance: an investigation of the potential and proof of concept	2
Introduction to the theme section on Agile model-driven engineering	2
Verification, validation, and evaluation of modeling methods: experiences and recommendations	1
A personal retrospective on language workbenches	1
Dash: declarative behavioural modelling in Alloy with control state hierarchy	1
Guest editorial for the special section on MODELS 2021	1
Advanced testing and debugging support for reactive executable DSLs	1
Composable partial multiparty session types for open systems	1
Report on the State of the SoSyM Journal (2024 summary)	1
R-IO SUITE: integration of LLM-based AI into a knowledge management and model-driven based platform dedicated to crisis management	1
Gamification of business process modeling education: an experimental analysis	1
Integration of clinical and genomic data to enhance precision medicine: a case of study applied to the retina-macula	1
Live process modeling with the BPMN Sketch Miner	1
CalcGraph: taming the high costs of deep learning using models	1
Business process improvement with AB testing and reinforcement learning: grounded theory-based industry perspectives	1
From single-objective to multi-objective reinforcement learning-based model transformation	1
Improving repair of semantic ATL errors using a social diversity metric	1
The sustainability assessment framework toolkit: a decade of modeling experience	1
Model hybridization: towards a unifying theory for inductive and deductive reasoning	1
Modeling of, for, and with digital twins	1
How low-code platforms support digital twins of processes	1
Report on the State of the SoSyM Journal end of 2022	1
Lazy model checking for recursive state machines	1
Dependency-aware model repair: prioritizing repairs through consistency rule and inconsistency analysis	1
RBPMN: the value of roles for business process modeling	1
Current trends in digital twin development, maintenance, and operation: an interview study	1
A devops framework for the systematic engineering and evolution of digital twins for built assets	1
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements	1
Flexible and sound: Synthesis Miner	1
On theory and management of dependencies between models	1
Automating the development of API-based generators using code idioms mining	1
Redescription mining-based business process deviance analysis	1
Semi-automatic service value network modeling approach based on external public data	1
Understanding the need for assistance in software modeling: interviews with experts	1
Enterprise modeling for the circular economy: meta-model and method component to support manufacturing enterprises	1
Run-time threat models for systematic and continuous risk assessment	1
Gamification of conceptual modeling education with UML class diagrams: an experimental analysis	1
MoDMaCAO: a model-driven framework for the design, validation and configuration management of cloud applications based on OCCI	1
Extract, model, refine: improved modelling of program verification tools through data enrichment	1
Correlating contexts and NFR conflicts from event logs	1
Correction: A framework for embedded software portability and verification: from formal models to low-level code	1
A method for digital business ecosystem design: evaluation of two cases in the maritime dataspaces	1
How are informal diagrams used in software engineering? An exploratory study of open-source and industrial practices	1
Quo Vadis modeling?	1
Safety behavior abstraction and model evolution in autonomous driving	1
Using DSLs to manage consistency in long-lived enterprise language specifications	1
Conflict management techniques for model merging: a systematic mapping review	1