-
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements Softw. Syst. Model. (IF 2.0) Pub Date : 2024-03-16 Thuy Nguyen, Imen Sayar, Sophie Ebersold, Jean-Michel Bruel
-
A model-based reference architecture for complex assistive systems and its application Softw. Syst. Model. (IF 2.0) Pub Date : 2024-03-16 Judith Michael, Volodymyr A. Shekhovtsov
-
User journey games: automating user-centric analysis Softw. Syst. Model. (IF 2.0) Pub Date : 2024-03-14 Paul Kobialka, S. Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen
-
A lightweight approach to nontermination inference using Constrained Horn Clauses Softw. Syst. Model. (IF 2.0) Pub Date : 2024-03-14 Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
-
Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities Softw. Syst. Model. (IF 2.0) Pub Date : 2024-03-05
Abstract Competence-based approaches have received increased attention, as the demand for qualified people with the right combination of competences establishes itself as a major factor of organizational performance. This paper examines how competences can be incorporated into Enterprise Architecture modeling: (i) we identify a key set of competence-related concepts such as knowledge, skills, and attitudes
-
Circular systems engineering Softw. Syst. Model. (IF 2.0) Pub Date : 2024-02-29
Abstract The perception of the value and propriety of modern engineered systems is changing. In addition to their functional and extra-functional properties, nowadays’ systems are also evaluated by their sustainability properties. The next generation of systems will be characterized by an overall elevated sustainability—including their post-life, driven by efficient value retention mechanisms. Current
-
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes Softw. Syst. Model. (IF 2.0) Pub Date : 2024-02-28 Arianna Fedeli, Fabrizio Fornari, Andrea Polini, Barbara Re, Victoria Torres, Pedro Valderas
-
A technique for discovering BPMN collaboration diagrams Softw. Syst. Model. (IF 2.0) Pub Date : 2024-02-28
Abstract The process mining domain is actively supported by techniques and tools addressing the discovery of single-participant business processes. In contrast, approaches for discovering collaboration models out of distributed data stored by multiple interacting participants are lacking. In this context, we propose a novel technique for discovering collaboration models from sets of event logs that
-
Ontology-based security modeling in ArchiMate Softw. Syst. Model. (IF 2.0) Pub Date : 2024-02-16 Ítalo Oliveira, Tiago Prince Sales, João Paulo A. Almeida, Riccardo Baratella, Mattia Fumagalli, Giancarlo Guizzardi
-
Toward an ontology for EA modeling and EA model quality Softw. Syst. Model. (IF 2.0) Pub Date : 2024-02-03 Jan A. H. Schoonderbeek, Henderik A. Proper
-
A framework for embedded software portability and verification: from formal models to low-level code Softw. Syst. Model. (IF 2.0) Pub Date : 2024-02-01 Renata Martins Gomes, Bernhard Aichernig, Marcel Baunach
-
P-stable abstractions of hybrid systems Softw. Syst. Model. (IF 2.0) Pub Date : 2024-01-29 Anna Becchi, Alessandro Cimatti, Enea Zaffanella
-
A refinement-based approach to safe smart contract deployment and evolution Softw. Syst. Model. (IF 2.0) Pub Date : 2024-01-25 Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe, Filipe Arruda
-
Assessing the testing skills transfer of model-based testing on testing skill acquisition Softw. Syst. Model. (IF 2.0) Pub Date : 2024-01-22
Abstract When creating a software model, it is necessary that it accurately captures the desired behaviour, while at the same time ensuring that any undesired behaviour is excluded. On the one hand, formal verification tools can be used to check the internal consistency of a software system, ensuring that the behaviour of one software component does not contradict another. On the other hand, software
-
Modeling more software performance antipatterns in cyber-physical systems Softw. Syst. Model. (IF 2.0) Pub Date : 2023-12-20 Riccardo Pinciroli, Connie U. Smith, Catia Trubiani
-
Special section of BPMDS’2021 business process improvement Softw. Syst. Model. (IF 2.0) Pub Date : 2023-12-18
Abstract The Business Process Modeling, Development and Support (BPMDS) working conference series, held in conjunction with CAiSE conferences, serve as a meeting place for researchers and practitioners in Business Process Modeling, Development, and Support. Business process analysis, design, and support, addressed by the BPMDS series, have been recognized as a central issue in information systems (IS)
-
Adopting the concept of a function as an underlying semantic paradigm for modeling languages Softw. Syst. Model. (IF 2.0) Pub Date : 2023-11-30 Benoit Combemale, Jeff Gray, Bernhard Rumpe
-
Modeling and enforcing access control policies in conversational user interfaces Softw. Syst. Model. (IF 2.0) Pub Date : 2023-11-22 Elena Planas, Salvador Martínez, Marco Brambilla, Jordi Cabot
-
What makes life for process mining analysts difficult? A reflection of challenges Softw. Syst. Model. (IF 2.0) Pub Date : 2023-11-17 Lisa Zimmermann, Francesca Zerbato, Barbara Weber
-
On applying residual reasoning within neural network verification Softw. Syst. Model. (IF 2.0) Pub Date : 2023-11-16 Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz
-
On the persistent rumors of the programmer’s imminent demise Softw. Syst. Model. (IF 2.0) Pub Date : 2023-11-15 Hessam Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili
-
From network traffic data to business activities: a conceptualization and a recognition approach Softw. Syst. Model. (IF 2.0) Pub Date : 2023-11-08 Moshe Hadad, Gal Engelberg, Pnina Soffer
-
From process mining to augmented process execution Softw. Syst. Model. (IF 2.0) Pub Date : 2023-11-04 David Chapela-Campa, Marlon Dumas
-
DEPS: a model- and property-based language for system synthesis problems Softw. Syst. Model. (IF 2.0) Pub Date : 2023-10-19 Pierre-Alain Yvars, Laurent Zimmer
-
Quo Vadis modeling? Softw. Syst. Model. (IF 2.0) Pub Date : 2023-10-10 Judith Michael, Dominik Bork, Manuel Wimmer, Heinrich C. Mayr
-
A formal component model for UML based on CSP aiming at compositional verification Softw. Syst. Model. (IF 2.0) Pub Date : 2023-10-04 Flávia Falcão, Lucas Lima, Augusto Sampaio, Pedro Antonino
-
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis Softw. Syst. Model. (IF 2.0) Pub Date : 2023-09-29 Bentley James Oakes, Javier Troya, Jessie Galasso, Manuel Wimmer
-
Quantitative modelling and analysis of BDI agents Softw. Syst. Model. (IF 2.0) Pub Date : 2023-08-28 Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
-
A manifesto for applicable formal methods Softw. Syst. Model. (IF 2.0) Pub Date : 2023-08-18 Mario Gleirscher, Jaco van de Pol, Jim Woodcock
Recently, formal methods have been used in large industrial organisations (including AWS, Facebook/Meta, and Microsoft) and have proved to be an effective part of a software engineering process finding important bugs. Perhaps because of that, practitioners are interested in using them more often. Nevertheless, formal methods are far less applied than expected, particularly for safety-critical systems
-
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification Softw. Syst. Model. (IF 2.0) Pub Date : 2023-08-17 Livia Lestingi, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
-
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis Softw. Syst. Model. (IF 2.0) Pub Date : 2023-08-11 Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
-
Evaluating user acceptance of knowledge-intensive business process modeling languages Softw. Syst. Model. (IF 2.0) Pub Date : 2023-08-02 Amin Jalali
-
Counterexample classification Softw. Syst. Model. (IF 2.0) Pub Date : 2023-07-26 Cole Vick, Eunsuk Kang, Stavros Tripakis
-
An ontology-based approach to engineering ethicality requirements Softw. Syst. Model. (IF 2.0) Pub Date : 2023-07-22 Renata Guizzardi, Glenda Amaral, Giancarlo Guizzardi, John Mylopoulos
-
Modelling guidance in software engineering: a systematic literature review Softw. Syst. Model. (IF 2.0) Pub Date : 2023-07-17 Shalini Chakraborty, Grischa Liebel
-
Model projection relative to submetamodeling dimensions Softw. Syst. Model. (IF 2.0) Pub Date : 2023-07-12 Bernard Carré, Gilles Vanwormhoudt, Olivier Caron
-
Verifying consistency of software product line architectures with product architectures Softw. Syst. Model. (IF 2.0) Pub Date : 2023-07-08 Hector A. Duran-Limon, Perla Velasco-Elizondo, Manuel Mora, Maria E. Meda-Campana, Karina Aguilar, Martha Hernandez-Ochoa, Leonardo Soto Sumuano
-
Scientific workflow execution in the cloud using a dynamic runtime model Softw. Syst. Model. (IF 2.0) Pub Date : 2023-06-23 Johannes Erbel, Jens Grabowski
-
Repository mining for changes in Simulink and Stateflow models Softw. Syst. Model. (IF 2.0) Pub Date : 2023-06-16 Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford
-
EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time Softw. Syst. Model. (IF 2.0) Pub Date : 2023-06-12 Artur Boronat
-
Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review Softw. Syst. Model. (IF 2.0) Pub Date : 2023-06-11 Simon Curty, Felix Härer, Hans-Georg Fill
-
Business process modeling language selection for research modelers Softw. Syst. Model. (IF 2.0) Pub Date : 2023-05-29 Siamak Farshidi, Izaak Beer Kwantes, Slinger Jansen
-
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML Softw. Syst. Model. (IF 2.0) Pub Date : 2023-05-22 Javier Cámara, Javier Troya, Lola Burgueño, Antonio Vallecillo
-
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model Softw. Syst. Model. (IF 2.0) Pub Date : 2023-05-19 Alessio Bucaioni, Federico Ciccozzi, Amleto Di Salle, Mikael Sjödin
-
Understanding the need for assistance in software modeling: interviews with experts Softw. Syst. Model. (IF 2.0) Pub Date : 2023-05-02 Maxime Savary-Leblanc, Xavier Le Pallec, Sébastien Gérard
-
Modelling assistants based on information reuse: a user evaluation for language engineering Softw. Syst. Model. (IF 2.0) Pub Date : 2023-04-17 Ángel Mora Segura, Juan de Lara, Manuel Wimmer
-
How do I find reusable models? Softw. Syst. Model. (IF 2.0) Pub Date : 2023-04-06 Maxim Bragilovski, Roni Stern, Arnon Sturm
-
MORGAN: a modeling recommender system based on graph kernel Softw. Syst. Model. (IF 2.0) Pub Date : 2023-04-04 Claudio Di Sipio, Juri Di Rocco, Davide Di Ruscio, Phuong T. Nguyen
-
Detecting cross-case associations in an event log: toward a pattern-based detection Softw. Syst. Model. (IF 2.0) Pub Date : 2023-04-01 Yael Dubinsky, Pnina Soffer, Irit Hadar
-
Span(Graph): a canonical feedback algebra of open transition systems Softw. Syst. Model. (IF 2.0) Pub Date : 2023-03-21 Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Paweł Sobociński
-
Synthesizing verified components for cyber assured systems engineering Softw. Syst. Model. (IF 2.0) Pub Date : 2023-03-21 Eric Mercer, Konrad Slind, Isaac Amundson, Darren Cofer, Junaid Babar, David Hardin
-
How to define modeling languages? Softw. Syst. Model. (IF 2.0) Pub Date : 2023-03-20 Benoit Combemale, Jeff Gray, Bernhard Rumpe
-
A personal retrospective on language workbenches Softw. Syst. Model. (IF 2.0) Pub Date : 2023-03-20 Mark van den Brand
Model-driven software engineering and specifically domain-specific languages have contributed to improve the quality of software and the efficiency in the development of software. However, the design and implementation of domain-specific languages requires still an enormous investment. Language workbenches are the most important tools in the field of software language engineering. The introduction
-
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty Softw. Syst. Model. (IF 2.0) Pub Date : 2023-03-18 Michael Austin Langford, Kenneth H. Chan, Jonathon Emil Fleck, Philip K. McKinley, Betty H. C. Cheng
-
SimIMA: a virtual Simulink intelligent modeling assistant Softw. Syst. Model. (IF 2.0) Pub Date : 2023-03-13 Bhisma Adhikari, Eric J. Rapos, Matthew Stephan
-
Supporting data-aware processes with MERODE Softw. Syst. Model. (IF 2.0) Pub Date : 2023-03-13 Monique Snoeck, Charlotte Verbruggen, Johannes De Smedt, Jochen De Weerdt
-
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development Softw. Syst. Model. (IF 2.0) Pub Date : 2023-03-06 Majid Babaei, Juergen Dingel
-
Gamifying model-based engineering: the PapyGame experience Softw. Syst. Model. (IF 2.0) Pub Date : 2023-03-04 Antonio Bucchiarone, Maxime Savary-Leblanc, Xavier Le Pallec, Antonio Cicchetti, Sébastien Gérard, Simone Bassanelli, Federica Gini, Annapaola Marconi
-
Improving active participation during enterprise operations modeling with an extended story-card-method and participative modeling software Softw. Syst. Model. (IF 2.0) Pub Date : 2023-03-01 Marne De Vries, Petra Opperman
-
Correlating contexts and NFR conflicts from event logs Softw. Syst. Model. (IF 2.0) Pub Date : 2023-02-25 Mandira Roy, Souvick Das, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki