Software and Systems Modeling

Article	Citations
Low-code development and model-driven engineering: Two sides of the same coin?	48
Cyber security threat modeling based on the MITRE Enterprise ATT&CK Matrix	43
Opportunities in intelligent modeling assistance	37
IoT meets BPM: a bidirectional communication architecture for IoT-aware process execution	33
The triptych of conceptual modeling	31
Uncertainty representation in software models: a survey	30
HoloFlows: modelling of processes for the Internet of Things in mixed reality	23
Spectra: a specification language for reactive systems	23
A systematic literature review of cross-domain model consistency checking by model management tools	22
An interdisciplinary comparison of sequence modeling methods for next-element prediction	22
Recommending metamodel concepts during modeling activities with pre-trained language models	21
Modelling in low-code development: a multi-vocal systematic review	19
Recommender systems in model-driven engineering	18
Multi-paradigm modelling for cyber–physical systems: a descriptive framework	16
Model-driven development platform selection: four industry case studies	16
Characteristics, potentials, and limitations of open-source Simulink projects for empirical research	15
Wodel-Test: a model-based framework for language-independent mutation testing	15
An ontological metamodel for cyber-physical system safety, security, and resilience coengineering	15
Mixed-semantics composition of statecharts for the component-based design of reactive systems	15
A technique for evaluating and improving the semantic transparency of modeling language notations	15
Empirical analysis of the tool support for software product lines	15
Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study	14
Modelling multi-criticality vehicular software systems: evolution of an industrial component model	14
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML	14
On the adoption of blockchain for business process monitoring	14

Automated, interactive, and traceable domain modelling empowered by artificial intelligence	14
Model-driven engineering for mobile robotic systems: a systematic mapping study	13
MIKADO: a smart city KPIs assessment modeling framework	13
Model-based intelligent user interface adaptation: challenges and future directions	12
ModelSet: a dataset for machine learning in model-driven engineering	12
Probabilistic modelling and verification using RoboChart and PRISM	12
An operational guide to monitorability with applications to regular properties	11
Evaluation of a machine learning classifier for metamodels	10
A generic LSTM neural network architecture to infer heterogeneous model transformations	10
A model-driven approach to machine learning and software modeling for the IoT	10
Towards a model-driven approach for multiexperience AI-based user interfaces	10
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets	10
aCHAT-WF: Generating conversational agents for teaching business process models	10
Behavioral interfaces for executable DSLs	9
Practitioners’ experiences with model-driven engineering: a meta-review	9
Modeling data protection and privacy: application and experience with GDPR	9
An efficient and scalable search engine for models	8
Model-based cloud resource management with TOSCA and OCCI	8
Ontologies for finding journalistic angles	8
Model-based resource analysis and synthesis of service-oriented automotive software architectures	8
Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering	8
Consistent change propagation within models	8
Defining business model key performance indicators using intentional linguistic summaries	7
A descriptive study of assumptions in STRIDE security threat modeling	7
The uncertainty interaction problem in self-adaptive systems	7
Securing critical infrastructures with a cybersecurity digital twin	7
Testing cockpit display systems of aircraft using a model-based approach	7
An analysis of capability meta-models for expressing dynamic business transformation	7
Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud	7
Automated conceptual model clustering: a relator-centric approach	7
Unified verification and monitoring of executable UML specifications	7
Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size	6
The RALph miner for automated discovery and verification of resource-aware process models	6
Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures	6
AI-powered model repair: an experience report—lessons learned, challenges, and opportunities	6
Multi-dimensional multi-level modeling	6
Bootstrapping MDE development from ROS manual code: Part 2—Model generation and leveraging models at runtime	6
Automated generation of consistent, diverse and structurally realistic graph models	6
MemoRec: a recommender system for assisting modelers in specifying metamodels	6
Reference architectures modelling and compliance checking	6
Agile MERODE: a model-driven software engineering method for user-centric and value-based development	6
Foundations of information technology based on Bunge’s systemist philosophy of reality	6
A survey on the design space of end-user-oriented languages for specifying robotic missions	6
Multi-level modeling: cornerstones of a rationale	6
Integrating the analysis of multiple non-functional properties in model-driven engineering	6
Model-based assurance evidence management for safety–critical systems	6
Machine learning for enterprise modeling assistance: an investigation of the potential and proof of concept	6
Automatic derivation of conceptual database models from differently serialized business process models	6
Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels	6
Scalable model views over heterogeneous modeling technologies and resources	6

Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review	6
Empirical evaluation of CMMN models: a collaborative process case study	6
ChatGPT in software modeling	5
Guest editorial to the theme section on AI-enhanced model-driven engineering	5
Extending single- to multi-variant model transformations by trace-based propagation of variability annotations	5
Model-based test case generation and prioritization: a systematic literature review	5
Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review	5
Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach	5
Event-driven temporal models for explanations - ETeMoX: explaining reinforcement learning	5
Model-based fleet deployment in the IoT–edge–cloud continuum	5
Unleashing textual descriptions of business processes	5
Guiding the evolution of product-line configurations	5
On the benefits of file-level modularity for EMF models	5
Efficient model similarity estimation with robust hashing	5
Modeling cultures of the embedded software industry: feedback from the field	5
An actor-based framework for asynchronous event-based cyber-physical systems	5
Model-driven system-level validation and verification on the space software domain	5
What is a process model composed of?	5
A systematic literature review on IoT-aware business process modeling views, requirements and notations	5
Generating repairs for inconsistent models	5
Conflict management techniques for model merging: a systematic mapping review	5
Facilitating the migration to the microservice architecture via model-driven reverse engineering and reinforcement learning	4
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development	4
Requirements document relations	4
Live modeling in the context of state machine models and code generation	4
Real-time collaborative multi-level modeling by conflict-free replicated data types	4
Models: the fourth dimension of computer science	4
Instant and global consistency checking during collaborative engineering	4
Using recommender systems to improve proactive modeling	4
Analysis of variability models: a systematic literature review	4
CMMN evaluation: the modelers’ perceptions of the main notation elements	4
Interface protocol inference to aid understanding legacy software components	4
A modeling methodology for collaborative evaluation of future automotive innovations	4
Language-independent look-ahead for checking multi-perspective declarative process models	4
MUPPIT: a method for using proper patterns in model transformations	4
Correction to: Low-code development and model-driven engineering: Two sides of the same coin?	4
Specifying dynamic software system architectures	4
DSMCompare: domain-specific model differencing for graphical domain-specific languages	4
Applying MDD in the content management system domain	4
A formal approach to finding inconsistencies in a metamodel	4
Holistic data-driven requirements elicitation in the big data era	4
Design and evaluation of a collaborative UML modeling environment in virtual reality	3
Playground for multi-level modeling constructs	3
Promoting social diversity for the automated learning of complex MDE artifacts	3
Guidelines to derive an $$e^{3}value$$ business model from a BPMN process model: an experiment on real-world scenarios	3
Semi-automated metamodel/model co-evolution: a multi-level interactive approach	3
Handling nonconforming individuals in search-based model-driven engineering: nine generic strategies for feature location in the modeling space of the meta-object facility	3
Consistency management in industrial continuous model-based development settings: a reality check	3
Case model landscapes: toward an improved representation of knowledge-intensive processes using the fCM-language	3
Suggesting model transformation repairs for rule-based languages using a contract-based testing approach	3
A manifesto for applicable formal methods	3
A search-based approach for detecting circular dependency bad smell in goal-oriented models	3
Hazard-driven realization views for Component Fault Trees	3
An improved approach on the model checking for an agent-based simulation system	3
Reflections on the standardization of SysML 2	3
Profiling users via their reviews: an extended systematic mapping study	3
AI-driven streamlined modeling: experiences and lessons learned from multiple domains	3
Integration of clinical and genomic data to enhance precision medicine: a case of study applied to the retina-macula	3
A query-retyping approach to model transformation co-evolution	3
GoRIM: a model-driven method for enhancing regulatory intelligence	3
Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime	3
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view	3
Involving users in the development of a modeling language for customer journeys	3
Recommendations for visual feedback about problems within BPMN process models	3
Model-driven engineering city spaces via bidirectional model transformations	3
Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniques	3
Conceptualization, measurement, and application of semantic transparency in visual notations	3
Incremental execution of temporal graph queries over runtime models with history and its applications	3
Bridging the model-to-code abstraction gap with fuzzy logic in model-based regression test selection	3
Interactive log-delta analysis using multi-range filtering	3
Coordinating large distributed relational process structures	3
Pragmatic reuse for DSML development	2
A method for digital business ecosystem design: situational method engineering in an action research project	2
Modeling should be an independent scientific discipline	2
Synthesizing verified components for cyber assured systems engineering	2
Evaluating user acceptance of knowledge-intensive business process modeling languages	2
Specification and analysis of legal contracts with Symboleo	2
Model-driven development of asynchronous message-driven architectures with AsyncAPI	2
Coupling solvers with model transformations to generate explorable model sets	2
Explicit versus implicit models: What are good languages for modeling?	2

