


default search action
Software and Systems Modeling, Volume 21
Volume 21, Number 1, February 2022
- Hüseyin Ergin, Jeff Gray

, Bernhard Rumpe
, Martin Schindler:
SoSyM reflections: the 2021 "state of the journal" report. 1-7 - Bernhard Thalheim:

Models: the fourth dimension of computer science. 9-18 - Giuseppina Lucia Casalaro, Giulio Cattivera, Federico Ciccozzi

, Ivano Malavolta
, Andreas Wortmann, Patrizio Pelliccione:
Model-driven engineering for mobile robotic systems: a systematic mapping study. 19-49 - Alexander Kraas:

On the automation-supported derivation of domain-specific UML profiles considering static semantics. 51-79 - Roberto Rodríguez-Echeverría

, Fernando Macías
, Adrian Rutle, José María Conejero:
Suggesting model transformation repairs for rule-based languages using a contract-based testing approach. 81-112 - Georgios Bakirtzis

, Tim Sherburne, Stephen C. Adams, Barry M. Horowitz, Peter A. Beling, Cody H. Fleming:
An ontological metamodel for cyber-physical system safety, security, and resilience coengineering. 113-137 - Loli Burgueño

, Jordi Cabot, Shuai Li, Sébastien Gérard
:
A generic LSTM neural network architecture to infer heterogeneous model transformations. 139-156 - Wenjun Xiong

, Emeline Legrand, Oscar Åberg, Robert Lagerström
:
Cyber security threat modeling based on the MITRE Enterprise ATT&CK Matrix. 157-177 - Léa Brunschwig

, Esther Guerra
, Juan de Lara:
Modelling on mobile devices. 179-205 - Walter Cazzola

, Sudipto Ghosh
, Mohammed Al-Refai, Gabriele Maurina:
Bridging the model-to-code abstraction gap with fuzzy logic in model-based regression test selection. 207-224 - Michael Nieke, Gabriela Cunha Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer:

Guiding the evolution of product-line configurations. 225-247 - Lissette Almonte

, Esther Guerra
, Iván Cantador, Juan de Lara:
Recommender systems in model-driven engineering. 249-280 - Martina De Sanctis

, Ludovico Iovino
, Maria Teresa Rossi
, Manuel Wimmer
:
MIKADO: a smart city KPIs assessment modeling framework. 281-309 - Ricardo Pérez-Castillo, Andrea Delgado

, Francisco Ruiz
, Virginia Bacigalupe, Mario Piattini:
A method for transforming knowledge discovery metamodel to ArchiMate models. 311-336 - Salvador Martínez

, Sébastien Gérard
, Jordi Cabot:
Efficient model similarity estimation with robust hashing. 337-361 - Wiktor B. Daszczuk

:
Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3). 363-398 - Ana Cristina Marcén

, Francisca Pérez
, Oscar Pastor, Carlos Cetina:
Enhancing software model encoding for feature location approaches based on machine learning techniques. 399-433
Volume 21, Number 2, April 2022
- Jeff Gray

, Bernhard Rumpe
:
Modeling in advanced systems engineering. 435-436 - Davide Di Ruscio

, Dimitrios S. Kolovos
, Juan de Lara, Alfonso Pierantonio, Massimo Tisi, Manuel Wimmer:
Low-code development and model-driven engineering: Two sides of the same coin? 437-446 - Adrian Rutle, Manuel Wimmer:

Guest editorial to the theme section on multi-level modeling. 447-449 - Ulrich Frank:

Multi-level modeling: cornerstones of a rationale. 451-480 - Ferenc Attila Somogyi

, Gergely Mezei
, Zoltán Theisz
, Sándor Bácsi
, Dániel Palatinszky
:
Playground for multi-level modeling constructs. 481-516 - Mira Balaban, Igal Khitron, Azzam Maraee:

Accidental complexity in multilevel modeling revisited. 517-542 - Thomas Kühne

:
Multi-dimensional multi-level modeling. 543-559 - Alejandro Rodríguez

, Francisco Durán, Lars Michael Kristensen:
Simulation and analysis of MultEcore multilevel models based on rewriting logic. 561-586 - Bernd Neumayr

, Michael Schrefl:
Domain object hierarchies inducing multi-level models. 587-621 - Suilen H. Alvarado, Alejandro Cortiñas

, Miguel R. Luaces, Oscar Pedreira
, Ángeles Saavedra Places:
Multilevel modeling of geographic information systems based on international standards. 623-666 - Kangfeng Ye

, Ana Cavalcanti
, Simon Foster
, Alvaro Miyazawa
, Jim Woodcock
:
Probabilistic modelling and verification using RoboChart and PRISM. 667-716 - Muhammad Luqman Mohd Shafie

