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