Volume 19, no. 3 (October 2020)
Special Issue dedicated to Martin Gogolla on his 65th Birthday
This issue contains a collection of essays dedicated to Prof. Dr. Martin Gogolla on the occasion of his 65th birthday. The essays aim to acknowledge Martin’s substantial contributions to software technology throughout his career, starting with his Ph.D. (if not already his Master theis) through to present day, where the USE modelling tool is a major and well-known research vehicle.
Some of the articles in this issue come with an accompanying video. It is the first issue that gives the authors the possibility to present their work. The playlist is present on YouTube.
Editorial
- Lars Hamann, Richard Paige, Alfonso Pierantonio, Bernhard Rumpe, Antonio Vallecillo,
Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday, pp. 1-5, PDF, DOI.
Articles
- Paula Muñoz, Loli Burgueño, Victor Ortiz, Antonio Vallecillo,
Extending OCL with Subjective Logic, pp. 3:1-15, PDF, DOI.
- Bran Selic,
The Forgotten Interfaces: A Critique of Component-based Models of Computing, pp. 3:1-8, PDF, DOI.
- Achim Brucker, Frédéric Tuong, Burkhart Wolff, Model Transformation as Conservative Theory-Transformation, pp. 3:1-16, PDF, DOI.
- Arvid Butting, Robert Eikermann, Katrin Hölldobler, Nico Jansen, Bernhard Rumpe, Andreas Wortmann, A Library of Literals, Expressions, Types, and Statements for Compositional Language Design, pp. 3:1-16, PDF, DOI.
- Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo,
Systematic Engineering of Mutation Operators, pp. 3:1-16, PDF, DOI.
- Fiona Polack, Kieran Alden,
On Developing and Validating Dynamic Systems: Simulation Engineering, pp. 3:1-13, PDF, DOI.
- Robert Clarisó, Carlos A. González, Jordi Cabot, Incremental Verification of UML/OCL Models, pp. 3:1-16, PDF, DOI.
- Christian Maeder, Karsten Sohr, Rodrigue Wete Nguempnang, Nils Meyer-Larsen, Rainer Müller, Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL, pp. 3:1-14, PDF, DOI.
- Hans-Jörg Kreowski, Sabine Kuske,
Modeling and Analyzing Graph Algorithms by Means of Graph Transformation Units, pp. 3:1-14, PDF, DOI.
- Alexander Knapp, María Victoria Cengarle,
2-Term Charters, pp. 3:1-12, PDF, DOI.
- Tony Clark, A Meta-Circular Basis for Model-Based Language Engineering, pp. 3:1-18, PDF, DOI.
- Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró,
A Specification Language for Consistent Model Generation based on Partial Models, pp. 3:1-22, PDF, DOI.
- Christoph Bockisch, Gabriele Taentzer, Nebras Nassar, Lukas Wydra,
Java Bytecode Verification with OCL Why, How and Whenc, pp. 3:1-16, PDF, DOI.
- Alexandra Mazak, Sabine Wolny, Abel Gómez, Jordi Cabot, Manuel Wimmer, Gerti Kappel, Temporal Models on Time Series Databases, pp. 3:1-15, PDF, DOI.
- Hoàng Nguyen Phuoc Bao, Manuel Clavel,
Model-based Characterization of fine-grained Access Control Authorization for SQL Queries, pp. 3:1-13, PDF, DOI.
- Azzam Maraee, Eliran Nachmani, Arnon Sturm,
Constraints Specification Via Tool Support: A Controlled Experiment, pp. 3:1-18, PDF, DOI.
- Ed Willink, Reflections on OCL 2, pp. 3:1-16, PDF, DOI.
- Jesús Sánchez Cuadrado, Towards Interactive, Test-driven Development of Model Transformations, pp. 3:1-12, PDF, DOI.
- Mira Balaban, Igal Khitron, Michael Kifer, Logic-based Software Modeling with FOML, pp. 3:1-21, PDF, DOI.
- Frank Hilken, Lars Hamann,
History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany, pp. 3:1-13, PDF, DOI.