, Wan Mohd Nasir Wan-Kadir, Horst Lichter, Muhammad Khatibsyarbini, Mohd Adham Isa:
Model-based test case generation and prioritization: a systematic literature review. 717-753 - Georg Hinkel

, Antonio García-Domínguez, René Schöne
, Artur Boronat
, Massimo Tisi, Théo Le Calvar
, Frédéric Jouault, József Marton
, Tamás Nyíri, János Benjamin Antal, Márton Elekes
, Gábor Szárnyas:
A cross-technology benchmark for incremental graph queries. 755-804 - Stefan Höppner

, Timo Kehrer, Matthias Tichy:
Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size. 805-837
Volume 21, Number 3, June 2022
- Sagar Sunkle, Krati Saxena

, Ashwini Patil
, Vinay Kulkarni:
AI-driven streamlined modeling: experiences and lessons learned from multiple domains. 1-23 - Jeff Gray

, Bernhard Rumpe
:
Explicit versus implicit models: What are good languages for modeling? 839-841 - Pnina Soffer, Selmin Nurcan:

Special section of BPMDS'2020 business process management meets data. 843-845 - Maxim Vidgof

, Djordje Djurica
, Saimir Bala
, Jan Mendling:
Interactive log-delta analysis using multi-range filtering. 847-868 - Lisa F. Seymour

, Ashley Koopman:
Analysing factors impacting BPMS performance: a case of a challenged technology adoption. 869-890 - Donya Rooein

, Devis Bianchini, Francesco Leotta
, Massimo Mecella, Paolo Paolini, Barbara Pernici
:
aCHAT-WF: Generating conversational agents for teaching business process models. 891-914 - Claudio Di Ciccio

, Giovanni Meroni
, Pierluigi Plebani:
On the adoption of blockchain for business process monitoring. 915-937 - Kerstin Andree, Sven Ihde, Mathias Weske, Luise Pufahl:

An exception handling framework for case management. 939-962 - Lola Burgueño

, Jordi Cabot
, Manuel Wimmer
, Steffen Zschaler
:
Guest editorial to the theme section on AI-enhanced model-driven engineering. 963-965 - José Antonio Hernández López, Javier Luis Cánovas Izquierdo, Jesús Sánchez Cuadrado

:
ModelSet: a dataset for machine learning in model-driven engineering. 967-986 - Armin Moin

, Moharram Challenger
, Atta Badii, Stephan Günnemann:
A model-driven approach to machine learning and software modeling for the IoT. 987-1014 - Rijul Saini, Gunter Mussbacher, Jin L. C. Guo, Jörg Kienzle:

Automated, interactive, and traceable domain modelling empowered by artificial intelligence. 1015-1045 - Martin Weyssow, Houari A. Sahraoui, Eugene Syriani:

Recommending metamodel concepts during modeling activities with pre-trained language models. 1071-1089 - Juan Marcelo Parra Ullauri

, Antonio García-Domínguez, Nelly Bencomo, Changgang Zheng, Chen Zhen, Juan Boubeta-Puig
, Guadalupe Ortiz
, Shufan Yang:
Event-driven temporal models for explanations - ETeMoX: explaining reinforcement learning. 1091-1113 - MohammadHadi Dehghani

, Shekoufeh Kolahdouz Rahimi
, Massimo Tisi, Dalila Tamzalit:
Facilitating the migration to the microservice architecture via model-driven reverse engineering and reinforcement learning. 1115-1133 - Angela Barriga, Adrian Rutle, Rogardt Heldal:

AI-powered model repair: an experience report - lessons learned, challenges, and opportunities. 1135-1157 - Edouard R. Batot, Houari A. Sahraoui:

Promoting social diversity for the automated learning of complex MDE artifacts. 1159-1178 - María Julia Blas, Horacio Pascual Leone, Silvio Gonnet

:
DEVS-based formalism for the modeling of routing processes. 1179-1208 - Onur Kilinççeker

, Ercument Turk, Fevzi Belli, Moharram Challenger
:
Model-based ideal testing of hardware description language (HDL) programs. 1209-1240 - Chihab eddine Mokaddem, Houari A. Sahraoui, Eugene Syriani:

A generic approach to detect design patterns in model transformations using a string-matching algorithm. 1241-1269
Volume 21, Number 4, August 2022
- Jeff Gray

, Bernhard Rumpe
:
On the relationship between models and ontologies. 1271-1272 - Tao Yue, Paolo Arcaini

, Ji Wu, Xiaowei Huang:
Editorial to theme section on open environmental software systems modeling. 1273-1275 - Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu

, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl:
The uncertainty interaction problem in self-adaptive systems. 1277-1294 - Yixing Luo, Yuan Zhou

, Haiyan Zhao, Zhi Jin, Tianwei Zhang, Yang Liu
, Danny Barthaud, Yijun Yu
:
Online adaptation for autonomous unmanned systems driven by requirements satisfaction model. 1295-1319 - Longlong Lu, Minxue Pan, Tian Zhang, Xuandong Li:

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques. 1321-1338 - Janis Grabis

, Dominik Bork:
Guest editorial to the special section on PoEM'2020. 1339-1340 - Mark A. T. Mulder

, Henderik A. Proper
:
On Enterprise-Grade Tool Support for DEMO. 1341-1361 - Giancarlo Guizzardi, Tiago Prince Sales

, João Paulo A. Almeida, Geert Poels
:
Automated conceptual model clustering: a relator-centric approach. 1363-1387 - Aron Henriksson, Jelena Zdravkovic

:
Holistic data-driven requirements elicitation in the big data era. 1389-1410 - Victoria Döller

:
Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits. 1411-1435 - Beatriz Franco Martins

, Lenin Javier Serrano Gil
, José Fabián Reyes Román
, José Ignacio Panach
, Oscar Pastor
, Moshe Hadad
, Benny Rochwerger:
A framework for conceptual characterization of ontologies and its application in the cybersecurity domain. 1437-1464 - Kevin Lano, Shekoufeh Kolahdouz Rahimi, Javier Troya, Hessa Alfraihi:

Introduction to the theme section on Agile model-driven engineering. 1465-1467 - Monique Snoeck

, Yves Wautelet
:
Agile MERODE: a model-driven software engineering method for user-centric and value-based development. 1469-1494 - Jörn Guy Süß

, Samantha Swift, Eban Escott:
Using DevOps toolchains in Agile model-driven engineering. 1495-1510 - Robbert Jongeling

, Federico Ciccozzi
, Jan Carlson
, Antonio Cicchetti
:
Consistency management in industrial continuous model-based development settings: a reality check. 1511-1530 - Mohamed El-Attar

:
Are models better read on paper or on screen? A comparative study. 1531-1550 - Paola Yuritzy Reyes-Delgado

, Hector A. Duran-Limon
, Manuel Mora
, Laura C. Rodríguez-Martínez:
SOCAM: a service-oriented computing architecture modeling method. 1551-1581 - Abel Gómez

, Markel Iglesias-Urkia
, Lorea Belategi
, Xabier Mendialdua, Jordi Cabot:
Model-driven development of asynchronous message-driven architectures with AsyncAPI. 1583-1611 - Okhaide Akhigbe

, Daniel Amyot
, Gregory Richards
, Lysanne Lessard
:
GoRIM: a model-driven method for enhancing regulatory intelligence. 1613-1641 - Gennadiy D. Koltun

, Mathis Pundel
:
Using two case studies to explore the applicability of VIATRA for the model-driven engineering of mechatronic production systems. 1643-1664 - Tobias Franz, Christoph Seidl, Philipp Martin Fischer

, Andreas Gerndt
:
Utilizing multi-level concepts for multi-phase modeling. 1665-1683
Volume 21, Number 5, October 2022
- Jeff Gray

, Bernhard Rumpe
:
Modeling of, for, and with digital twins. 1685-1686 - Davide Di Ruscio

, Dimitrios S. Kolovos, Juan de Lara, Alfonso Pierantonio, Massimo Tisi, Manuel Wimmer:
Correction to: Low-code development and model-driven engineering: Two sides of the same coin? 1687 - Lorenzo Bettini, Davide Di Ruscio

, Ludovico Iovino
, Alfonso Pierantonio:
An executable metamodel refactoring catalog. 1689-1709 - Silvia Abrahão

, Juan de Lara, Houari A. Sahraoui, Eugene Syriani:
Guest editorial for the special section on MODELS 2020. 1711-1713 - José Antonio Hernández López, Jesús Sánchez Cuadrado:

An efficient and scalable search engine for models. 1715-1737 - Angela Barriga, Rogardt Heldal, Adrian Rutle, Ludovico Iovino

:
PARMOREL: a framework for customizable model repair. 1739-1762 - Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy

, Dániel Varró
:
Automated generation of consistent models using qualitative abstractions and exploration strategies. 1763-1787 - Lucas Sakizloglou

, Sona Ghahremani
, Matthias Barkowsky
, Holger Giese
:
Incremental execution of temporal graph queries over runtime models with history and its applications. 1789-1829 - Zheng Cheng

, Massimo Tisi:
Deep specification and proof preservation for the CoqTL transformation language. 1831-1852 - Wael Kessentini, Vahid Alizadeh

:
Semi-automated metamodel/model co-evolution: a multi-level interactive approach. 1853-1876 - Ana Ivanchikj, Souhaila Serbout

, Cesare Pautasso
:
Live process modeling with the BPMN Sketch Miner. 1877-1906 - Frikk H. Fossdal

, Rogardt Heldal, Jens Dyvik, Adrian Rutle:
Fabricatable axis: an approach for modelling customized fabrication machines. 1907-1929 - Hui Song, Rustem Dautov, Nicolas Ferry, Arnor Solberg

, Franck Fleurey:
Model-based fleet deployment in the IoT-edge-cloud continuum. 1931-1956 - Davide Di Ruscio

, Esther Guerra, Massimo Tisi:
Editorial to theme section on modeling in low-code development platforms. 1957-1958 - Alessio Bucaioni, Antonio Cicchetti

, Federico Ciccozzi:
Modelling in low-code development: a multi-vocal systematic review. 1959-1981 - Bruno Piedade, João Pedro Dias

, Filipe F. Correia:
Visual notations in container orchestrations: an empirical study with Docker Compose. 1983-2005 - Mawal A. Mohammed

, Mohammad R. Alshayeb
, Jameleddine Hassine:
A search-based approach for detecting circular dependency bad smell in goal-oriented models. 2007-2037 - Vinicius Stein Dani

, Carla Maria Dal Sasso Freitas, Lucinéia Heloisa Thom
:
Recommendations for visual feedback about problems within BPMN process models. 2039-2065 - Manouchehr Zadahmad

, Eugene Syriani
, Omar Alam, Esther Guerra, Juan de Lara:
DSMCompare: domain-specific model differencing for graphical domain-specific languages. 2067-2096
Volume 21, Number 6, December 2022
- Jörg Holtmann

, Julien Deantoni
, Markus Fockel
:
Early timing analysis based on scenario requirements and platform models. 2171-2211 - Jordi Cabot, Antonio Vallecillo:

Modeling should be an independent scientific discipline. 2101-2107 - Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot

, Luigi Logrippo, Marco Roveri
, Aidin Rasti, Ali Roudak, John Mylopoulos:
Specification and analysis of legal contracts with Symboleo. 2395-2427 - Ana Moreira

, Gunter Mussbacher, João Araújo
, Pablo Sánchez
:
Theme section on model-driven requirements engineering. 2109-2112 - Jeff Gray

, Bernhard Rumpe
:
Reflection on the differences between modeling and programming. 2097-2099 - Aaron Montalvo

, Pablo Parra, Oscar Rodríguez Polo
, Alberto Carrasco, Antonio da Silva
, Agustín Martínez-Hellín
, Sebastián Sánchez
:
Model-driven system-level validation and verification on the space software domain. 2367-2394 - Dimitri Van Landuyt

, Wouter Joosen:
A descriptive study of assumptions in STRIDE security threat modeling. 2311-2328 - Yehia Elrakaiby

, Alexander Borgida, Alessio Ferrari
, John Mylopoulos:
CaRE: a refinement calculus for requirements engineering based on argumentation theory. 2113-2132 - Huma Samin

, Nelly Bencomo, Peter Sawyer:
Decision-making under uncertainty: be aware of your priorities. 2213-2242 - Jose Luis de la Vara

, Arturo S. García
, Jorge Valero, Clara Ayora
:
Model-based assurance evidence management for safety-critical systems. 2329-2365 - Katharina Großer

, Volker Riediger
, Jan Jürjens
:
Requirements document relations. 1-37 - Jameleddine Hassine, Muhammad Tukur

:
Measurement and classification of inter-actor dependencies in goal models. 2267-2310 - Sotirios Liaskos

, Shakil M. Khan
, John Mylopoulos:
Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach. 1-24 - Duygu Findik Coskunçay

, Murat Perit Çakir
:
An investigation of the relationship between joint visual attention and product quality in collaborative business process modeling: a dual eye-tracking study. 2429-2460 - Alfonso de la Vega

, Dimitris S. Kolovos
:
An efficient line-based approach for resolving merge conflicts in XMI-based models. 2461-2487 - Michael Alexander Tröls

, Luciano Marchezan, Atif Mashkoor, Alexander Egyed:
Instant and global consistency checking during collaborative engineering. 2489-2515 - Andrea Delgado, Daniel Calegari

, Félix García, Barbara Weber:
Model-driven management of BPMN-based business process families. 2517-2553

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














