default search action
Software and Systems Modeling, Volume 18
Volume 18, Number 1, February 2019
- Hüseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler:
SoSyM reflections: the 2018 "State of the Journal" report. 1-5 - Federico Ciccozzi, Jan Carlson, Patrizio Pelliccione, Massimo Tivoli:
Editorial to theme issue on model-driven engineering of component-based software systems. 7-10 - Aamir M. Khan, Frédéric Mallet, Muhammad Rashid:
A framework to specify system requirements using natural interpretation of UML/MARTE diagrams. 11-37 - Saad Mubeen, Thomas Nolte, Mikael Sjödin, John Lundbäck, Kurt-Lennart Lundbäck:
Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints. 39-69 - Julio Mariño, Raúl N. N. Alborodo, Lars-Åke Fredlund, Ángel Herranz-Nieva:
Synthesis of verifiable concurrent Java components from formal models. 71-105 - Smail Rahmoun, Asma Mehiaoui-Hamitou, Etienne Borde, Laurent Pautet, Elie Soubiran:
Multi-objective exploration of architectural designs by composition of model transformations. 107-127 - Georg Hinkel, Thomas Goldschmidt, Erik Burger, Ralf H. Reussner:
Using internal domain-specific languages to inherit tool support and modularity for model transformations. 129-155 - Christian Heinzemann, Steffen Becker, Andreas Volk:
Transactional execution of hierarchical reconfigurations in cyber-physical systems. 157-189 - Jasmin Blanchette, Francis Bordeleau, Alfonso Pierantonio, Nikolai Kosmatov, Gabriele Taentzer, Manuel Wimmer:
Introduction to the STAF 2015 special section. 191-193 - Riemer van Rozen, Tijs van der Storm:
Toward live domain-specific languages - From text differencing to adapting models at run time. 195-212 - Loïc Gammaitoni, Pierre Kelsen:
F-Alloy: a relational model transformation language based on Alloy. 213-247 - Georg Hinkel, Erik Burger:
Change propagation and bidirectionality in internal transformation DSLs. 249-278 - Roland Kluge, Michael Stein, Gergely Varró, Andy Schürr, Matthias Hollick, Max Mühlhäuser:
A systematic approach to constructing families of incremental topology control algorithms using graph transformation. 279-319 - Elie Richa, Etienne Borde, Laurent Pautet:
Translation of ATL to AGT and application to a code generator for Simulink. 321-344 - Athanasios Zolotas, Nicholas Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige:
Type inference in flexible model-driven engineering using classification algorithms. 345-366 - Babajide Ogunyomi, Louis M. Rose, Dimitrios S. Kolovos:
Incremental execution of model-to-text transformations using property access traces. 367-383 - Erwan Bousse, Tanja Mayerhofer, Benoît Combemale, Benoît Baudry:
Advanced and efficient execution trace management for executable domain-specific modeling languages. 385-421 - Felix Hübner, Wen-ling Huang, Jan Peleska:
Experimental evaluation of a novel equivalence class partition testing strategy. 423-443 - Geoff Birch, Bernd Fischer, Michael Poppleton:
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs. 445-471 - Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel:
A feature-based classification of formal verification techniques for software models. 473-498 - Mustafa Al-Hajjaji, Thomas Thüm, Malte Lochau, Jens Meinicke, Gunter Saake:
Effective product-line testing using similarity-based product prioritization. 499-521 - Annarita Drago, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Annarita Tedesco, Valeria Vittorini:
A model-driven approach for vulnerability evaluation of modern physical protection systems. 523-556 - Amjad AbuHassan, Mohammad R. Alshayeb:
A metrics suite for UML model stability. 557-583 - Markus Voelter, Bernd Kolb, Tamás Szabó, Daniel Ratiu, Arie van Deursen:
Lessons learned from developing mbeddr: a case study in language engineering with MPS. 585-630 - Ben Roelens, Wout Steenacker, Geert Poels:
Realizing strategic fit within the business architecture: the design of a Process-Goal Alignment modeling and analysis technique. 631-662 - José Matías Rivero, Julián Grigera, Damiano Distante, Francisco Montero Simarro, Gustavo Rossi:
DataMock: An Agile Approach for Building Data Models from User Interface Mockups. 663-690 - Ulyana Tikhonova:
Reusable specification templates for defining dynamic semantics of DSLs. 691-720 - Taffarel Brant-Ribeiro, Rafael Dias Araújo, Igor Mendonça, Michel S. Soares, Renan G. Cattelan:
Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets. 721-737 - Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michal Antkiewicz, Krzysztof Czarnecki:
Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems. 739-767 - Marina Egea, Carolina Dania:
SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language. 769-791
Volume 18, Number 2, April 2019
- Hüseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler:
SoSyM significantly reduces its backlog. 793-794 - Mike Papadakis, Shaukat Ali, Gilles Perrouin:
Editorial to the theme section on model-based testing. 795-796 - Rodrigo José Sarmento Peixoto, Leandro Dias da Silva, Angelo Perkusich:
Model-based testing of software for automation systems using heuristics and coverage criterion. 797-823 - Alexandre Petrenko:
Toward testing from finite state machines with symbolic inputs and outputs. 825-835 - Tom Mens, Alexandre Decan, Nikolaos I. Spanoudakis:
A method for testing and validating executable statechart models. 837-863 - Frédéric Dadeau, Elizabeta Fourneret, Abir Bouchelaghem:
Temporal property patterns for model-based testing from UML/OCL. 865-888 - Bernhard K. Aichernig, Richard Schumi:
Property-based testing of web services by deriving properties from business-rule models. 889-911 - Jeff Offutt, Sunitha Thummala:
Testing concurrent user behavior of synchronous web applications with Petri nets. 913-936 - Mohammed Al-Refai, Sudipto Ghosh, Walter Cazzola:
Supporting inheritance hierarchy changes in model-based regression test selection. 937-958 - Pieter Van Gorp, Andrzej Wasowski:
Guest editorial to the special section on ECMFA and ICMT at STAF 2016 - Modeling and model transformations research in 2016. 959-960 - Jesús J. López-Fernández, Antonio Garmendia, Esther Guerra, Juan de Lara:
An example is worth a thousand words: Creating graphical modelling environments by example. 961-993 - Daniel Strüber, Vlad Acretoaie, Jennifer Plöger:
Model clone detection for rule-based model transformation languages. 995-1016 - Robert Bill, Martin Fleck, Javier Troya, Tanja Mayerhofer, Manuel Wimmer:
A local and global tour on MOMoT. 1017-1046 - Antonio García-Domínguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Ran Wei, Richard F. Paige:
Stress-testing remote model querying APIs for relational and graph-based stores. 1047-1075 - Rainer Schmidt, Ilia Bider:
Special Section of BPMDS'2016: Business Processes in a Connected World. 1077-1078 - Gregor Jost, Marjan Hericko, Gregor Polancic:
Theoretical foundations and implementation of business process diagrams' complexity management technique based on highlights. 1079-1095 - Afef Awadid, Selmin Nurcan:
Consistency requirements in business process modeling: a thorough overview. 1097-1115 - Ronny Seiger, Steffen Huber, Peter Heisig, Uwe Aßmann:
Toward a framework for self-adaptive workflows in cyber-physical systems. 1117-1134 - Roberto Posenato, Andreas Lanz, Carlo Combi, Manfred Reichert:
Managing time-awareness in modularized processes. 1135-1154 - Banu Aysolmaz, Dennis M. M. Schunselaar, Hajo A. Reijers, Ali Yaldiz:
Selecting a process variant modeling approach: guidelines and application. 1155-1178 - Henrik Leopold, Han van der Aa, Fabian Pittke, Manuel Raffel, Jan Mendling, Hajo A. Reijers:
Searching textual and model-based process descriptions based on a unified data format. 1179-1194 - Adriatik Nikaj, Mathias Weske, Jan Mendling:
Semi-automatic derivation of RESTful choreographies from business process choreographies. 1195-1208 - Eduardo González López de Murillas, Hajo A. Reijers, Wil M. P. van der Aalst:
Connecting databases with process mining: a meta model and toolset. 1209-1247 - Michalis Famelis, Marsha Chechik:
Managing design-time uncertainty. 1249-1284 - Thomas Hartmann, Assaad Moawad, François Fouquet, Yves Le Traon:
The next evolution of MDE: a seamless integration of machine learning into domain modeling. 1285-1304 - Victor Guana, Eleni Stroulia:
End-to-end model-transformation comprehension through fine-grained traceability information. 1305-1344 - Oscar Cabrera, Xavier Franch, Jordi Marco:
3LConOnt: a three-level ontology for context modelling in context-aware computing. 1345-1378 - Man Zhang, Shaukat Ali, Tao Yue, Roland Norgren, Oscar Okariz:
Uncertainty-Wise Cyber-Physical System test modeling. 1379-1418 - Darko Durisic, Miroslaw Staron, Matthias Tichy, Jörgen Hansson:
Assessing the impact of meta-model evolution: a measure and its automotive application. 1419-1445 - Jianmei Guo, Jia Hui Liang, Kai Shi, Dingyu Yang, Jingsong Zhang, Krzysztof Czarnecki, Vijay Ganesh, Huiqun Yu:
SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines. 1447-1466 - Alvaro Sobrinho, Leandro Dias da Silva, Angelo Perkusich, Paulo Cunha, Thiago D. Cordeiro, Antonio Marcus Nogueira de Lima:
Formal modeling of biomedical signal acquisition systems: source of evidence for certification. 1467-1485 - Giovani Guizzo, Thelma Elita Colanzi, Silvia Regina Vergilio:
Applying design patterns in the search-based optimization of software product line architectures. 1487-1512 - Dustin Wüest, Norbert Seyff, Martin Glinz:
FlexiSketch: a lightweight sketching and metamodeling approach for end-users. 1513-1541 - Nader Kesserwan, Rachida Dssouli, Jamal Bentahar, Bernard Stepien, Pierre Labrèche:
From use case maps to executable test procedures: a scenario-based approach. 1543-1570
Volume 18, Number 3, June 2019
- Jeff Gray, Bernhard Rumpe:
Conceptual distance of models and languages. 1571-1573 - Manfred Broy, Heinrich Daembkes, Janos Sztipanovits:
Editorial to the theme section on model-based design of cyber-physical systems. 1575-1576 - Jan Reineke, Christos Stergiou, Stavros Tripakis:
Basic problems in multi-view modeling. 1577-1611 - Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel:
Rigorous design of cyber-physical systems - Linking physicality and computation. 1613-1636 - Siyuan Dai, Zhenkai Zhang, Xenofon D. Koutsoukos:
A model-based design approach for simulation and virtual prototyping of automotive control systems using port-Hamiltonian systems. 1637-1653 - Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis:
Hybrid co-simulation: it's about time. 1655-1679 - Jörg Kienzle, Alexander Pretschner:
Guest editorial for the special section on MODELS 2016. 1681-1682 - Thomas Kühne:
Unifying nominal and structural typing. 1683-1697 - Audris Kalnins, Janis Barzdins:
Metamodel specialization for graphical language support. 1699-1735 - Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró:
Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations. 1737-1769 - 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. 1771 - Gwendal Daniel, Gerson Sunyé, Jordi Cabot:
Advanced prefetching and caching of models with PrefetchML. 1773-1794 - Gunter Blache:
Handling index-out-of-bounds in safety-critical embedded C code using model-based development. 1795-1807 - Iris Reinhartz-Berger, Wided Guédria, Palash Bera:
Guest editorial for EMMSAD'2017 special section. 1809-1811 - Dirk van der Linden, Irit Hadar, Anna Zamansky:
What practitioners really want: requirements for visual notations in conceptual modeling. 1813-1831 - Kurt Sandkuhl, Ulf Seigerroth:
Method engineering in information systems analysis and design: a balanced scorecard approach for method improvement. 1833-1857 - Drazen Brdjanin, Goran Banjac, Danijela Banjac, Slavko Maric:
An experiment in model-driven conceptual database design. 1859-1883 - Jumana Nassour, Michael Elhadad, Arnon Sturm, Eric Yu:
Evaluating the comprehension of means-ends maps. 1885-1903 - Afef Awadid, Selmin Nurcan, Sonia Ayachi Ghannouchi:
On leveraging the fruits of research efforts in the arena of business process modeling formalisms: a map-driven approach for decision making. 1905-1930 - Hugo Bruneliere, Erik Burger, Jordi Cabot, Manuel Wimmer:
A feature-based survey of model view approaches. 1931-1952 - Mohamed Amine Aouadhi, Benoît Delahaye, Arnaud Lanoix:
Introducing probabilistic reasoning within Event-B. 1953-1984 - Samaneh Hoseindoost, Tahereh Adamzadeh, Bahman Zamani, Afsaneh Fatemi:
A model-driven framework for developing multi-agent systems in emergency response environments. 1985-2012 - Mohammed Misbhauddin, Mohammad R. Alshayeb:
An integrated metamodel-based approach to software model refactoring. 2013-2050 - Xiao He, Tian Zhang, Minxue Pan, Zhiyi Ma, Changjun Hu:
Template-based model generation. 2051-2092 - Mokhtaria Hacherouf, Safia Nait Bahloul, Christophe Cruz:
Transforming XML schemas into OWL ontologies using formal concept analysis. 2093-2110 - Nikola Obrenovic, Ivan Lukovic, Sonja Ristic:
Consolidation of database check constraints. 2111-2135 - Luca Berardinelli, Marco Bernardo, Vittorio Cortellessa, Antinisca Di Marco:
Multidimensional context modeling applied to non-functional analysis of software. 2137-2176 - Yan Li, Tao Yue, Shaukat Ali, Li Zhang:
Enabling automated requirements reuse and configuration. 2177-2211 - Dina Zayan, Atrisha Sarkar, Michal Antkiewicz, Rita Suzana Pitangueira Maciel, Krzysztof Czarnecki:
Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them. 2213-2239 - Simona Bernardi, Stefano Marrone, José Merseguer, Roberto Nardone, Valeria Vittorini:
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. 2241-2264 - Sergiy S. Kolesnikov, Norbert Siegmund, Christian Kästner, Alexander Grebhahn, Sven Apel:
Tradeoffs in modeling performance of highly configurable software systems. 2265-2283 - Nicolas Mayer, Jocelyn Aubert, Eric Grandry, Christophe Feltus, Elio Goettelmann, Roel J. Wieringa:
An integrated conceptual model for information system security risk management supported by enterprise architecture management. 2285-2312 - Federico Ciccozzi, Ivano Malavolta, Bran Selic:
Execution of UML models: a systematic review of research and practice. 2313-2360
Volume 18, Number 4, August 2019
- Nafiseh Kahani, Mojtaba Bagherzadeh, James R. Cordy, Juergen Dingel, Dániel Varró:
Survey and classification of model transformation tools. 2361-2397 - Mateo Ramos Merino, Juan M. Santos-Gago, Luis M. Álvarez-Sabucedo, Víctor M. Alonso Rorís, Javier Sanz-Valero:
BPMN-E2: a BPMN extension for an enhanced workflow description. 2399-2419 - Gábor Kövesdán, László Lengyel:
Meta3: a code generator framework for domain-specific languages. 2421-2439 - Miguel Gamboa, Eugene Syriani:
Improving user productivity in modeling tools by explicitly modeling workflows. 2441-2463 - Taha Binalialhag, Jameleddine Hassine, Daniel Amyot:
Static slicing of Use Case Maps requirements models. 2465-2505 - Markus Voelter, Bernd Kolb, Klaus Birken, Federico Tomassetti, Patrick Alff, Laurent Wiart, Andreas Wortmann, Arne Nordmann:
Using language workbenches and domain-specific languages for safety-critical software development. 2507-2530 - Montserrat Estañol, Jorge Munoz-Gama, Josep Carmona, Ernest Teniente:
Conformance checking in UML artifact-centric business process models. 2531-2555 - Mahdi Derakhshanmanesh, Jürgen Ebert, Marvin Grieger, Gregor Engels:
Model-integrating development of software systems: a flexible component-based approach. 2557-2586 - Grischa Liebel, Matthias Tichy, Eric Knauss:
Use, potential, and showstoppers of models in automotive requirements engineering. 2587-2607 - Ali Sedaghatbaf, Mohammad Abdollahi Azgomi:
SQME: a framework for modeling and evaluation of software architecture quality attributes. 2609-2632 - Ivano Malavolta, Leonardo Mostarda, Henry Muccini, Enver Ever, Krishna Doddapaneni, Orhan Gemikonakli:
A4WSN: an architecture-driven modelling platform for analysing and developing WSNs. 2633-2653 - Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente:
OCLFO: first-order expressive OCL constraints for efficient integrity checking. 2655-2678 - Sebastian Steinau, Andrea Marrella, Kevin Andrews, Francesco Leotta, Massimo Mecella, Manfred Reichert:
DALEC: a framework for the systematic evaluation of data-centric approaches to process management software. 2679-2716 - Mira Balaban, Azzam Maraee:
Removing redundant multiplicity constraints in UML class models. 2717-2751 - Jenny Ruiz, Estefanía Serral, Monique Snoeck:
Evaluating user interface generation approaches: model-based versus model-driven development. 2753-2776
Volume 18, Number 5, October 2019
- Daniel Méndez Fernández, Wolfgang Böhm, Andreas Vogelsang, Jakob Mund, Manfred Broy, Marco Kuhrmann, Thorsten Weyer:
Artefacts in software engineering: a fundamental positioning. 2777-2786 - Georg Hinkel:
Using structural decomposition and refinements for deep modeling of software architectures. 2787-2819 - Yentl Van Tendeloo, Simon Van Mierlo, Hans Vangheluwe:
A Multi-Paradigm Modelling approach to live modelling. 2821-2842 - Tao Ma, Shaukat Ali, Tao Yue:
Modeling foundations for executable model-based testing of self-healing cyber-physical systems. 2843-2873 - Vítor Rodrigues, Simone Donetti, Ferruccio Damiani:
Certifying delta-oriented programs. 2875-2906 - Bedir Tekinerdogan, Ethem Arkin:
ParDSL: a domain-specific language framework for supporting deployment of parallel algorithms. 2907-2935 - Johannes Dyck, Holger Giese, Leen Lambers:
Automatic verification of behavior preservation at the transformation level for relational model transformation. 2937-2972 - Abel Gómez, Ricardo J. Rodríguez, María-Emilia Cambronero, Valentín Valero:
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets. 2973-3003 - Jörg Kienzle, Gunter Mussbacher, Benoît Combemale, Julien Deantoni:
A unifying framework for homogeneous model composition. 3005-3023