Issue 3/2019
Theme Section on model-based design of Cyber-Physical Systems; MODELS 2016 Special Section; EMMSAD 2017 Special Section
Content (33 Articles)
Editorial to the theme section on model-based design of cyber-physical systems
Manfred Broy, Heinrich Daembkes, Janos Sztipanovits
Basic problems in multi-view modeling
Jan Reineke, Christos Stergiou, Stavros Tripakis
Rigorous design of cyber-physical systems
Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel
A model-based design approach for simulation and virtual prototyping of automotive control systems using port-Hamiltonian systems
Siyuan Dai, Zhenkai Zhang, Xenofon Koutsoukos
Hybrid co-simulation: it’s about time
Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
Guest editorial for the special section on MODELS 2016
Jörg Kienzle, Alexander Pretschner
Metamodel specialization for graphical language support
Audris Kalnins, Janis Barzdins
Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations
Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró
Advanced prefetching and caching of models with PrefetchML
Gwendal Daniel, Gerson Sunyé, Jordi Cabot
Handling index-out-of-bounds in safety-critical embedded C code using model-based development
Gunter Blache
Guest editorial for EMMSAD’2017 special section
Iris Reinhartz-Berger, Wided Guédria, Palash Bera
What practitioners really want: requirements for visual notations in conceptual modeling
Dirk van der Linden, Irit Hadar, Anna Zamansky
Method engineering in information systems analysis and design: a balanced scorecard approach for method improvement
Kurt Sandkuhl, Ulf Seigerroth
An experiment in model-driven conceptual database design
Drazen Brdjanin, Goran Banjac, Danijela Banjac, Slavko Maric
Evaluating the comprehension of means-ends maps
Jumana Nassour, Michael Elhadad, Arnon Sturm, Eric Yu
On leveraging the fruits of research efforts in the arena of business process modeling formalisms: a map-driven approach for decision making
Afef Awadid, Selmin Nurcan, Sonia Ayachi Ghannouchi
A feature-based survey of model view approaches
Hugo Bruneliere, Erik Burger, Jordi Cabot, Manuel Wimmer
Introducing probabilistic reasoning within Event-B
Mohamed Amine Aouadhi, Benoît Delahaye, Arnaud Lanoix
A model-driven framework for developing multi-agent systems in emergency response environments
Samaneh HoseinDoost, Tahereh Adamzadeh, Bahman Zamani, Afsaneh Fatemi
An integrated metamodel-based approach to software model refactoring
Mohammed Misbhauddin, Mohammad Alshayeb
Template-based model generation
Xiao He, Tian Zhang, Minxue Pan, Zhiyi Ma, Chang-Jun Hu
Transforming XML schemas into OWL ontologies using formal concept analysis
Mokhtaria Hacherouf, Safia Nait-Bahloul, Christophe Cruz
Consolidation of database check constraints
Nikola Obrenović, Ivan Luković, Sonja Ristić
Multidimensional context modeling applied to non-functional analysis of software
Luca Berardinelli, Marco Bernardo, Vittorio Cortellessa, Antinisca Di Marco
Enabling automated requirements reuse and configuration
Yan Li, Tao Yue, Shaukat Ali, Li Zhang
Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them
Dina Zayan, Atrisha Sarkar, Michał Antkiewicz, Rita Suzana Pitangueira Maciel, Krzysztof Czarnecki
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism
Simona Bernardi, Stefano Marrone, José Merseguer, Roberto Nardone, Valeria Vittorini
Tradeoffs in modeling performance of highly configurable software systems
Sergiy Kolesnikov, Norbert Siegmund, Christian Kästner, Alexander Grebhahn, Sven Apel
An integrated conceptual model for information system security risk management supported by enterprise architecture management
Nicolas Mayer, Jocelyn Aubert, Eric Grandry, Christophe Feltus, Elio Goettelmann, Roel Wieringa
Execution of UML models: a systematic review of research and practice
Federico Ciccozzi, Ivano Malavolta, Bran Selic