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, Martin Schindler:
Report on the State of the SoSyM Journal end of 2022. 1-7 - Iris Reinhartz-Berger, Jelena Zdravkovic, Asif Gill:
Guest editorial for EMMSAD'2021 special section. 9-11 - Anne Gutschmidt, Birger Lantow, Ben Hellmanzik, Ben Ramforth, Matteo Wiese, Erko Martins:
Participatory modeling from a stakeholder perspective: On the influence of collaboration and revisions on psychological ownership and perceived model quality. 13-29 - Simon Hacks, Linus Persson, Nicklas Hersén:
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, Dimitris Karagiannis, Wilfrid Utz:
MetaMorph: formalization of domain-specific conceptual modeling methods - an evaluative case study, juxtaposition and empirical assessment. 75-110 - Charlotte Verbruggen, Monique Snoeck:
Practitioners' experiences with model-driven engineering: a meta-review. 111-129 - Flavio Corradini, Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re:
FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development. 131-158 - José Fabián Reyes Román, Ana León Palacio, Alberto García Simón, Rubén Cabrera Beyrouti, Oscar Pastor:
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, Davide Di Ruscio, Claudio Di Sipio, Phuong T. Nguyen, Alfonso Pierantonio:
MemoRec: a recommender system for assisting modelers in specifying metamodels. 203-223 - Aida Lahouij, Lazhar Hamel, Mohamed Graiet:
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, Daniel Strüber, Riccardo Scandariato, Jan Jürjens:
Checking security compliance between models and code. 273-296 - Luciano Marchezan, Roland Kretschmer, Wesley K. G. Assunção, Alexander Reder, Alexander Egyed:
Generating repairs for inconsistent models. 297-329 - Kalle Hjerppe, Jukka Ruohonen, Ville Leppänen:
Extracting LPL privacy policy purposes from annotated web service source code. 331-349 - Roman Nesterov, Luca Bernardinello, Irina A. Lomazova, Lucia Pomello:
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach. 351-375 - José Miguel Horcas, Mónica Pinto, Lidia Fuentes:
Empirical analysis of the tool support for software product lines. 377-414 - Istvan David, Malvina Latifaj, Jakob Pietron, Weixing Zhang, Federico Ciccozzi, Ivano Malavolta, Alexander Raschke, Jan-Philipp Steghöfer, Regina Hebig:
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, Bernhard Rumpe:
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, Fiona A. C. Polack:
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, Pietro Di Gianantonio:
Composable partial multiparty session types for open systems. 473-494 - Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski:
Span(Graph): a canonical feedback algebra of open transition systems. 495-520 - Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs:
Linear parallel algorithms to compute strong and branching bisimilarity. 521-545 - Estefanía Serral, Janis Stirna, Jolita Ralyté, Janis Grabis:
Guest editorial to the special section on PoEM'2021. 547-550 - Henderik A. Proper, Roel Wagter, Joost Bekel:
On enterprise coherence governance with GEA: a 15-year co-evolution of practice and theory. 551-571 - Chen Hsi Tsai, Jelena Zdravkovic, Fredrik Söder:
A method for digital business ecosystem design: situational method engineering in an action research project. 573-598 - Isaac da Silva Torres, Marcelo Fantinato, Gabriela Musse Branco, Jaap Gordijn:
Guidelines to derive an e3value business model from a BPMN process model: an experiment on real-world scenarios. 599-618 - Nikolay Shilov, Walaa Othman, Michael Fellmann, Kurt Sandkuhl:
Machine learning for enterprise modeling assistance: an investigation of the potential and proof of concept. 619-646 - Qin Ma, Monika Kaczmarek-Heß, Sybren de Kinderen:
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, Martin Käppel, Lars Ackermann, Stefan Jablonski, Sebastian Petter:
Correction: Automaton-based comparison of Declare process models. 687 - Massimiliano Masi, Giovanni Paolo Sellitto, Helder Aranha, Tanja Pavleska:
Securing critical infrastructures with a cybersecurity digital twin. 689-707 - Zeynep Ozturk Yurt, Rik Eshuis, Anna Wilbik, Irene T. P. Vanderfeesten:
Context-aware modeling for knowledge-intensive medicinal product development processes. 709-731 - José Serna, Nancy A. Day, Shahram Esmaeilsabzali:
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, Bernhard Rumpe:
ChatGPT in software modeling. 777-779 - Javier Cámara, Javier Troya, Lola Burgueño, Antonio Vallecillo:
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML. 781-793 - Benoît Combemale, Romina Eramo, Juan de Lara:
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, Jean-Marie Mottu, Gerson Sunyé:
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, Chandan Sharma, Roopak Sinha, Matthew M. Y. Kuo:
Tracing security requirements in industrial control systems using graph databases. 851-870 - Faiez Zalila, Fabian Korte, Johannes Erbel, Stéphanie Challita, Jens Grabowski, Philippe Merle:
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, Ludovico Iovino, Ivano Malavolta, Patrizio Pelliccione:
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, Seyed-Hassan Mirian-Hosseinabadi:
Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application. 941-968 - Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi:
A systematic literature review on IoT-aware business process modeling views, requirements and notations. 969-1004 - Kristina Rosenthal, Stefan Strecker, Monique Snoeck:
Modeling difficulties in creating conceptual data models. 1005-1030 - Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé:
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, Mikael Sjödin:
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, Eugene Syriani:
Real-time collaborative multi-level modeling by conflict-free replicated data types. 1131-1150 - Joe Lorentz, Thomas Hartmann, Assaad Moawad, François Fouquet, Djamila Aouada, Yves Le Traon:
CalcGraph: taming the high costs of deep learning using models. 1151-1174 - Alejandra Ruiz, Yod Samuel Martín, Jabier Martinez, Jacobo Quintans, Guillaume Mockly, Amelie Gyrard, Tommaso Crepax:
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, Yi Zhuang, Gongzhe Qiao:
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, Erwan Bousse, Julien Deantoni, Benoît Combemale:
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, Maxime Savary-Leblanc, Xavier Le Pallec, Antonio Cicchetti, Sébastien Gérard, Simone Bassanelli, Federica Gini, Annapaola Marconi:
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, Juri Di Rocco, Davide Di Ruscio, Phuong T. Nguyen:
MORGAN: a modeling recommender system based on graph kernel. 1427-1449 - Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin:
Synthesizing verified components for cyber assured systems engineering. 1451-1471 - Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik:
The ForeMoSt approach to building valid model-based safety arguments. 1473-1494 - Alexander Schultheiß, Paul Maximilian Bittner, Alexander Boll, Lars Grunske, Thomas Thüm, Timo Kehrer:
RaQuN: a generic and scalable n-way model matching algorithm. 1495-1517 - Maysam Zoor, Ludovic Apvrille, Renaud Pacalet, Sophie Coudert:
Execution trace analysis for a precise understanding of latency violations. 1519-1541 - Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng:
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty. 1543-1563 - Majid Babaei, Juergen Dingel:
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development. 1565-1587 - Ragnhild Halvorsrud, Odnan Ref Sanchez, Costas Boletsis, Marita Skjuve:
Involving users in the development of a modeling language for customer journeys. 1589-1618 - Bianca Wiesmayr, Alois Zoitl, Rick Rabiser:
Assessing the usefulness of a visual programming IDE for large-scale automation software. 1619-1643 - Hugo Lourenço, Carla Ferreira, João Costa Seco, Joana Parreira:
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, David Gross-Amblard, Romain Lefeuvre, Benoît Combemale:
Reasoning over time into models with DataTime. 1689-1712 - Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford:
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, Jaco van de Pol, Jim Woodcock:
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, Charlotte Verbruggen, Johannes De Smedt, Jochen De Weerdt:
Supporting data-aware processes with MERODE. 1779-1802 - Amin Jalali:
Evaluating user acceptance of knowledge-intensive business process modeling languages. 1803-1826 - Moshe Hadad, Gal Engelberg, Pnina Soffer:
From network traffic data to business activities: a conceptualization and a recognition approach. 1827-1854 - Iris Reinhartz-Berger, Dominik Bork:
Guest editorial for EMMSAD'2022 special section. 1855-1856 - Simon Curty, Felix Härer, Hans-Georg Fill:
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, Salvador Martínez, Marco Brambilla, Jordi Cabot:
Modeling and enforcing access control policies in conversational user interfaces. 1925-1944 - J. Christian Attiogbé, Sadok Ben Yahia, Ladjel Bellatreche:
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, Marlon Dumas:
From process mining to augmented process execution. 1977-1986 - Mandira Roy, Souvick Das, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki:
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.