Software and Systems Modeling

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

Theme section on model-driven requirements engineering	18
Deep specification and proof preservation for the CoqTL transformation language	17
An architecture for coupled digital twins with semantic lifting	16
Adopting the concept of a function as an underlying semantic paradigm for modeling languages	16
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness	16
Multi-dimensional multi-level modeling	16
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML	15
What makes a good modeling research contribution?	15
Low-code development and model-driven engineering: Two sides of the same coin?	15
Editorial to theme section on open environmental software systems modeling	15
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory	14
Can explainable artificial intelligence support software modelers in model comprehension?	13
SOCAM: a service-oriented computing architecture modeling method	13
MUREQ: a multilayer framework for analyzing and operationalizing visualization requirements	13
Automated conceptual model clustering: a relator-centric approach	12
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes	12
Gamifying model-based engineering: the PapyGame experience	12
Enhancing software model encoding for feature location approaches based on machine learning techniques	11
Evaluation of a machine learning classifier for metamodels	11
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis	11
Playground for multi-level modeling constructs	11
Guest editorial for EMMSAD’2023 special section	11
Special section of BPMDS’2023	10
A language-parametric test amplification framework for executable domain-specific languages	10
Decision-making under uncertainty: be aware of your priorities	10
Model checking of spacecraft operational designs: a scalability analysis	10
Model-driven engineering for mobile robotic systems: a systematic mapping study	10
Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations	10
SimIMA: a virtual Simulink intelligent modeling assistant	10
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties	10
Guest editorial to the theme section on multi-level modeling	9
Modeling should be an independent scientific discipline	9
Conceptual modelling of temporality and subjectivity as cross-cutting concerns	9
From process mining to augmented process execution	9
DEVS-based formalism for the modeling of routing processes	9
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development	9
CaRE: a refinement calculus for requirements engineering based on argumentation theory	9
Modeling data protection and privacy: application and experience with GDPR	9
Application and evaluation of interlinked approaches for modeling changing capabilities	9
Using reactive links to propagate changes across engineering models	9
IAT/ML: a metamodel and modelling approach for discourse analysis	8
iDOCEM: defining a common terminology for object-centric event logging and data-centric process modelling	8
Flexmi: a generic and modular textual syntax for domain-specific modelling	8
Exchanging information in cooperative software validation	8
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games	8
Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems	8
Analysing factors impacting BPMS performance: a case of a challenged technology adoption	8
Accelerating similarity-based model matching using dual hashing	8
Completion of SysML state machines from Given–When–Then requirements	8
What makes life for process mining analysts difficult? A reflection of challenges	8

A manifesto for applicable formal methods	8
Correction to: Evaluation of a machine learning classifier for metamodels	7
Consistency management in industrial continuous model-based development settings: a reality check	7
Span(Graph): a canonical feedback algebra of open transition systems	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
Counterexample classification	7
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	7
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty	7
Real-time collaborative multi-level modeling by conflict-free replicated data types	7
Special Section of BPMDS 2022—reflections on interactions and responsibility in a digitized business processes ecosystem	7
Reference models: how can we leverage them?	6
Measuring and achieving test coverage of attack simulations extended version	6
Ceaml: A novel modeling language for enabling cloud and edge continuum orchestration	6
Correction: Automaton-based comparison of Declare process models	6
Modeling in advanced systems engineering	6
Model-based resource analysis and synthesis of service-oriented automotive software architectures	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
Simulation and analysis of MultEcore multilevel models based on rewriting logic	6
A generic framework for representing and analyzing model concurrency	5
Boosting bug localization in software models of video games with simulations and component-specific genetic operations	5
Synthesizing verified components for cyber assured systems engineering	5
Uncertainty-aware environment simulation of medical devices digital twins	5
Modeling ecosystems of reference frameworks for assurance: a case on privacy impact assessment regulation and guidelines	5
A refinement-based approach to safe smart contract deployment and evolution	5
Recommending metamodel concepts during modeling activities with pre-trained language models	5
Assessing the testing skills transfer of model-based testing on testing skill acquisition	5
A model-driven approach to machine learning and software modeling for the IoT	5
In memory of Heinrich Hussmann, long-time friend and SoSyM editor	5
Guiding the evolution of product-line configurations	5
Explicit versus implicit models: What are good languages for modeling?	5
Special section on uncertainty, modeling, CPSs and AI: honoring Prof. Antonio Vallecillo	5
Reference architectures modelling and compliance checking	5
MBIPV: a model-based approach for identifying privacy violations from software requirements	5
How does your model represent the system? A note on model fidelity, underspecification, and uncertainty	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
Multilevel modeling of geographic information systems based on international standards	5
Developing configurations and solutions for logical puzzles with UML and OCL	5
A closer look at activity relationships to improve business process redesign	4
A system-theoretic assurance framework for safety-driven systems engineering	4
Simulation of system architectures using optimization and machine learning: the state of the art and research opportunities	4
Defining business model key performance indicators using intentional linguistic summaries	4
ChatGPT in software modeling	4
An exception handling framework for case management	4
Instant and global consistency checking during collaborative engineering	4
Correction to: Low-code development and model-driven engineering: Two sides of the same coin?	4
Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size	4
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view	4
Guest editorial to the special section of models 2019	4
Detecting cross-case associations in an event log: toward a pattern-based detection	4
Holistic data-driven requirements elicitation in the big data era	4
Modelling guidance in software engineering: a systematic literature review	4
Enhancing remaining time prediction in business processes by considering system-level and resource-level inter-case features	3
Generating repairs for inconsistent models	3
Practitioners’ experiences with model-driven engineering: a meta-review	3
Towards a model-driven approach for multiexperience AI-based user interfaces	3
aCHAT-WF: Generating conversational agents for teaching business process models	3
Verifying consistency of software product line architectures with product architectures	3
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software	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
The wild-west of modeling (Revisited)	3
Learning minimal automata with recurrent neural networks	3
The extended EA ModelSet—a FAIR dataset for researching and reasoning enterprise architecture modeling practices	3
Visual notations in container orchestrations: an empirical study with Docker Compose	3
Multi-paradigm modelling for cyber–physical systems: a descriptive framework	3
Editorial for FACS 2021 special section (SoSyM)	3
Efficient model similarity estimation with robust hashing	3
Mutation testing for temporal alloy models (extended version)	3
Evaluating user acceptance of knowledge-intensive business process modeling languages	3
On applying residual reasoning within neural network verification	3
Guest editorial to the special section on PoEM’2020	3
Code generation for classical-quantum software systems modeled in UML	3
A formal component model for UML based on CSP aiming at compositional verification	3
Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities	3
Special section of BPMDS’2020 business process management meets data	2
Guidelines to derive an $$e^{3}value$$ business model from a BPMN process model: an experiment on real-world scenarios	2

Introduction to the theme section on Agile model-driven engineering	2
Automated generation of smart contract code from legal contract specifications with Symboleo2SC	2
On the use of domain knowledge for process model repair	2
Guided architecture trade space exploration: fusing model-based engineering and design by shopping	2
Automated, interactive, and traceable domain modelling empowered by artificial intelligence	2
An empirical study of manual abstraction between class diagrams and code of open-source systems	2
Human factors in model-driven engineering: future research goals and initiatives for MDE	2
A technique for discovering BPMN collaboration diagrams	2
A lightweight approach to nontermination inference using Constrained Horn Clauses	2
Report on the state of the SoSyM journal (2023 summary)	2
Recommendations for visual feedback about problems within BPMN process models	2
How fair are we? From conceptualization to automated assessment of fairness definitions	2
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model	2
Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques	2
Bridging the model-to-code abstraction gap with fuzzy logic in model-based regression test selection	2
Ontology-based security modeling in ArchiMate	2
Empirical analysis of the tool support for software product lines	2
Special section of BPMDS’2021 business process improvement	2
Machine learning for enterprise modeling assistance: an investigation of the potential and proof of concept	2
Experimenting with modeling-specific word embeddings	2
Business process modeling language selection for research modelers	2
Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling	2
Editorial to the theme section on model-driven engineering for digital twins	2
Quantitative modelling and analysis of BDI agents	2
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review	2
An ontological metamodel for cyber-physical system safety, security, and resilience coengineering	2
Adding higher-level semantics to Functional Mock-up Units for easier, faster, and more robust co-simulation connections	2
Semi-automated metamodel/model co-evolution: a multi-level interactive approach	2
A data-driven approach for constructing multilayer network-based service ecosystem models	2
Visual query languages to design complex queries: a systematic literature review	2
Improving repair of semantic ATL errors using a social diversity metric	1
Integration of clinical and genomic data to enhance precision medicine: a case of study applied to the retina-macula	1
From single-objective to multi-objective reinforcement learning-based model transformation	1
AI-powered model repair: an experience report—lessons learned, challenges, and opportunities	1
Modelling on mobile devices	1
How are informal diagrams used in software engineering? An exploratory study of open-source and industrial practices	1
SoSyM reflections: the 2021 "state of the journal" report	1
Model-based intelligent user interface adaptation: challenges and future directions	1
From network traffic data to business activities: a conceptualization and a recognition approach	1
Introduction to theme section on requirements formalisation	1
The sustainability assessment framework toolkit: a decade of modeling experience	1
A framework for conceptual characterization of ontologies and its application in the cybersecurity domain	1
Business process improvement with AB testing and reinforcement learning: grounded theory-based industry perspectives	1
Advanced testing and debugging support for reactive executable DSLs	1
Conflict management techniques for model merging: a systematic mapping review	1
A personal retrospective on language workbenches	1
Interactive log-delta analysis using multi-range filtering	1
Composable partial multiparty session types for open systems	1
Safety behavior abstraction and model evolution in autonomous driving	1
Lazy model checking for recursive state machines	1
Redescription mining-based business process deviance analysis	1
RBPMN: the value of roles for business process modeling	1
Model hybridization: towards a unifying theory for inductive and deductive reasoning	1
Universal conceptual modeling: principles, benefits, and an agenda for conceptual modeling research	1
On the relationship between models and ontologies	1
Guest editorial for EMMSAD’2022 special section	1
Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools	1
CalcGraph: taming the high costs of deep learning using models	1
Live process modeling with the BPMN Sketch Miner	1
Quo Vadis modeling?	1
Understanding the need for assistance in software modeling: interviews with experts	1
Guest editorial for the special section on MODELS 2021	1
Early timing analysis based on scenario requirements and platform models	1
Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3)	1
Using DSLs to manage consistency in long-lived enterprise language specifications	1
Correction: A framework for embedded software portability and verification: from formal models to low-level code	1
Research software engineering and the importance of scientific models	1
Semi-automatic service value network modeling approach based on external public data	1
R-IO SUITE: integration of LLM-based AI into a knowledge management and model-driven based platform dedicated to crisis management	1
Requirements specification using templates: a model-driven approach	1
Guest editorial for the special section on SEFM 2020 and 2021	1
A framework for evaluating tool support for co-evolution of modeling languages, tools and models	1
Formal reconfiguration model for cloud resources	1
Gamification of business process modeling education: an experimental analysis	1
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements	1
Extract, model, refine: improved modelling of program verification tools through data enrichment	1