Articles

1. Modular language product lines: concept, tool and analysis

   • Juan de Lara
   • Esther Guerra
   • Paolo Bottoni

   Special Section Paper Open access 28 May 2024

   

2. Application and evaluation of interlinked approaches for modeling changing capabilities

   • Georgios Koutsopoulos
   • Anna Andersson
   • Martin Henkel

   Special Section Paper Open access 20 May 2024

   

3. Going beyond templates: composition and evolution in nested OSTRICH

   • João Costa Seco
   • Hugo Lourenço
   • Carla Ferreira

   Special Section Paper Open access 20 May 2024

   

4. Correction: Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities

   • Rodrigo F. Calhau
   • João Paulo A. Almeida
   • Giancarlo Guizzardi

   Publisher Correction Open access 10 May 2024

   

5. Generating domain models from natural language text using NLP: a benchmark dataset and experimental comparison of tools

   • Fatma Bozyigit
   • Tolgahan Bardakci
   • Michel R. V. Chaudron

   Theme Section Paper 08 May 2024

   

6. Guest editorial for the special section on SEFM 2020 and 2021

   • Frank S. de Boer
   • Antonio Cerone

   Guest Editorial Open access 30 April 2024 Pages: 285 - 287

7. Establishing interoperability between EMF and MSDKVS: an M3-level-bridge to transform metamodels and models

   • Florian Cesal
   • Dominik Bork

   Special Section Paper Open access 30 April 2024

   

8. What makes a good modeling research contribution?

   • Richard F. Paige
   • Jordi Cabot

   Expert Voice 29 April 2024

9. Accelerating similarity-based model matching using dual hashing

   • Xiao He
   • Yi Liu
   • Huihong He

   Special Section Paper 29 April 2024

   

10. On the application of process management and process mining to Industry 4.0

    • Flavia Monti
    • Jerin George Mathew
    • Massimo Mecella

    Special Section Paper Open access 25 April 2024

    

11. Gamification of business process modeling education: an experimental analysis

    • Giacomo Garaccione
    • Riccardo Coppola
    • Marco Torchiano

    Regular Paper Open access 18 April 2024

    

12. Current trends in digital twin development, maintenance, and operation: an interview study

    • Hossain Muhammad Muctadir
    • David A. Manrique Negrin
    • Boudewijn R. Haverkort

    Regular Paper Open access 18 April 2024

    

13. Improving repair of semantic ATL errors using a social diversity metric

    • Zahra VaraminyBahnemiry
    • Jessie Galasso
    • Houari Sahraoui

    Regular Paper 18 April 2024

    

14. Guest editorial to the special section on SEFM’22

    • Bernd-Holger Schlingloff
    • Ming Chai

    Guest Editorial Open access 16 April 2024

15. Empirically evaluating modeling language ontologies: the Peira framework

    • Sotirios Liaskos
    • Saba Zarbaf
    • Shakil M. Khan

    Regular Paper 16 April 2024

    

16. Guest editorial to the theme section on Trends in Enterprise Architecture Research

    • Sybren de Kinderen
    • Dominik Bork

    Guest Editorial 12 April 2024

17. Model-based code generation works: But how far does it go?—on the role of the generator

    • Benoit Combemale
    • Jeff Gray
    • Bernhard Rumpe

    Editorial Open access 08 April 2024 Pages: 267 - 268

18. From enterprise models to low-code applications: mapping DEMO to Mendix; illustrated in the social housing domain

    • Marien R. Krouwel
    • Martin Op ’t Land
    • Henderik A. Proper

    Special Section Paper Open access 08 April 2024

    

19. Correction: A framework for embedded software portability and verification: from formal models to low-level code

    • Renata Martins Gomes
    • Bernhard Aichernig
    • Marcel Baunach

    Correction Open access 04 April 2024 Pages: 317 - 317

20. Active model learning of stochastic reactive systems (extended version)

    • Edi Muškardin
    • Martin Tappler
    • Ingo Pill

    Special Section Paper Open access 23 March 2024 Pages: 503 - 524

    

21. Learning minimal automata with recurrent neural networks

    • Bernhard K. Aichernig
    • Sandra König
    • Martin Tappler

    Special Section Paper Open access 21 March 2024

    

22. Lazy model checking for recursive state machines

    • Clemens Dubslaff
    • Patrick Wienhöft
    • Ansgar Fehnker

    Special Section Paper Open access 20 March 2024 Pages: 369 - 401

    

23. Exchanging information in cooperative software validation

    • Jan Haltermann
    • Heike Wehrheim

    Special Section Paper Open access 19 March 2024

    

24. Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements

    • Thuy Nguyen
    • Imen Sayar
    • Jean-Michel Bruel

    Theme Section Paper 16 March 2024

    

25. A model-based reference architecture for complex assistive systems and its application

    • Judith Michael
    • Volodymyr A. Shekhovtsov

    Regular Paper Open access 16 March 2024

    

26. A lightweight approach to nontermination inference using Constrained Horn Clauses

    • Bishoksan Kafle
    • Graeme Gange
    • Peter J. Stuckey

    Special Section Paper 14 March 2024 Pages: 319 - 342

    

27. User journey games: automating user-centric analysis

    • Paul Kobialka
    • S. Lizeth Tapia Tarifa
    • Einar Broch Johnsen

    Special Section Paper Open access 14 March 2024

    

28. Modeling competences in enterprise architecture: from knowledge, skills, and attitudes to organizational capabilities

    • Rodrigo F. Calhau
    • João Paulo A. Almeida
    • Giancarlo Guizzardi

    Theme Section Paper Open access 05 March 2024

    

29. Circular systems engineering

    • Istvan David
    • Dominik Bork
    • Gerti Kappel

    Expert Voice 29 February 2024 Pages: 269 - 283

    

30. FloBP: a model-driven approach for developing and executing IoT-enhanced business processes

    • Arianna Fedeli
    • Fabrizio Fornari
    • Pedro Valderas

    Regular Paper Open access 28 February 2024

    

31. A technique for discovering BPMN collaboration diagrams

    • Flavio Corradini
    • Sara Pettinari
    • Francesco Tiezzi

    Special Section Paper 28 February 2024

    

32. Report on the state of the SoSyM journal (2023 summary)

    • Stéphanie Challita
    • Benoit Combemale
    • Martin Schindler

    Editorial Open access 19 February 2024 Pages: 1 - 5

    

33. Ontology-based security modeling in ArchiMate

    • Ítalo Oliveira
    • Tiago Prince Sales
    • Giancarlo Guizzardi

    Special Section Paper Open access 16 February 2024

    

34. Toward an ontology for EA modeling and EA model quality

    • Jan A. H. Schoonderbeek
    • Henderik A. Proper

    Theme Section Paper Open access 03 February 2024

    

35. A framework for embedded software portability and verification: from formal models to low-level code

    • Renata Martins Gomes
    • Bernhard Aichernig
    • Marcel Baunach

    Special Section Paper Open access 01 February 2024 Pages: 289 - 315

    

36. P-stable abstractions of hybrid systems

    • Anna Becchi
    • Alessandro Cimatti
    • Enea Zaffanella

    Special Section Paper Open access 29 January 2024 Pages: 403 - 426

    

37. A refinement-based approach to safe smart contract deployment and evolution

    • Pedro Antonino
    • Juliandson Ferreira
    • Filipe Arruda

    Special Section Paper 25 January 2024

    

38. Assessing the testing skills transfer of model-based testing on testing skill acquisition

    • Felix Cammaerts
    • Monique Snoeck

    Special Section Paper 22 January 2024

    

39. Modeling more software performance antipatterns in cyber-physical systems

    • Riccardo Pinciroli
    • Connie U. Smith
    • Catia Trubiani

    Regular Paper Open access 20 December 2023

    

40. Special section of BPMDS’2021 business process improvement

    • Adriano Augusto
    • Selmin Nurcan
    • Rainer Schmidt

    Guest Editorial 18 December 2023 Pages: 1751 - 1753

41. Guest editorial for EMMSAD’2022 special section

    • Iris Reinhartz-Berger
    • Dominik Bork

    Guest Editorial 08 December 2023 Pages: 1855 - 1856

42. Adopting the concept of a function as an underlying semantic paradigm for modeling languages

    • Benoit Combemale
    • Jeff Gray
    • Bernhard Rumpe

    Editorial Open access 30 November 2023 Pages: 1733 - 1735

    

43. A theme section on the central role of modeling in designing and explaining data-driven systems and software

    • Christian Attiogbé
    • Sadok Ben Yahia
    • Ladjel Bellatreche

    Guest Editorial 22 November 2023 Pages: 1945 - 1947

44. Modeling and enforcing access control policies in conversational user interfaces

    • Elena Planas
    • Salvador Martínez
    • Jordi Cabot

    Special Section Paper Open access 22 November 2023 Pages: 1925 - 1944

    

45. What makes life for process mining analysts difficult? A reflection of challenges

    • Lisa Zimmermann
    • Francesca Zerbato
    • Barbara Weber

    Special Section Paper Open access 17 November 2023

    

46. On applying residual reasoning within neural network verification

    • Yizhak Yisrael Elboher
    • Elazar Cohen
    • Guy Katz

    Special Section Paper 16 November 2023

    

47. On the persistent rumors of the programmer’s imminent demise

    • Hessam Mohammadi
    • Wided Ghardallou
    • Ali Mili

    Expert Voice 15 November 2023 Pages: 1969 - 1976

    

48. From network traffic data to business activities: a conceptualization and a recognition approach

    • Moshe Hadad
    • Gal Engelberg
    • Pnina Soffer

    Special Section Paper 08 November 2023 Pages: 1827 - 1854

    

49. From process mining to augmented process execution

    • David Chapela-Campa
    • Marlon Dumas

    Expert Voice Open access 04 November 2023 Pages: 1977 - 1986

    

50. DEPS: a model- and property-based language for system synthesis problems

    • Pierre-Alain Yvars
    • Laurent Zimmer

    Regular Paper 19 October 2023