Software and Systems Modeling

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

A model template for reachability-based containment checking of imprecise observations in timed automata	16
Adopting the concept of a function as an underlying semantic paradigm for modeling languages	16
Deep specification and proof preservation for the CoqTL transformation language	16
Low-code development and model-driven engineering: Two sides of the same coin?	15
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness	15
Multi-dimensional multi-level modeling	15
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML	15
An architecture for coupled digital twins with semantic lifting	15
What makes a good modeling research contribution?	14
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
MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements	13
SOCAM: a service-oriented computing architecture modeling method	13
Repeat, reorder, rephrase: data augmentation for process information extraction	12
Gamifying model-based engineering: the PapyGame experience	12
Can explainable artificial intelligence support software modelers in model comprehension?	12
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations	11
Guest editorial for EMMSAD’2023 special section	11
Playground for multi-level modeling constructs	11
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes	11
Enhancing software model encoding for feature location approaches based on machine learning techniques	11
Automated conceptual model clustering: a relator-centric approach	11
From process mining to augmented process execution	10
Special section of BPMDS’2023	10
Model-driven engineering for mobile robotic systems: a systematic mapping study	10
A language-parametric test amplification framework for executable domain-specific languages	10
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties	10
Modeling data protection and privacy: application and experience with GDPR	10
SimIMA: a virtual Simulink intelligent modeling assistant	10
Evaluation of a machine learning classifier for metamodels	10
Model checking of spacecraft operational designs: a scalability analysis	10
Decision-making under uncertainty: be aware of your priorities	10
Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems	9
CaRE: a refinement calculus for requirements engineering based on argumentation theory	9
DEVS-based formalism for the modeling of routing processes	9
IAT/ML: a metamodel and modelling approach for discourse analysis	9
iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling	9
Completion of SysML state machines from Given–When–Then requirements	9
Guest editorial to the theme section on multi-level modeling	9
Modeling should be an independent scientific discipline	9
Exploring modeling methods for information systems analysis and design: a data-driven retrospective	9
Exchanging information in cooperative software validation	9
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis	9
Application and evaluation of interlinked approaches for modeling changing capabilities	9
Flexmi: a generic and modular textual syntax for domain-specific modelling	9
Teaching conceptual modelling in the age of LLMs: shifting from model creation to model evaluation skills	8
Using reactive links to propagate changes across engineering models	8
Multi-level modeling: cornerstones of a rationale	8
A manifesto for applicable formal methods	8
What makes life for process mining analysts difficult? A reflection of challenges	8

Correction to: Evaluation of a machine learning classifier for metamodels	8
Conceptual modelling of temporality and subjectivity as cross-cutting concerns	8
Accelerating similarity-based model matching using dual hashing	8
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development	8
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games	8
PARMOREL: a framework for customizable model repair	7
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	7
Span(Graph): a canonical feedback algebra of open transition systems	7
Analysing factors impacting BPMS performance: a case of a challenged technology adoption	7
Consistency management in industrial continuous model-based development settings: a reality check	7
Counterexample classification	7
Are models better read on paper or on screen? A comparative study	7
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
A model-driven approach to machine learning and software modeling for the IoT	6
Special Section of BPMDS 2022—reflections on interactions and responsibility in a digitized business processes ecosystem	6
Guest editorial to the theme section on Trends in Enterprise Architecture Research	6
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification	6
Boosting bug localization in software models of video games with simulations and component-specific genetic operations	6
Measuring and achieving test coverage of attack simulations extended version	6
Reference models: how can we leverage them?	6
Real-time collaborative multi-level modeling by conflict-free replicated data types	6
Modeling in advanced systems engineering	6
A benchmark of incremental model transformation tools based on an industrial case study with AADL	6
Correction: Automaton-based comparison of Declare process models	6
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration	6
Model-based resource analysis and synthesis of service-oriented automotive software architectures	6
Simulation and analysis of MultEcore multilevel models based on rewriting logic	6
Synthesizing verified components for cyber assured systems engineering	5
Guest editorial to the special section on SEFM’22	5
Explicit versus implicit models: What are good languages for modeling?	5
A generic framework for representing and analyzing model concurrency	5
Detecting cross-case associations in an event log: toward a pattern-based detection	5
Modelling guidance in software engineering: a systematic literature review	5
Special section on uncertainty, modeling, CPSs and AI: honoring Prof. Antonio Vallecillo	5
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty	5
MBIPV: a model-based approach for identifying privacy violations from software requirements	5
A refinement-based approach to safe smart contract deployment and evolution	5
Developing configurations and solutions for logical puzzles with UML and OCL	5
Instant and global consistency checking during collaborative engineering	5
A closer look at activity relationships to improve business process redesign	5
An exception handling framework for case management	5
Assessing the testing skills transfer of model-based testing on testing skill acquisition	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
Reference architectures modelling and compliance checking	5
Uncertainty-aware environment simulation of medical devices digital twins	5
Guest editorial to the special section of models 2019	5
Recommending metamodel concepts during modeling activities with pre-trained language models	5
Quantifying Privacy Risk with Gaussian Mixtures	4
Correction to: Low-code development and model-driven engineering: Two sides of the same coin?	4
A system-theoretic assurance framework for safety-driven systems engineering	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
Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size	4
Evaluating user acceptance of knowledge-intensive business process modeling languages	4
ChatGPT in software modeling	4
Holistic data-driven requirements elicitation in the big data era	4
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view	4
The extended EA ModelSet—a FAIR dataset for researching and reasoning enterprise architecture modeling practices	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
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software	3
Verifying consistency of software product line architectures with product architectures	3
Automated, interactive, and traceable domain modelling empowered by artificial intelligence	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
SymboleoPC: checking properties of legal contracts	3
Participatory modeling from a stakeholder perspective: On the influence of collaboration and revisions on psychological ownership and perceived model quality	3
Generating repairs for inconsistent models	3
Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	3
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review	3
Code generation for classical-quantum software systems modeled in UML	3
aCHAT-WF: Generating conversational agents for teaching business process models	3
A formal component model for UML based on CSP aiming at compositional verification	3
Towards a model-driven approach for multiexperience AI-based user interfaces	3
Practitioners’ experiences with model-driven engineering: a meta-review	3
Mutation testing for temporal alloy models (extended version)	3
The wild-west of modeling (Revisited)	3
Editorial for FACS 2021 special section (SoSyM)	3