Using DevOps toolchains in Agile model-driven engineering	2
Mutation testing with hyperproperties	2
Asynchronous session subtyping as communicating automata refinement	2
Repository mining for changes in Simulink and Stateflow models	2
Participatory modeling from a stakeholder perspective: On the influence of collaboration and revisions on psychological ownership and perceived model quality	2
OSTRICH: a rich template language for low-code development (extended version)	2
A framework for automated multi-stage and multi-step product configuration of cyber-physical systems	2
Extracting LPL privacy policy purposes from annotated web service source code	2
An epistemic approach to the formal specification of statistical machine learning	2
Detecting cross-case associations in an event log: toward a pattern-based detection	2
Continuous situation-specific development of business models: knowledge provision, method composition, and method enactment	2
Automatic generation of UML profile graphical editors for Papyrus	2
Introduction to the theme section on Agile model-driven engineering	2
Improving query performance on dynamic graphs	2
Accidental complexity in multilevel modeling revisited	2
Decision-making under uncertainty: be aware of your priorities	2
Utilizing multi-level concepts for multi-phase modeling	2
Optimization framework for DFG-based automated process discovery approaches	2
Automaton-based comparison of Declare process models	2
Graphical composite modeling and simulation for multi-aircraft collision avoidance	2
Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits	2
Enhancing software model encoding for feature location approaches based on machine learning techniques	2
Business process modeling language selection for research modelers	2
Trustworthy agent-based simulation: the case for domain-specific modelling languages	2
The ForeMoSt approach to building valid model-based safety arguments	2
Implementing QVT-R via semantic interpretation in UML-RSDS	2
A framework for conceptual characterization of ontologies and its application in the cybersecurity domain	2
SOCAM: a service-oriented computing architecture modeling method	2
Assessing the usefulness of a visual programming IDE for large-scale automation software	2
RaQuN: a generic and scalable n-way model matching algorithm	2
Multilevel modeling of geographic information systems based on international standards	2
Reproducible execution of POSIX programs with DiOS	2
Analysing factors impacting BPMS performance: a case of a challenged technology adoption	2
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach	2
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries	2