Software and Systems Modeling

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

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

A manifesto for applicable formal methods	7
Automatic Model Transformation and Formal Verification for Function Block of IEC 61499	7
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	7
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games	6
2500 years of going meta: from Aristotle to SysML v2	6
MBIPV: a model-based approach for identifying privacy violations from software requirements	6
Bridging conceptual models and numerical domains: a semantic integration approach for federated co-simulation in MBSE	6
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration	6
Counterexample classification	6
Model-based digital twin engineering: insights, challenges, and future directions	6
Evaluation of modeling methods for systems analysis and development (EMMSAD): past, present, and artificial intelligence eras	6
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification	6
Special Section of BPMDS 2022—reflections on interactions and responsibility in a digitized business processes ecosystem	6
Span(Graph): a canonical feedback algebra of open transition systems	6
Real-time collaborative multi-level modeling by conflict-free replicated data types	6
Measuring and achieving test coverage of attack simulations extended version	6
On the consistency of state machines, use cases and block diagrams using dependency graphs and Large Language Models	6
A theory of composable modeling language components	6
Guest editorial to the theme section on Trends in Enterprise Architecture Research	6
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty	5
Guest editorial to the special section on SEFM’22	5
Uncertainty-aware environment simulation of medical devices digital twins	5
Correction: Automaton-based comparison of Declare process models	5
Synthesizing verified components for cyber assured systems engineering	5
Developing configurations and solutions for logical puzzles with UML and OCL	5
Boosting bug localization in software models of video games with simulations and component-specific genetic operations	5
In memory of Heinrich Hussmann, long-time friend and SoSyM editor	5
Special section on uncertainty, modeling, CPSs and AI: honoring Prof. Antonio Vallecillo	5
Quantifying Privacy Risk with Gaussian Mixtures	4
ChatGPT in software modeling	4
Learning minimal automata with recurrent neural networks	4
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view	4
Detecting cross-case associations in an event log: toward a pattern-based detection	4
Assessing the testing skills transfer of model-based testing on testing skill acquisition	4
Modeling ecosystems of reference frameworks for assurance: a case on privacy impact assessment regulation and guidelines	4
Enhancing process mining with visual resource analytics	4
Evaluating user acceptance of knowledge-intensive business process modeling languages	4
A closer look at activity relationships to improve business process redesign	4
Reference architectures modelling and compliance checking	4
A refinement-based approach to safe smart contract deployment and evolution	4
A generic framework for representing and analyzing model concurrency	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
MDE for crop representations in smart farming digital twins: a reinforcement learning perspective	4
Deductively verifying functional scalable parallel programs with Why3	4
SmartCML: a domain-specific modeling language for implementing smart contracts	4
Participatory modeling from a stakeholder perspective: On the influence of collaboration and revisions on psychological ownership and perceived model quality	3
Correction to: Low-code development and model-driven engineering: Two sides of the same coin?	3
Code generation for classical-quantum software systems modeled in UML	3
The Role of Standardization for Simulation in Model-Based Systems Engineering: A Survey Study Supplemented with Industrial Experiences	3
Quantitative modelling and analysis of BDI agents	3
Automated generation of smart contract code from legal contract specifications with Symboleo2SC	3
On the use of domain knowledge for process model repair	3
Editorial to the theme section on model-driven engineering for digital twins	3
Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	3
Verifying consistency of software product line architectures with product architectures	3
Enhancing remaining time prediction in business processes by considering system-level and resource-level inter-case features	3
Mutation testing for temporal alloy models (extended version)	3
A system-theoretic assurance framework for safety-driven systems engineering	3
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review	3
Special section of BPMDS’2021 business process improvement	3
An empirical study of manual abstraction between class diagrams and code of open-source systems	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
Editorial for FACS 2021 special section (SoSyM)	3
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model	3
Ontology-based security modeling in ArchiMate	3
SymboleoPC: checking properties of legal contracts	3
Formal verification of fault tolerance mechanisms in multi-layer IoT using Event-B	3
Adding higher-level semantics to Functional Mock-up Units for easier, faster, and more robust co-simulation connections	3
The extended EA ModelSet—a FAIR dataset for researching and reasoning enterprise architecture modeling practices	3
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software	3
Human factors in model-driven engineering: future research goals and initiatives for MDE	3
Guest editorial for the special section on PoEM 2023	3
A formalization of Heisenbugs and their causes in terms of hyperproperties	3
Circulise4LCE, a model-driven sustainability development framework for local circular economy engineering and simulation	3
Visual notations in container orchestrations: an empirical study with Docker Compose	3
Edelta: a versatile framework for migrating clients’ EMF models	3
A formal component model for UML based on CSP aiming at compositional verification	3
On applying residual reasoning within neural network verification	3

Guidelines to derive an $$e^{3}value$$ business model from a BPMN process model: an experiment on real-world scenarios	2
Formal modelling and verifying eIDAS multi-factor authentication with interface-based threat analysis	2
Visual query languages to design complex queries: a systematic literature review	2
Machine learning for enterprise modeling assistance: an investigation of the potential and proof of concept	2
A lightweight approach to nontermination inference using Constrained Horn Clauses	2
Universal conceptual modeling: principles, benefits, and an agenda for conceptual modeling research	2
Correction: Diagrammatic physical robot models	2
Requirements specification using templates: a model-driven approach	2
Introduction to theme section on requirements formalisation	2
Deductive reasoning about embedded systems using reachable abstract states invariants	2
Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling	2
Report on the state of the SoSyM journal (2023 summary)	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
Research software engineering and the importance of scientific models	2
ATM: a Logic for Quantitative Security Properties on Attack Trees	2
REST in pieces: a controlled experiment to dissect the effects of a domain-specific language for code to cloud API migration	2
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling	2
How fair are we? From conceptualization to automated assessment of fairness definitions	2
A technique for discovering BPMN collaboration diagrams	2
Experimenting with modeling-specific word embeddings	2
Business process modeling language selection for research modelers	2
Guest editorial for EMMSAD’2022 special section	2
Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools	2
How UML models and ontologies can complement each other	2
Guest editorial for the special section on SEFM 2020 and 2021	2
From network traffic data to business activities: a conceptualization and a recognition approach	2
The sustainability assessment framework toolkit: a decade of modeling experience	1
Formalizing smart contract design patterns with DCR graphs	1
Using DSLs to manage consistency in long-lived enterprise language specifications	1
Gamification of business process modeling education: an experimental analysis	1
Improving repair of semantic ATL errors using a social diversity metric	1
Execution-time opacity control for timed automata	1
Lazy model checking for recursive state machines	1
Dependency-aware model repair: prioritizing repairs through consistency rule and inconsistency analysis	1
Enterprise modeling for the circular economy: meta-model and method component to support manufacturing enterprises	1
The MDENet education platform: zero-install directed activities for learning MDE	1
RBPMN: the value of roles for business process modeling	1
Assessing the usefulness of a visual programming IDE for large-scale automation software	1
Advanced testing and debugging support for reactive executable DSLs	1
Model hybridization: towards a unifying theory for inductive and deductive reasoning	1
Correlating contexts and NFR conflicts from event logs	1
R-IO SUITE: integration of LLM-based AI into a knowledge management and model-driven based platform dedicated to crisis management	1
Report on the State of the SoSyM Journal (2024 summary)	1
From single-objective to multi-objective reinforcement learning-based model transformation	1
Composable partial multiparty session types for open systems	1
Conflict management techniques for model merging: a systematic mapping review	1
Gamification of conceptual modeling education with UML class diagrams: an experimental analysis	1
Flexible and sound: Synthesis Miner	1
Current trends in digital twin development, maintenance, and operation: an interview study	1
Redescription mining-based business process deviance analysis	1
A personal retrospective on language workbenches	1
How low-code platforms support digital twins of processes	1
Paradigm shift in mechanical system design: toward automated and collaborative design with digital twin web	1
CalcGraph: taming the high costs of deep learning using models	1
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements	1
Reactive synthesis specification review for validity and quality	1
Run-time threat models for systematic and continuous risk assessment	1
Quo Vadis modeling?	1
Integration of clinical and genomic data to enhance precision medicine: a case of study applied to the retina-macula	1
Report on the State of the SoSyM Journal end of 2022	1
How are informal diagrams used in software engineering? An exploratory study of open-source and industrial practices	1
MoDMaCAO: a model-driven framework for the design, validation and configuration management of cloud applications based on OCCI	1
Guest editorial to the special section on EDTconf 2024	1
Business process improvement with AB testing and reinforcement learning: grounded theory-based industry perspectives	1
Safety behavior abstraction and model evolution in autonomous driving	1
Automated and logically exhaustive generation of traffic scenarios at road junctions using a multi-level danger definition	1
Automating the development of API-based generators using code idioms mining	1
Assessing model-driven mutation testing of Java bytecode	1
A method for digital business ecosystem design: evaluation of two cases in the maritime dataspaces	1
Verification, validation, and evaluation of modeling methods: experiences and recommendations	1
Evaluating the requirements engineering process in model transformation development: a state of practice analysis	1
Modeling of, for, and with digital twins	1
A devops framework for the systematic engineering and evolution of digital twins for built assets	1
P-stable abstractions of hybrid systems	1
Correction: A framework for embedded software portability and verification: from formal models to low-level code	1
Dash: declarative behavioural modelling in Alloy with control state hierarchy	1
Guest editorial for the special section on MODELS 2021	1
Extract, model, refine: improved modelling of program verification tools through data enrichment	1
Guest editorial for the special section on MODELS 2020	1
Understanding the need for assistance in software modeling: interviews with experts	1
On theory and management of dependencies between models	1