Empirical analysis of the tool support for software product lines	3
Human factors in model-driven engineering: future research goals and initiatives for MDE	3
Ontology-based security modeling in ArchiMate	3
Visual notations in container orchestrations: an empirical study with Docker Compose	3
Efficient model similarity estimation with robust hashing	3
Recommendations for visual feedback about problems within BPMN process models	2
A data-driven approach for constructing multilayer network-based service ecosystem models	2
Automated generation of smart contract code from legal contract specifications with Symboleo2SC	2
Quantitative modelling and analysis of BDI agents	2
A lightweight approach to nontermination inference using Constrained Horn Clauses	2
Semi-automated metamodel/model co-evolution: a multi-level interactive approach	2
A framework for conceptual characterization of ontologies and its application in the cybersecurity domain	2
Visual query languages to design complex queries: a systematic literature review	2
Universal conceptual modeling: principles, benefits, and an agenda for conceptual modeling research	2
A technique for discovering BPMN collaboration diagrams	2
Machine learning for enterprise modeling assistance: an investigation of the potential and proof of concept	2
Business process modeling language selection for research modelers	2
Introduction to the theme section on Agile model-driven engineering	2
Editorial to the theme section on model-driven engineering for digital twins	2
On the use of domain knowledge for process model repair	2
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model	2
Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools	2
Experimenting with modeling-specific word embeddings	2
Requirements specification using templates: a model-driven approach	2
Early timing analysis based on scenario requirements and platform models	2
Guest editorial for the special section on SEFM 2020 and 2021	2
Guest editorial for EMMSAD’2022 special section	2
Report on the state of the SoSyM journal (2023 summary)	2
Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling	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
An empirical study of manual abstraction between class diagrams and code of open-source systems	2
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques	2
Conflict management techniques for model merging: a systematic mapping review	2
Special section of BPMDS’2020 business process management meets data	2
Research software engineering and the importance of scientific models	2
Three decades of the OO-Method: fostering conceptual-model software engineering	2
From network traffic data to business activities: a conceptualization and a recognition approach	2
Introduction to theme section on requirements formalisation	2
A framework for evaluating tool support for co-evolution of modeling languages, tools and models	2
On the relationship between models and ontologies	2
How fair are we? From conceptualization to automated assessment of fairness definitions	2
Interactive log-delta analysis using multi-range filtering	1
Using DSLs to manage consistency in long-lived enterprise language specifications	1
Improving repair of semantic ATL errors using a social diversity metric	1
Guest editorial for the special section on MODELS 2021	1
ModelSet: a dataset for machine learning in model-driven engineering	1
Guest editorial to the theme section on AI-enhanced model-driven engineering	1
Gamification of conceptual modeling education with UML class diagrams: an experimental analysis	1
Composable partial multiparty session types for open systems	1
R-IO SUITE: integration of LLM-based AI into a knowledge management and model-driven based platform dedicated to crisis management	1
Quo Vadis modeling?	1
Correction: A framework for embedded software portability and verification: from formal models to low-level code	1
Business process improvement with AB testing and reinforcement learning: grounded theory-based industry perspectives	1
Semi-automatic service value network modeling approach based on external public data	1
Verification, validation, and evaluation of modeling methods: experiences and recommendations	1
Understanding the need for assistance in software modeling: interviews with experts	1
Safety behavior abstraction and model evolution in autonomous driving	1
Model hybridization: towards a unifying theory for inductive and deductive reasoning	1
Report on the State of the SoSyM Journal (2024 summary)	1
On theory and management of dependencies between models	1
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements	1
Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3)	1
Extract, model, refine: improved modelling of program verification tools through data enrichment	1
RBPMN: the value of roles for business process modeling	1
AI-powered model repair: an experience report—lessons learned, challenges, and opportunities	1
Lazy model checking for recursive state machines	1
Formal reconfiguration model for cloud resources	1
The sustainability assessment framework toolkit: a decade of modeling experience	1
Automating the development of API-based generators using code idioms mining	1
SoSyM reflections: the 2021 "state of the journal" report	1
Redescription mining-based business process deviance analysis	1
Gamification of business process modeling education: an experimental analysis	1
Current trends in digital twin development, maintenance, and operation: an interview study	1
Checking security compliance between models and code	1
Live process modeling with the BPMN Sketch Miner	1
Integration of clinical and genomic data to enhance precision medicine: a case of study applied to the retina-macula	1
Advanced testing and debugging support for reactive executable DSLs	1
How are informal diagrams used in software engineering? An exploratory study of open-source and industrial practices	1
A personal retrospective on language workbenches	1
CalcGraph: taming the high costs of deep learning using models	1
From single-objective to multi-objective reinforcement learning-based model transformation	1