default search action
Software and Systems Modeling, Volume 20
Volume 20, Number 1, February 2021
- Hüseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler:
SoSyM reflections: the 2020 "State of the Journal" report. 1-5 - Heinrich C. Mayr, Bernhard Thalheim:
The triptych of conceptual modeling. 7-24 - Iris Reinhartz-Berger, Jelena Zdravkovic:
Guest editorial for EMMSAD'2019 special section. 25-26 - Azzam Maraee, Arnon Sturm:
Imperative versus declarative constraint specification languages: a controlled experiment. 27-48 - Xin Dong, Tong Li, Rui Song, Zhiming Ding:
Profiling users via their reviews: an extended systematic mapping study. 49-69 - Andreas L. Opdahl, Bjørnar Tessem:
Ontologies for finding journalistic angles. 71-87 - Drazen Brdjanin, Stefan Ilic, Goran Banjac, Danijela Banjac, Slavko Maric:
Automatic derivation of conceptual database models from differently serialized business process models. 89-115 - Alex R. Sabau, Simon Hacks, Andreas Steffens:
Implementation of a continuous delivery pipeline for enterprise architecture model evolution. 117-145 - Georgios Koutsopoulos, Martin Henkel, Janis Stirna:
An analysis of capability meta-models for expressing dynamic business transformation. 147-174 - Bastian Tenbergen, Thorsten Weyer:
Generation of hazard relation diagrams: formalization and tool support. 175-210 - Safdar Aqeel Safdar, Hong Lu, Tao Yue, Shaukat Ali, Kunming Nie:
A framework for automated multi-stage and multi-step product configuration of cyber-physical systems. 211-265 - Karim Jahed, Mojtaba Bagherzadeh, Juergen Dingel:
On the benefits of file-level modularity for EMF models. 267-286
Volume 20, Number 2, April 2021
- Jeff Gray, Bernhard Rumpe:
Reflections on the standardization of SysML 2. 287-289 - Peter Csaba Ölveczky, Gwen Salaün:
Software engineering and formal methods: SEFM 2019 special section. 291-292 - Yusuke Kawamoto:
An epistemic approach to the formal specification of statistical machine learning. 293-310 - Mario Bravetti, Gianluigi Zavattaro:
Asynchronous session subtyping as communicating automata refinement. 311-333 - Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
An operational guide to monitorability with applications to regular properties. 335-361 - Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat:
Reproducible execution of POSIX programs with DiOS. 363-382 - I. S. W. B. Prasetya, Rick Klomp:
Test model coverage analysis under uncertainty: extended version. 383-403 - Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher:
Mutation testing with hyperproperties. 405-427 - Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet:
An improved approach on the model checking for an agent-based simulation system. 429-445 - Deniz Akdur, Bilge Say, Onur Demirörs:
Modeling cultures of the embedded software industry: feedback from the field. 447-467 - Stefan Götz, Matthias Tichy, Raffaela Groner:
Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review. 469-503 - Estefanía Coronado, Valentín Valero, Luis Orozco-Barbosa, María-Emilia Cambronero, Fernando L. Pelayo:
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets. 505-538 - Roland Kretschmer, Djamel Eddine Khelladi, Roberto Erick Lopez-Herrejon, Alexander Egyed:
Consistent change propagation within models. 539-555 - Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Specification and automated verification of atomic concurrent real-time transactions. 557-589
Volume 20, Number 3, June 2021
- Jeff Gray, Bernhard Rumpe:
Modeling in the large: model libraries. 591-593 - Bran Selic:
Specifying dynamic software system architectures. 595-605 - Eugene Syriani, Manuel Wimmer:
Guest editorial to the theme section on Multi-Paradigm Modeling for Cyber-Physical Systems. 607-609 - Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann:
Multi-paradigm modelling for cyber-physical systems: a descriptive framework. 611-639 - Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani:
An actor-based framework for asynchronous event-based cyber-physical systems. 641-665 - Rodrigo Cortés Porto, Daniela Genius, Ludovic Apvrille:
Handling causality and schedulability when designing and prototyping cyber-physical systems. 667-683 - Sebastian Pilarski, Martin Staniszewski, Matthew Bryan, Frederic Villeneuve, Dániel Varró:
Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime. 685-709 - Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot:
Guaranteed master for interval-based cosimulation. 711-724 - Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Implementing QVT-R via semantic interpretation in UML-RSDS. 725-766 - Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo:
Wodel-Test: a model-based framework for language-independent mutation testing. 767-793 - Mojtaba Bagherzadeh, Karim Jahed, Benoît Combemale, Juergen Dingel:
Live modeling in the context of state machine models and code generation. 795-819 - Feng Zhu, Jun Tang:
Graphical composite modeling and simulation for multi-aircraft collision avoidance. 821-835 - Stefan Klikovits, Didier Buchs:
Pragmatic reuse for DSML development. 837-866 - David Granada, Juan M. Vara, Mercedes G. Merayo, Esperanza Marcos:
CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF. 867-895 - Weslley Torres, Mark G. J. van den Brand, Alexander Serebrenik:
A systematic literature review of cross-domain model consistency checking by model management tools. 897-916
Volume 20, Number 4, August 2021
- Jeff Gray, Bernhard Rumpe, Juha-Pekka Tolvanen:
A domain-specific modeling milestone. 917-918 - Iris Reinhartz-Berger, Jelena Zdravkovic:
Guest editorial for EMMSAD'2020 special section. 919-920 - Roman Lukyanenko, Veda C. Storey, Oscar Pastor:
Foundations of information technology based on Bunge's systemist philosophy of reality. 921-938 - Dominik Bork, Ben Roelens:
A technique for evaluating and improving the semantic transparency of modeling language notations. 939-963 - Rick Gilsing, Anna Wilbik, Paul Grefen, Oktay Türetken, Baris Özkan, Onat Ege Adali, Frank Berkers:
Defining business model key performance indicators using intentional linguistic summaries. 965-996 - Elena Planas, Gwendal Daniel, Marco Brambilla, Jordi Cabot:
Towards a model-driven approach for multiexperience AI-based user interfaces. 997-1009 - Gala Barquero, Javier Troya, Antonio Vallecillo:
Improving query performance on dynamic graphs. 1011-1041 - Matias Pol'la, Agustina Buccella, Alejandra Cechich:
Analysis of variability models: a systematic literature review. 1043-1077 - Pierre A. Akiki, Hoda W. Maalouf:
CHECKSUM: tracking changes and measuring contributions in cooperative systems modeling. 1079-1122 - Swaib Dragule, Thorsten Berger, Claudio Menghi, Patrizio Pelliccione:
A survey on the design space of end-user-oriented languages for specifying robotic missions. 1123-1158 - Arvind Nair, Xia Ning, James H. Hill:
Using recommender systems to improve proactive modeling. 1159-1181 - Javier Troya, Nathalie Moreno, Manuel F. Bertoa, Antonio Vallecillo:
Uncertainty representation in software models: a survey. 1183-1213 - Greta Adamo, Chiara Ghidini, Chiara Di Francescomarino:
What is a process model composed of? 1215-1243 - Adriano Augusto, Marlon Dumas, Marcello La Rosa, Sander J. J. Leemans, Seppe K. L. M. vanden Broucke:
Optimization framework for DFG-based automated process discovery approaches. 1245-1270 - Hao Wu, Marie Farrell:
A formal approach to finding inconsistencies in a metamodel. 1271-1298 - Stefan Tomaszek, Roland Speith, Andy Schürr:
Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniques. 1299-1332
Volume 20, Number 5, October 2021
- Jeff Gray, Bernhard Rumpe:
The wild-west of modeling (Revisited). 1333-1334 - Silvia Abrahão, Emilio Insfrán, Arthur Sluÿters, Jean Vanderdonckt:
Model-based intelligent user interface adaptation: challenges and future directions. 1335-1349 - Jens Gulden:
Special section of business process modeling, development and support (BPMDS) 2019: transformative BPMDS. 1351-1352 - Fernanda Gonzalez-Lopez, Luise Pufahl, Jorge Munoz-Gama, Valeria Herskovic, Marcos Sepúlveda:
Case model landscapes: toward an improved representation of knowledge-intensive processes using the fCM-language. 1353-1377 - Martin Käppel, Lars Ackermann, Stefan Schönig, Stefan Jablonski:
Language-independent look-ahead for checking multi-perspective declarative process models. 1379-1401 - Sebastian Steinau, Kevin Andrews, Manfred Reichert:
Coordinating large distributed relational process structures. 1403-1435 - Amine Abbad Andaloussi, Francesca Zerbato, Andrea Burattin, Tijs Slaats, Thomas T. Hildebrandt, Barbara Weber:
Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud. 1437-1464 - Ronny Seiger, Romina Kühn, Mandy Korzetz, Uwe Aßmann:
HoloFlows: modelling of processes for the Internet of Things in mixed reality. 1465-1489 - Mahsa Panahandeh, Mohammad Hamdaqa, Bahman Zamani, Abdelwahab Hamou-Lhadj:
MUPPIT: a method for using proper patterns in model transformations. 1491-1523 - Siamak Farshidi, Slinger Jansen, Sven Fortuin:
Model-driven development platform selection: four industry case studies. 1525-1551 - Shahar Maoz, Jan Oliver Ringert:
Spectra: a specification language for reactive systems. 1553-1586 - Maher Fakih, Oliver Klemp, Stefan Puch, Kim Grüttner:
A modeling methodology for collaborative evaluation of future automotive innovations. 1587-1608 - Stéphanie Challita, Fabian Korte, Johannes Erbel, Faiez Zalila, Jens Grabowski, Philippe Merle:
Model-based cloud resource management with TOSCA and OCCI. 1609-1631 - Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion:
Coupling solvers with model transformations to generate explorable model sets. 1633-1652 - Jaime Font, Lorena Arcega, Øystein Haugen, Carlos Cetina:
Handling nonconforming individuals in search-based model-driven engineering: nine generic strategies for feature location in the modeling space of the meta-object facility. 1653-1688 - Sina Madani, Dimitris S. Kolovos, Richard F. Paige:
Distributed model validation with Epsilon. 1689-1712 - Oszkár Semeráth, Aren A. Babikian, Boqi Chen, Chuning Li, Kristóf Marussy, Gábor Szárnyas, Dániel Varró:
Automated generation of consistent, diverse and structurally realistic graph models. 1713-1734 - Gábor Bergmann:
Controllable and decomposable multidirectional synchronizations. 1735-1774
Volume 20, Number 6, December 2021
- Jeff Gray, Bernhard Rumpe:
Reference models: how can we leverage them? 1775-1776 - Dorina C. Petriu:
Integrating the analysis of multiple non-functional properties in model-driven engineering. 1777-1791 - Tao Yue, Silvia Abrahão, Man Zhang:
Guest editorial to the special section of models 2019. 1793-1795 - Phuong Thanh Nguyen, Juri Di Rocco, Ludovico Iovino, Davide Di Ruscio, Alfonso Pierantonio:
Evaluation of a machine learning classifier for metamodels. 1797-1821 - Phuong Thanh Nguyen, Juri Di Rocco, Ludovico Iovino, Davide Di Ruscio, Alfonso Pierantonio:
Correction to: Evaluation of a machine learning classifier for metamodels. 1823 - Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy:
Unified verification and monitoring of executable UML specifications. 1825-1855 - Alexandru Burdusel, Steffen Zschaler, Stefan John:
Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering. 1857-1887 - Beatriz A. Sánchez, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige, Justin C. Cooper, Jason Hampson:
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries. 1889-1918 - Dennis Priefer, Wolf Rost, Daniel Strüber, Gabriele Taentzer, Peter Kneisel:
Applying MDD in the content management system domain. 1919-1943 - Stefan Kugele, Philipp Obergfell, Eric Sax:
Model-based resource analysis and synthesis of service-oriented automotive software architectures. 1945-1975 - Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan:
Testing cockpit display systems of aircraft using a model-based approach. 1977-2002 - Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi:
Model-driven engineering city spaces via bidirectional model transformations. 2003-2022 - Sam Procter, Lutz Wrage:
Guided architecture trade space exploration: fusing model-based engineering and design by shopping. 2023-2045 - Nadia Hammoudeh Garcia, Harshavardhan Deshpande, André Santos, Björn Kahl, Mirko Bordignon:
Bootstrapping MDE development from ROS manual code: Part 2 - Model generation and leveraging models at runtime. 2047-2070 - Damiano Torre, Mauricio Alférez, Ghanem Soltana, Mehrdad Sabetzadeh, Lionel C. Briand:
Modeling data protection and privacy: application and experience with GDPR. 2071-2087 - Ioannis Routis, Cleopatra Bardaki, Georgia Dede, Mara Nikolaidou, Thomas Kamalakis, Dimosthenis Anagnostopoulos:
CMMN evaluation: the modelers' perceptions of the main notation elements. 2089-2109 - Alexander Boll, Florian Brokhausen, Tiago Amorim, Timo Kehrer, Andreas Vogelsang:
Characteristics, potentials, and limitations of open-source Simulink projects for empirical research. 2111-2130 - Josep Sànchez-Ferreres, Andrea Burattin, Josep Carmona, Marco Montali, Lluís Padró, Luis Quishpi:
Unleashing textual descriptions of business processes. 2131-2153 - Sasa Kuhar, Gregor Polancic:
Conceptualization, measurement, and application of semantic transparency in visual notations. 2155-2197
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.