Software and Systems Modeling, Volume 21 (original) (raw)



default search action
- combined dblp search
- author search
- venue search
- publication search
Authors:
- no matches

Venues:
- no matches

Publications:
- no matches



SPARQL queries 
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
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.
Unpaywalled article links
Add open access links from
to the list of external document links (if available).
load links from unpaywall.org
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the
of the Internet Archive (if available).
load content from archive.org
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from
,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from
and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from
.
load data from openalex.org
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:







