Software and Systems Modeling

Article	Citations
Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits	139
GoRIM: a model-driven method for enhancing regulatory intelligence	133
Guest editorial for the special section on the 26th international conference on model-driven engineering languages and systems (MODELS 2023)	56
Automated testing of metamodels and code co-evolution	47
Modeling more software performance antipatterns in cyber-physical systems	41
The technological landscape of collaborative model-driven software engineering	36
An ontology-based approach to engineering ethicality requirements	31
An investigation of the relationship between joint visual attention and product quality in collaborative business process modeling: a dual eye-tracking study	31
The uncertainty interaction problem in self-adaptive systems	28
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time	27
Correct-by-construction requirement decomposition	26
Model-based code generation works: But how far does it go?—on the role of the generator	26
Reasoning over time into models with DataTime	26
Fabricatable axis: an approach for modelling customized fabrication machines	25
Measurement and classification of inter-actor dependencies in goal models	24
Reflection on the differences between modeling and programming	24
The complexities of the satisfiability checking problems of feature diagram sublanguages	23
Models: the fourth dimension of computer science	21
Antonio Vallecillo	21
Integrating the analysis of multiple non-functional properties in model-driven engineering	20
Incremental execution of temporal graph queries over runtime models with history and its applications	19
A reference architecture for the development of GLSP-based web modeling tools	18
Bridging MDE and AI: a systematic review of domain-specific languages and model-driven practices in AI software systems engineering	17
Incremental model transformations with triple graph grammars for multi-version models and multi-version pattern matching	17
A model template for reachability-based containment checking of imprecise observations in timed automata	16

Enhancing explainability in process variant analysis: a framework for detecting and interpreting control-flow changes	16
Deep specification and proof preservation for the CoqTL transformation language	15
Theme section on model-driven requirements engineering	15
Adopting the concept of a function as an underlying semantic paradigm for modeling languages	14
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness	14
Low-code development and model-driven engineering: Two sides of the same coin?	13
What makes a good modeling research contribution?	13
An architecture for coupled digital twins with semantic lifting	13
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML	13
Multi-dimensional multi-level modeling	13
Repeat, reorder, rephrase: data augmentation for process information extraction	12
SOCAM: a service-oriented computing architecture modeling method	12
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory	12
Editorial to theme section on open environmental software systems modeling	12
MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements	12
Special section of BPMDS’2023	11
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes	11
Gamifying model-based engineering: the PapyGame experience	11
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis	11
Guest editorial for EMMSAD’2023 special section	11
Can explainable artificial intelligence support software modelers in model comprehension?	11
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties	11
SimIMA: a virtual Simulink intelligent modeling assistant	11
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations	11
Model checking of spacecraft operational designs: a scalability analysis	11
Decision-making under uncertainty: be aware of your priorities	10
Guest editorial to the theme section on multi-level modeling	10
Flexmi: a generic and modular textual syntax for domain-specific modelling	10
From process mining to augmented process execution	10
Modeling data protection and privacy: application and experience with GDPR	10
Application and evaluation of interlinked approaches for modeling changing capabilities	10
Context-driven process discovery: enhancing process flow interpretability with contextualized activity hierarchies	10
A language-parametric test amplification framework for executable domain-specific languages	10
AI simulation by digital twins: systematic survey, reference framework, and mapping to a standardized architecture	10
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games	10
Modeling should be an independent scientific discipline	10
Exchanging information in cooperative software validation	9
A manifesto for applicable formal methods	9
Automatic Model Transformation and Formal Verification for Function Block of IEC 61499	9
Completion of SysML state machines from Given–When–Then requirements	9
Exploring modeling methods for information systems analysis and design: a data-driven retrospective	9
Teaching conceptual modelling in the age of LLMs: shifting from model creation to model evaluation skills	9
Accelerating similarity-based model matching using dual hashing	9
Enhancing automated network function onboarding through language extension and code refactoring	9
Using reactive links to propagate changes across engineering models	8
IAT/ML: a metamodel and modelling approach for discourse analysis	8
CaRE: a refinement calculus for requirements engineering based on argumentation theory	8
What makes life for process mining analysts difficult? A reflection of challenges	8
Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems	8
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development	8

Conceptual modelling of temporality and subjectivity as cross-cutting concerns	8
iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling	8
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty	7
Consistency management in industrial continuous model-based development settings: a reality check	7
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	7
Correction to: Evaluation of a machine learning classifier for metamodels	7
Automatic security-flaw detection - towards a fair evaluation and comparison	7
PARMOREL: a framework for customizable model repair	7
Multi-level modeling: cornerstones of a rationale	7
Are models better read on paper or on screen? A comparative study	7
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification	6
Reference models: how can we leverage them?	6
Span(Graph): a canonical feedback algebra of open transition systems	6
MBIPV: a model-based approach for identifying privacy violations from software requirements	6
Simulation and analysis of MultEcore multilevel models based on rewriting logic	6
Guest editorial to the theme section on Trends in Enterprise Architecture Research	6
A benchmark of incremental model transformation tools based on an industrial case study with AADL	6
Automated construction of predicate abstractions for smart contract validation	6
Special Section of BPMDS 2022—reflections on interactions and responsibility in a digitized business processes ecosystem	6
Correction: Automaton-based comparison of Declare process models	6
Real-time collaborative multi-level modeling by conflict-free replicated data types	6
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games	6
Counterexample classification	6
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration	6
Modeling in advanced systems engineering	6
Guest editorial to the special section on SEFM’22	5
A model-driven approach to machine learning and software modeling for the IoT	5
A generic framework for representing and analyzing model concurrency	5
Explicit versus implicit models: What are good languages for modeling?	5
Developing configurations and solutions for logical puzzles with UML and OCL	5
Reference architectures modelling and compliance checking	5
Assessing the testing skills transfer of model-based testing on testing skill acquisition	5
Synthesizing verified components for cyber assured systems engineering	5
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty	5
Boosting bug localization in software models of video games with simulations and component-specific genetic operations	5
Uncertainty-aware environment simulation of medical devices digital twins	5
Special section on uncertainty, modeling, CPSs and AI: honoring Prof. Antonio Vallecillo	5
A refinement-based approach to safe smart contract deployment and evolution	5
Measuring and achieving test coverage of attack simulations extended version	5
In memory of Heinrich Hussmann, long-time friend and SoSyM editor	5
Modeling ecosystems of reference frameworks for assurance: a case on privacy impact assessment regulation and guidelines	5
Recommending metamodel concepts during modeling activities with pre-trained language models	5
Enhancing process mining with visual resource analytics	5
Instant and global consistency checking during collaborative engineering	5
Detecting cross-case associations in an event log: toward a pattern-based detection	4
Correction to: Low-code development and model-driven engineering: Two sides of the same coin?	4
Evaluating user acceptance of knowledge-intensive business process modeling languages	4
An exception handling framework for case management	4
Learning minimal automata with recurrent neural networks	4
Simulation of system architectures using optimization and machine learning: the state of the art and research opportunities	4
A closer look at activity relationships to improve business process redesign	4
Modelling guidance in software engineering: a systematic literature review	4
Generating repairs for inconsistent models	3
On applying residual reasoning within neural network verification	3
A system-theoretic assurance framework for safety-driven systems engineering	3
Quantifying Privacy Risk with Gaussian Mixtures	3
Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	3
Empirical analysis of the tool support for software product lines	3
Automated, interactive, and traceable domain modelling empowered by artificial intelligence	3
A formal component model for UML based on CSP aiming at compositional verification	3
The extended EA ModelSet—a FAIR dataset for researching and reasoning enterprise architecture modeling practices	3
SymboleoPC: checking properties of legal contracts	3
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view	3
Editorial for FACS 2021 special section (SoSyM)	3
Guest editorial to the special section on PoEM’2020	3
Automated generation of smart contract code from legal contract specifications with Symboleo2SC	3
Ontology-based security modeling in ArchiMate	3
Visual notations in container orchestrations: an empirical study with Docker Compose	3
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review	3
Participatory modeling from a stakeholder perspective: On the influence of collaboration and revisions on psychological ownership and perceived model quality	3
Enhancing remaining time prediction in business processes by considering system-level and resource-level inter-case features	3
ChatGPT in software modeling	3
Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size	3
Mutation testing for temporal alloy models (extended version)	3
Verifying consistency of software product line architectures with product architectures	3
Human factors in model-driven engineering: future research goals and initiatives for MDE	3
Adding higher-level semantics to Functional Mock-up Units for easier, faster, and more robust co-simulation connections	3
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software	3
Code generation for classical-quantum software systems modeled in UML	3
Practitioners’ experiences with model-driven engineering: a meta-review	3

A data-driven approach for constructing multilayer network-based service ecosystem models	2
Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling	2
Special section of BPMDS’2020 business process management meets data	2
Three decades of the OO-Method: fostering conceptual-model software engineering	2
Universal conceptual modeling: principles, benefits, and an agenda for conceptual modeling research	2
Semi-automated metamodel/model co-evolution: a multi-level interactive approach	2
Requirements specification using templates: a model-driven approach	2
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model	2
Introduction to theme section on requirements formalisation	2
Machine learning for enterprise modeling assistance: an investigation of the potential and proof of concept	2
Guest editorial for EMMSAD’2022 special section	2
Merlin - modEl-guided reinforcement learnINg for automated testing of endless runner games	2
How fair are we? From conceptualization to automated assessment of fairness definitions	2
Recommendations for visual feedback about problems within BPMN process models	2
Introduction to the theme section on Agile model-driven engineering	2
Circulise4LCE, a model-driven sustainability development framework for local circular economy engineering and simulation	2
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques	2
Research software engineering and the importance of scientific models	2
On the use of domain knowledge for process model repair	2
From network traffic data to business activities: a conceptualization and a recognition approach	2
Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools	2
A framework for evaluating tool support for co-evolution of modeling languages, tools and models	2
Report on the state of the SoSyM journal (2023 summary)	2
Business process modeling language selection for research modelers	2
Guidelines to derive an $$e^{3}value$$ business model from a BPMN process model: an experiment on real-world scenarios	2
Editorial to the theme section on model-driven engineering for digital twins	2
Special section of BPMDS’2021 business process improvement	2
A lightweight approach to nontermination inference using Constrained Horn Clauses	2
An empirical study of manual abstraction between class diagrams and code of open-source systems	2
Guest editorial for the special section on SEFM 2020 and 2021	2
Quantitative modelling and analysis of BDI agents	2
On the relationship between models and ontologies	2
Experimenting with modeling-specific word embeddings	2
A technique for discovering BPMN collaboration diagrams	2
Visual query languages to design complex queries: a systematic literature review	2
Verification, validation, and evaluation of modeling methods: experiences and recommendations	1
Extract, model, refine: improved modelling of program verification tools through data enrichment	1
Early timing analysis based on scenario requirements and platform models	1
Guest editorial to the theme section on AI-enhanced model-driven engineering	1
ATM: a Logic for Quantitative Security Properties on Attack Trees	1
Semi-automatic service value network modeling approach based on external public data	1
Using DSLs to manage consistency in long-lived enterprise language specifications	1
P-stable abstractions of hybrid systems	1
Guest editorial for the special section on MODELS 2020	1
CalcGraph: taming the high costs of deep learning using models	1
Checking security compliance between models and code	1
RBPMN: the value of roles for business process modeling	1
Current trends in digital twin development, maintenance, and operation: an interview study	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
Improving repair of semantic ATL errors using a social diversity metric	1
Quo Vadis modeling?	1
The sustainability assessment framework toolkit: a decade of modeling experience	1
Live process modeling with the BPMN Sketch Miner	1
From single-objective to multi-objective reinforcement learning-based model transformation	1
Composable partial multiparty session types for open systems	1
Correction: Diagrammatic physical robot models	1
Understanding the need for assistance in software modeling: interviews with experts	1
Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3)	1
Modeling of, for, and with digital twins	1
Formal reconfiguration model for cloud resources	1
Model hybridization: towards a unifying theory for inductive and deductive reasoning	1
Lazy model checking for recursive state machines	1
On theory and management of dependencies between models	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
Advanced testing and debugging support for reactive executable DSLs	1
Guest editorial for the special section on MODELS 2021	1
Automating the development of API-based generators using code idioms mining	1
A personal retrospective on language workbenches	1
Redescription mining-based business process deviance analysis	1
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements	1
Safety behavior abstraction and model evolution in autonomous driving	1
A framework for conceptual characterization of ontologies and its application in the cybersecurity domain	1
SoSyM reflections: the 2021 "state of the journal" report	1
Dash: declarative behavioural modelling in Alloy with control state hierarchy	1
MoDMaCAO: a model-driven framework for the design, validation and configuration management of cloud applications based on OCCI	1
Correction: A framework for embedded software portability and verification: from formal models to low-level code	1
Report on the State of the SoSyM Journal (2024 summary)	1
How are informal diagrams used in software engineering? An exploratory study of open-source and industrial practices	1
Gamification of business process modeling education: an experimental analysis	1
A devops framework for the systematic engineering and evolution of digital twins for built assets	1
Business process improvement with AB testing and reinforcement learning: grounded theory-based industry perspectives	1
R-IO SUITE: integration of LLM-based AI into a knowledge management and model-driven based platform dedicated to crisis management	1
AI-powered model repair: an experience report—lessons learned, challenges, and opportunities	1