Ausgabe 3/2020
Inhalt (13 Artikel)
Guest Editorial
Special section of BPMDS’2017: enabling business transformation by business process modeling, development and support
Selmin Nurcan, Rainer Schmidt
Special Section Paper
From analytical purposes to data visualizations: a decision process guided by a conceptual framework and eye tracking
Jens Gulden, Andrea Burattin, Amine A. Andaloussi, Barbara Weber
Special Section Paper
Enhancing secure business process design with security process patterns
Nikolaos Argyropoulos, Haralambos Mouratidis, Andrew Fish
Guest Editorial
Editorial to the theme section on model-based engineering of smart systems
John Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen
Theme Section Paper
Early-stage analysis of cyber-physical production systems through collaborative modelling
Mihai Neghina, Constantin-Bala Zamfirescu, Ken Pierce
Theme Section Paper
A framework for FMI-based co-simulation of human–machine interfaces
Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci
Theme Section Paper
Towards high-level fuzzy control specifications for building automation systems
Juan C. Vidal, Paulo Carreira, Vasco Amaral, Joao Aguiam, João Sousa
Regular Paper
Benchmarking bidirectional transformations: theory, implementation, application, and assessment
Anthony Anjorin, Thomas Buchmann, Bernhard Westfechtel, Zinovy Diskin, Hsiang-Shang Ko, Romina Eramo, Georg Hinkel, Leila Samimi-Dehkordi, Albert Zündorf
Open Access
Regular Paper
Systematic review of matching techniques used in model-driven methodologies
Ferenc Attila Somogyi, Mark Asztalos
Regular Paper
Transitive-closure-based model checking (TCMC) in Alloy
Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi
Regular Paper
Ark: a constraint-based method for architectural synthesis of smart systems
Milena Guessi, Flavio Oquendo, Elisa Yumi Nakagawa
Regular Paper
Using empirical studies to mitigate symbol overload in iStar extensions
Enyo Gonçalves, Camilo Almendra, Miguel Goulão, João Araújo, Jaelson Castro