default search action
Software and Systems Modeling, Volume 22
Volume 22, Number 1, February 2023
- Stéphanie Challita, Benoît Combemale, Hüseyin Ergin, Jeffrey G. Gray
, Bernhard Rumpe
Report on the State of the SoSyM Journal end of 2022. 1-7 - Iris Reinhartz-Berger, Jelena Zdravkovic
Guest editorial for EMMSAD'2021 special section. 9-11 - Anne Gutschmidt
Participatory modeling from a stakeholder perspective: On the influence of collaboration and revisions on psychological ownership and perceived model quality. 13-29 - Simon Hacks
Measuring and achieving test coverage of attack simulations extended version. 31-46 - Sebastian Gottschalk, Enes Yigitbas, Alexander Nowosad, Gregor Engels:
Continuous situation-specific development of business models: knowledge provision, method composition, and method enactment. 47-73 - Victoria Döller
MetaMorph: formalization of domain-specific conceptual modeling methods - an evaluative case study, juxtaposition and empirical assessment. 75-110 - Charlotte Verbruggen
Practitioners' experiences with model-driven engineering: a meta-review. 111-129 - Flavio Corradini
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development. 131-158 - José Fabián Reyes Román
Integration of clinical and genomic data to enhance precision medicine: a case of study applied to the retina-macula. 159-174 - Hana Mkaouar, Dominique Blouin, Etienne Borde:
A benchmark of incremental model transformation tools based on an industrial case study with AADL. 175-201 - Juri Di Rocco
MemoRec: a recommender system for assisting modelers in specifying metamodels. 203-223 - Aida Lahouij
Formal reconfiguration model for cloud resources. 225-245 - Mohamed El-Attar
Evaluating the accessibility of a PoN-enabled misuse case notation by the red-green colorblind community. 247-272 - Katja Tuma, Sven Peldszus
Checking security compliance between models and code. 273-296 - Luciano Marchezan
Generating repairs for inconsistent models. 297-329 - Kalle Hjerppe
Extracting LPL privacy policy purposes from annotated web service source code. 331-349 - Roman Nesterov
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach. 351-375 - José Miguel Horcas
Empirical analysis of the tool support for software product lines. 377-414 - Istvan David
Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study. 415-447
Volume 22, Number 2, April 2023
- Benoît Combemale, Jeff Gray
How to define modeling languages? 449-451 - Manfred Broy, Albrecht Schmidt, Martin Wirsing:
In memory of Heinrich Hussmann, long-time friend and SoSyM editor. 453-454 - Steffen Zschaler
Trustworthy agent-based simulation: the case for domain-specific modelling languages. 455-470 - Gwen Salaün:
Editorial for FACS 2021 special section (SoSyM). 471-472 - Claude Stolze, Marino Miculan
Composable partial multiparty session types for open systems. 473-494 - Elena Di Lavore
Span(Graph): a canonical feedback algebra of open transition systems. 495-520 - Jan Martens
Linear parallel algorithms to compute strong and branching bisimilarity. 521-545 - Estefanía Serral
Guest editorial to the special section on PoEM'2021. 547-550 - Henderik A. Proper
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory. 551-571 - Chen Hsi Tsai
A method for digital business ecosystem design: situational method engineering in an action research project. 573-598 - Isaac da Silva Torres
Guidelines to derive an e3value business model from a BPMN process model: an experiment on real-world scenarios. 599-618 - Nikolay Shilov
Machine learning for enterprise modeling assistance: an investigation of the potential and proof of concept. 619-646 - Qin Ma
Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view. 647-666 - Nicolai Schützenmeier, Martin Käppel, Lars Ackermann, Stefan Jablonski, Sebastian Petter:
Automaton-based comparison of Declare process models. 667-685 - Nicolai Schützenmeier
Correction: Automaton-based comparison of Declare process models. 687 - Massimiliano Masi
Securing critical infrastructures with a cybersecurity digital twin. 689-707 - Zeynep Ozturk Yurt
Context-aware modeling for knowledge-intensive medicinal product development processes. 709-731 - José Serna, Nancy A. Day
Dash: declarative behavioural modelling in Alloy with control state hierarchy. 733-749 - Jingying Wang, Chao Ma, Huixin Xu, Zhiying Tu, Xiaofei Xu, Hanchuan Xu, Zhongjie Wang:
Semi-automatic service value network modeling approach based on external public data. 751-775
Volume 22, Number 3, June 2023
- Benoît Combemale, Jeff Gray
ChatGPT in software modeling. 777-779 - Javier Cámara
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML. 781-793 - Benoît Combemale, Romina Eramo
Guest editorial for the theme section on modeling language engineering. 795-796 - Artur Boronat:
Safe reuse in modelling language engineering using model subtyping with OCL constraints. 797-818 - Faezeh Khorram, Erwan Bousse
Advanced testing and debugging support for reactive executable DSLs. 819-845 - Mark van den Brand
A personal retrospective on language workbenches. 847-850 - Awais Tanveer
Tracing security requirements in industrial control systems using graph databases. 851-870 - Faiez Zalila
MoDMaCAO: a model-driven framework for the design, validation and configuration management of cloud applications based on OCCI. 871-889 - Alessio Bucaioni, Amleto Di Salle
Reference architectures modelling and compliance checking. 891-917 - Mingyi Liu, Zhiying Tu, Xiaofei Xu, Zhongjie Wang, Yan Wang
A data-driven approach for constructing multilayer network-based service ecosystem models. 919-939 - Mehran Rivadeh
Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application. 941-968 - Ivan Compagnucci
A systematic literature review on IoT-aware business process modeling views, requirements and notations. 969-1004 - Kristina Rosenthal
Modeling difficulties in creating conceptual data models. 1005-1030 - Mohammadreza Sharbaf
Conflict management techniques for model merging: a systematic mapping review. 1031-1079
Volume 22, Number 4, August 2023
- Benoît Combemale, Jeffrey G. Gray, Bernhard Rumpe
Research software engineering and the importance of scientific models. 1081-1083 - Alessio Bucaioni, Federico Ciccozzi, Amleto Di Salle
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model. 1085-1097 - Kate Revoredo
On the use of domain knowledge for process model repair. 1099-1111 - Oliver Kautz
The complexities of the satisfiability checking problems of feature diagram sublanguages. 1113-1129 - Istvan David
Real-time collaborative multi-level modeling by conflict-free replicated data types. 1131-1150 - Joe Lorentz
CalcGraph: taming the high costs of deep learning using models. 1151-1174 - Alejandra Ruiz
Modeling ecosystems of reference frameworks for assurance: a case on privacy impact assessment regulation and guidelines. 1175-1196 - Dimitrios S. Kolovos, Alfonso de la Vega
Flexmi: a generic and modular textual syntax for domain-specific modelling. 1197-1215 - Edson Alves da Silva, Robson do Nascimento Fidalgo, Marcio Ferro, Natália Franco:
Visual query languages to design complex queries: a systematic literature review. 1217-1249 - Tong Ye
MBIPV: a model-based approach for identifying privacy violations from software requirements. 1251-1280 - Stefan John, Jens Kosiol, Leen Lambers, Gabriele Taentzer:
A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties. 1281-1318 - Steffen Zschaler
A generic framework for representing and analyzing model concurrency. 1319-1340 - Marné de Vries, Petra Opperman:
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software. 1341-1368 - Antonio Bucchiarone
Gamifying model-based engineering: the PapyGame experience. 1369-1389
Volume 22, Number 5, October 2023
- Benoît Combemale, Jeff Gray, Bernhard Rumpe:
Large language models as an "operating" system for software and systems modeling. 1391-1392 - Shiva Nejati, Dániel Varró:
Guest editorial for the special section on MODELS 2021. 1393-1396 - Enes Yigitbas, Simon Gorissen, Nils Weidmann, Gregor Engels:
Design and evaluation of a collaborative UML modeling environment in virtual reality. 1397-1425 - Claudio Di Sipio
MORGAN: a modeling recommender system based on graph kernel. 1427-1449 - Eric Mercer
Synthesizing verified components for cyber assured systems engineering. 1451-1471 - Torin Viger, Logan Murphy, Alessio Di Sandro
The ForeMoSt approach to building valid model-based safety arguments. 1473-1494 - Alexander Schultheiß
RaQuN: a generic and scalable n-way model matching algorithm. 1495-1517 - Maysam Zoor
Execution trace analysis for a precise understanding of latency violations. 1519-1541 - Michael Austin Langford, Kenneth H. Chan
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty. 1543-1563 - Majid Babaei
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development. 1565-1587 - Ragnhild Halvorsrud
Involving users in the development of a modeling language for customer journeys. 1589-1618 - Bianca Wiesmayr
Assessing the usefulness of a visual programming IDE for large-scale automation software. 1619-1643 - Hugo Lourenço, Carla Ferreira
OSTRICH: a rich template language for low-code development (extended version). 1645-1663 - James Harbin, Simos Gerasimou, Nicholas Drivalos Matragkas, Thanos Zolotas, Radu Calinescu, Misael Alpizar Santana
Model-driven design space exploration for multi-robot systems in simulation. 1665-1688 - Gauthier Lyan, Jean-Marc Jézéquel
Reasoning over time into models with DataTime. 1689-1712 - Monika Jaskolka
Repository mining for changes in Simulink and Stateflow models. 1713-1732
Volume 22, Number 6, December 2023
- Benoît Combemale, Jeff Gray, Bernhard Rumpe:
Adopting the concept of a function as an underlying semantic paradigm for modeling languages. 1733-1735 - Mario Gleirscher
A manifesto for applicable formal methods. 1737-1749 - Adriano Augusto, Selmin Nurcan, Rainer Schmidt:
Special section of BPMDS'2021 business process improvement. 1751-1753 - Yael Dubinsky, Pnina Soffer, Irit Hadar:
Detecting cross-case associations in an event log: toward a pattern-based detection. 1755-1777 - Monique Snoeck
Supporting data-aware processes with MERODE. 1779-1802 - Amin Jalali
Evaluating user acceptance of knowledge-intensive business process modeling languages. 1803-1826 - Moshe Hadad
From network traffic data to business activities: a conceptualization and a recognition approach. 1827-1854 - Iris Reinhartz-Berger
Guest editorial for EMMSAD'2022 special section. 1855-1856 - Simon Curty
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review. 1857-1895 - Renata S. S. Guizzardi, Glenda C. M. Amaral, Giancarlo Guizzardi, John Mylopoulos:
An ontology-based approach to engineering ethicality requirements. 1897-1923 - Elena Planas
Modeling and enforcing access control policies in conversational user interfaces. 1925-1944 - J. Christian Attiogbé, Sadok Ben Yahia
A theme section on the central role of modeling in designing and explaining data-driven systems and software. 1945-1947 - Artur Boronat:
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time. 1949-1968 - Hessam Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili:
On the persistent rumors of the programmer's imminent demise. 1969-1976 - David Chapela-Campa
From process mining to augmented process execution. 1977-1986 - Mandira Roy
Correlating contexts and NFR conflicts from event logs. 1987-2010
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-05 20:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: