1. Modeling dynamic structures

   • Jeff Gray
   • Bernhard Rumpe

   Editorial 04 April 2020 Pages: 527 - 528

2. Special section of BPMDS’2017: enabling business transformation by business process modeling, development and support

   • Selmin Nurcan
   • Rainer Schmidt

   Guest Editorial 17 December 2019 Pages: 529 - 530

3. From analytical purposes to data visualizations: a decision process guided by a conceptual framework and eye tracking

   • Jens Gulden
   • Andrea Burattin
   • Barbara Weber

   Special Section Paper 10 July 2019 Pages: 531 - 554

   

4. Enhancing secure business process design with security process patterns

   • Nikolaos Argyropoulos
   • Haralambos Mouratidis
   • Andrew Fish

   Special Section Paper 13 July 2019 Pages: 555 - 577

   

5. Editorial to the theme section on model-based engineering of smart systems

   • John Fitzgerald
   • Fuyuki Ishikawa
   • Peter Gorm Larsen

   Guest Editorial 26 September 2019 Pages: 579 - 580

6. Early-stage analysis of cyber-physical production systems through collaborative modelling

   • Mihai Neghina
   • Constantin-Bala Zamfirescu
   • Ken Pierce

   Theme Section Paper 20 September 2019 Pages: 581 - 600

   

7. A framework for FMI-based co-simulation of human–machine interfaces

   • Maurizio Palmieri
   • Cinzia Bernardeschi
   • Paolo Masci

   Theme Section Paper 20 September 2019 Pages: 601 - 623

   

8. Towards high-level fuzzy control specifications for building automation systems

   • Juan C. Vidal
   • Paulo Carreira
   • João Sousa

   Theme Section Paper 20 September 2019 Pages: 625 - 646

   

9. Benchmarking bidirectional transformations: theory, implementation, application, and assessment

   • Anthony Anjorin
   • Thomas Buchmann
   • Albert Zündorf

   Regular Paper 12 September 2019 Pages: 647 - 691

   

10. Systematic review of matching techniques used in model-driven methodologies

    • Ferenc Attila Somogyi
    • Mark Asztalos

    Regular Paper Open access 01 November 2019 Pages: 693 - 720

    

11. Transitive-closure-based model checking (TCMC) in Alloy

    • Sabria Farheen
    • Nancy A. Day
    • Ali Abbassi

    Regular Paper 03 January 2020 Pages: 721 - 740

    

12. Ark: a constraint-based method for architectural synthesis of smart systems

    • Milena Guessi
    • Flavio Oquendo
    • Elisa Yumi Nakagawa

    Regular Paper 01 November 2019 Pages: 741 - 762

    

13. Using empirical studies to mitigate symbol overload in iStar extensions

    • Enyo Gonçalves
    • Camilo Almendra
    • Jaelson Castro

    Regular Paper 12 December 2019 Pages: 763 - 784