


default search action
Software and Systems Modeling, Volume 19
Volume 19, Number 1, January 2020
- Hüseyin Ergin, Jeff Gray
, Bernhard Rumpe
, Martin Schindler:
SoSyM reflections: the 2019 "state of the journal" report. 1-4 - Antonio Bucchiarone
, Jordi Cabot
, Richard F. Paige
, Alfonso Pierantonio:
Grand challenges in model-driven engineering: an analysis of the state of the research. 5-13 - Jeff Gray
, Vinay Kulkarni
:
Introduction to the special section of the 20th International Conference on Model-Driven Engineering Languages and Systems (MODELS'17). 15-16 - Athanasios Zolotas
, Horacio Hoyos Rodriguez
, Stuart Hutchesson, Beatriz Sanchez Piña
, Alan Grigg, Mole Li, Dimitrios S. Kolovos
, Richard F. Paige:
Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon. 17-38 - Perdita Stevens:
Maintaining consistency in networks of models: bidirectional transformations in the large. 39-65 - Andreas Wortmann, Olivier Barais
, Benoît Combemale, Manuel Wimmer:
Modeling languages in Industry 4.0: an extended systematic mapping study. 67-94 - Iván Ruiz-Rube
, Tatiana Person
, Juan Manuel Dodero
, José Miguel Mota
, Javier Merchán Sánchez-Jara
:
Applying static code analysis for domain-specific languages. 95-110 - Sabine Wolny
, Alexandra Mazak, Christine Carpella, Verena Geist, Manuel Wimmer:
Thirteen years of SysML: a systematic mapping study. 111-169 - Gabriele De Vito
, Filomena Ferrucci
, Carmine Gravino:
Design and automation of a COSMIC measurement procedure based on UML models. 171-198 - Fazilat Hojaji, Bahman Zamani
, Abdelwahab Hamou-Lhadj
, Tanja Mayerhofer, Erwan Bousse
:
Lossless compaction of model execution traces. 199-230 - Rick Salay, Sahar Kokaly, Alessio Di Sandro
, Nick L. S. Fung, Marsha Chechik:
Heterogeneous megamodel management using collection operators. 231-260
Volume 19, Number 2, March 2020
- Jeff Gray
, Bernhard Rumpe
:
Compositional model analysis. 261-262 - Manuel Leduc, Thomas Degueule
, Eric Van Wyk, Benoît Combemale:
The Software Language Extension Problem. 263-267 - Iris Reinhartz-Berger, Sérgio Guerreiro
:
Guest editorial for EMMSAD'2018 special section. 269-270 - Haralambos Mouratidis, Shaun Shei
, Aidan J. Delaney:
A security requirements modelling language for cloud computing environments. 271-295 - Noa Roy-Hubara
, Arnon Sturm
:
Design methods for the new database era: a systematic literature review. 297-312 - Sybren de Kinderen, Monika Kaczmarek-Heß
:
On model-based analysis of organizational structures: an assessment of current modeling approaches and application of multi-level modeling in support of design and analysis of organizational structures. 313-343 - Constantina Ioannou, Indira Nurdiani
, Andrea Burattin, Barbara Weber
:
Mining reading patterns from eye-tracking data: method and demonstration. 345-369 - Janis Kampars
, Jelena Zdravkovic
, Janis Stirna, Janis Grabis
:
Extending organizational capabilities with Open Data to support sustainable and dynamic business ecosystems. 371-398 - Jesús Sánchez Cuadrado, Arend Rensink:
Special section on ICMT at STAF 2018. 399-400 - Juri Di Rocco
, Davide Di Ruscio
, Johannes Härtel, Ludovico Iovino
, Ralf Lämmel, Alfonso Pierantonio:
Understanding MDE projects: megamodels to the rescue for architecture recovery. 401-423 - Zheng Cheng, Massimo Tisi, Rémi Douence:
CoqTL: a Coq DSL for rule-based model transformation. 425-439 - Jean-Michel Bruel, Benoît Combemale, Esther Guerra
, Jean-Marc Jézéquel
, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani
, Hans Vangheluwe
:
Comparing and classifying model transformation reuse approaches across metamodels. 441-465 - Mattia Salnitri
, Konstantinos Angelopoulos, Michalis Pavlidis
, Vasiliki Diamantopoulou, Haralambos Mouratidis, Paolo Giorgini
:
Modelling the interplay of security, privacy and trust in sociotechnical systems: a computer-aided design approach. 467-491 - Eneias Silva
, Alessandro Ferreira Leite, Vander Alves, Sven Apel
:
ExpRunA : a domain-specific approach for technology-oriented experiments. 493-526
Volume 19, Number 3, May 2020
- Jeff Gray
, Bernhard Rumpe
:
Modeling dynamic structures. 527-528 - Selmin Nurcan, Rainer Schmidt
:
Special section of BPMDS'2017: enabling business transformation by business process modeling, development and support. 529-530 - Jens Gulden, Andrea Burattin, Amine Abbad Andaloussi
, Barbara Weber
:
From analytical purposes to data visualizations: a decision process guided by a conceptual framework and eye tracking. 531-554 - Nikolaos Argyropoulos, Haralambos Mouratidis, Andrew Fish
:
Enhancing secure business process design with security process patterns. 555-577 - John S. Fitzgerald
, Fuyuki Ishikawa, Peter Gorm Larsen
:
Editorial to the theme section on model-based engineering of smart systems. 579-580 - Mihai Neghina
, Constantin-Bala Zamfirescu
, Ken Pierce:
Early-stage analysis of cyber-physical production systems through collaborative modelling. 581-600 - Maurizio Palmieri
, Cinzia Bernardeschi
, Paolo Masci
:
A framework for FMI-based co-simulation of human-machine interfaces. 601-623 - Juan Carlos Vidal
, Paulo Carreira, Vasco Amaral, Joao Aguiam, João Miguel da Costa Sousa
:
Towards high-level fuzzy control specifications for building automation systems. 625-646 - Anthony Anjorin, Thomas Buchmann
, Bernhard Westfechtel, Zinovy Diskin, Hsiang-Shang Ko
, Romina Eramo
, Georg Hinkel
, Leila Samimi-Dehkordi, Albert Zündorf:
Benchmarking bidirectional transformations: theory, implementation, application, and assessment. 647-691 - Ferenc Attila Somogyi
, Márk Asztalos:
Systematic review of matching techniques used in model-driven methodologies. 693-720 - Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi:
Transitive-closure-based model checking (TCMC) in Alloy. 721-740 - Milena Guessi
, Flávio Oquendo, Elisa Yumi Nakagawa:
Ark: a constraint-based method for architectural synthesis of smart systems. 741-762 - Enyo José Tavares Gonçalves, Camilo C. Almendra, Miguel Goulão
, João Araújo
, Jaelson Castro
:
Using empirical studies to mitigate symbol overload in iStar extensions. 763-784
Volume 19, Number 4, July 2020
- Hüseyin Ergin, Jeff Gray
, Bernhard Rumpe
:
Models as the subject of education. 785-786 - Trygve Mikkjel Heyerdahl Reenskaug:
Personal programming and the object computer. 787-824 - Andrzej Wasowski
, Richard F. Paige, Øystein Haugen:
Guest editorial to the special section on MODELS 2018. 825-826 - Hugo Bruneliere
, Florent Marchand de Kerchove, Gwendal Daniel, Sina Madani, Dimitris S. Kolovos
, Jordi Cabot
:
Scalable model views over heterogeneous modeling technologies and resources. 827-851 - Bernhard Westfechtel, Sandra Greiner
:
Extending single- to multi-variant model transformations by trace-based propagation of variability annotations. 853-888 - Peter Munk
, Arne Nordmann
:
Model-based safety assessment with SysML and component fault trees: application and lessons learned. 889-910 - Johannes Eder, Sebastian Voss, Andreas Bayha, Alexandru Ipatiov, Maged Khalil:
Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures. 911-934 - Perdita Stevens:
Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels. 935-958 - Nicolas Hili, Mojtaba Bagherzadeh, Karim Jahed, Juergen Dingel:
A model-based architecture for interactive run-time monitoring. 959-981 - Étienne André
, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu
, Jin Song Dong:
Automated synthesis of local time requirement for service composition. 983-1013 - Dorian Leroy, Erwan Bousse
, Manuel Wimmer, Tanja Mayerhofer, Benoît Combemale, Wieland Schwinger:
Behavioral interfaces for executable DSLs. 1015-1043
Volume 19, Number 5, September 2020
- Gunter Mussbacher, Benoît Combemale, Jörg Kienzle, Silvia Abrahão
, Hyacinth Ali, Nelly Bencomo, Márton Búr, Loli Burgueño, Gregor Engels, Pierre Jeanjean, Jean-Marc Jézéquel
, Thomas Kühn, Sébastien Mosser
, Houari A. Sahraoui, Eugene Syriani, Dániel Varró
, Martin Weyssow:
Opportunities in intelligent modeling assistance. 1045-1053 - Anthony Anjorin, Alfonso Pierantonio, Salvador Trujillo, Huáscar Espinoza Ortiz:
Modeling research in recent years: special section on ECMFA 2017 and ECMFA 2018. 1055-1056 - Enes Yigitbas, Ivan Jovanovikj, Kai Biermeier, Stefan Sauer, Gregor Engels:
Integrated model-driven development of self-adaptive user interfaces. 1057-1081 - Ran Wei
, Athanasios Zolotas
, Horacio Hoyos Rodriguez
, Simos Gerasimou, Dimitrios S. Kolovos
, Richard F. Paige:
Automatic generation of UML profile graphical editors for Papyrus. 1083-1106 - Adrian Rutle, Ludovico Iovino
, Harald König, Zinovy Diskin:
A query-retyping approach to model transformation co-evolution. 1107-1138 - Jesús Sánchez Cuadrado
:
A verified catalogue of OCL optimisations. 1139-1161 - Manuel F. Bertoa
, Loli Burgueño
, Nathalie Moreno
, Antonio Vallecillo
:
Incorporating measurement uncertainty into OCL/UML primitive datatypes. 1163-1189 - Qusai Ramadan
, Daniel Strüber
, Mattia Salnitri
, Jan Jürjens, Volker Riediger, Steffen Staab
:
A semi-automated BPMN-based framework for detecting conflicts between security, data-minimization, and fairness requirements. 1191-1227 - Abel Gómez
, Xabier Mendialdua
, Konstantinos Barmpis
, Gábor Bergmann, Jordi Cabot
, Xabier De Carlos
, Csaba Debreceni, Antonio Garmendia, Dimitrios S. Kolovos
, Juan de Lara:
Scalable modeling technologies in the wild: an experience report on wind turbines control applications development. 1229-1261 - Sadaf Mustafiz, Omar Hassane, Guillaume Dupont, Ferhat Khendek
, Maria Toeroe:
Model-driven process enactment for NFV systems with MAPLE. 1263-1282 - Alessio Bucaioni, Saad Mubeen, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin:
Modelling multi-criticality vehicular software systems: evolution of an industrial component model. 1283-1302
Volume 19, Number 6, November 2020
- Jens Gulden, Rainer Schmidt
:
Special section of business process modeling, development and support (BPMDS) 2018: new perspectives for business process modeling, development and support. 1303-1305 - Ario Santoso
, Michael Felderer:
Specification-driven predictive business process monitoring. 1307-1343 - Niek Tax
, Irene Teinemaa, Sebastiaan J. van Zelst:
An interdisciplinary comparison of sequence modeling methods for next-element prediction. 1345-1365 - Marcin Hewelt, Luise Pufahl
, Sankalita Mandal
, Felix Wolff, Mathias Weske
:
Toward a methodology for case modeling. 1367-1393 - Ioannis Routis
, Mara Nikolaidou, Dimosthenis Anagnostopoulos:
Empirical evaluation of CMMN models: a collaborative process case study. 1395-1413 - Cristina Cabanillas, Lars Ackermann, Stefan Schönig
, Christian Sturm, Jan Mendling:
The RALph miner for automated discovery and verification of resource-aware process models. 1415-1441 - Stefan Schönig
, Lars Ackermann, Stefan Jablonski, Andreas Ermer:
IoT meets BPM: a bidirectional communication architecture for IoT-aware process execution. 1443-1459 - Federico Ciccozzi, Antonio Cicchetti, Andreas Wortmann:
Editorial to theme section on interplay of model-driven and component-based software engineering. 1461-1463 - David Santiago Velasco Moncada:
Hazard-driven realization views for Component Fault Trees. 1465-1481 - Bence Graics
, Vince Molnár
, András Vörös, István Majzik, Dániel Varró
:
Mixed-semantics composition of statecharts for the component-based design of reactive systems. 1483-1517 - Kousar Aslam, Loek Cleophas, Ramon R. H. Schiffelers, Mark van den Brand
:
Interface protocol inference to aid understanding legacy software components. 1519-1540 - Matias Urbieta, Sergio Firmenich
, Gabriela Bosetti, Pedro Maglione, Gustavo Rossi, Miguel Angel Olivero
:
MDWA: a model-driven Web augmentation approach - coping with client- and server-side support. 1541-1566 - Tao Chen, Michael Schiek, Jürgen Dammers
, N. Jon Shah
, Stefan van Waasen:
Requirement-driven model-based development methodology applied to the design of a real-time MEG data processing unit. 1567-1587

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.