Home | Sitemap | Index | Contact | Legals | KIT

Publications of Michael Langhammer

Book Chapters

[1] Steffen Becker, Axel Busch, Fabian Brosig, Erik Burger, Zoya Durdik, Christoph Heger, Jens Happe, Lucia Happe, Robert Heinrich, Jörg Henss, Nikolaus Huber, Oliver Hummel, Benjamin Klatt, Anne Koziolek, Heiko Koziolek, Max Kramer, Klaus Krogmann, Martin Küster, Michael Langhammer, Sebastian Lehrig, Philipp Merkle, Florian Meyerer, Qais Noorshams, Ralf H. Reussner, Kiana Rostami, Simon Spinner, Christian Stier, Misha Strittmatter, and Alexander Wert. Modeling and Simulating Software Architectures - The Palladio Approach. MIT Press, Cambridge, MA, October 2016. to appear. [ bib | http | Abstract ]
Too often, software designers lack an understanding of the effect of design decisions on such quality attributes as performance and reliability. This necessitates costly trial-and-error testing cycles, delaying or complicating rollout. This book presents a new, quantitative architecture simulation approach to software design, which allows software engineers to model quality of service in early design stages. It presents the first simulator for software architectures, Palladio, and shows students and professionals how to model reusable, parametrized components and configured, deployed systems in order to analyze service attributes. The text details the key concepts of Palladio's domain-specific modeling language for software architecture quality and presents the corresponding development stage. It describes how quality information can be used to calibrate architecture models from which detailed simulation models are automatically derived for quality predictions. Readers will learn how to approach systematically questions about scalability, hardware resources, and efficiency. The text features a running example to illustrate tasks and methods as well as three case studies from industry. Each chapter ends with exercises, suggestions for further reading, and "takeaways" that summarize the key points of the chapter. The simulator can be downloaded from a companion website, which offers additional material. The book can be used in graduate courses on software architecture, quality engineering, or performance engineering. It will also be an essential resource for software architects and software engineers and for practitioners who want to apply Palladio in industrial settings.

Refereed conference/Workshop papers

[1] Max E. Kramer, Georg Hinkel, Heiko Klare, Michael Langhammer, and Erik Burger. A controlled experiment template for evaluating the understandability of model transformation languages. In Proceedings of the Second International Workshop on Human Factors in Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), October 2016. to appear. [ bib ]
[2] Misha Strittmatter, Georg Hinkel, Michael Langhammer, Reiner Jung, and Robert Heinrich. Challenges in the evolution of metamodels: Smells and anti-patterns of a historically-grown metamodel. In 10th International Workshop on Models and Evolution (ME). CEUR Vol-1706, October 2016. [ bib | slides | http | .pdf ]
[3] Michael Langhammer, Arman Shahbazian, Nenad Medvidovic, and Ralf H. Reussner. Automated extraction of rich software models from limited system information. In 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), April 2016, pages 99-108. [ bib | DOI ]
[4] Heiko Klare, Michael Langhammer, and Max E. Kramer. Projecting UML Class Diagrams from Java Code Models. In 4th Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO), Karlsruhe, Germany, March 2016, VAO '16, pages 11-18. [ bib | http | .pdf ]
[5] Sebastian Fiss, Max E. Kramer, and Michael Langhammer. Automatically binding variables of invariants to violating elements in an ocl-aligned xbase-language. In Proceedings of Modellierung 2016, Andreas Oberweis and Ralf Reussner, editors, 2016, volume P-254 of Lecture Notes in Informatics (LNI), pages 189-204. Gesellschaft für Informatik e.V. (GI), Bonn, Germany. 2016. [ bib | .pdf | Abstract ]
Constraints that have to hold for all models of a modeling language are often specified as invariants using the Object Constraint Language (OCL). If violations of such invariants shall be documented or resolved in a software system, the exact model elements that violate these conditions have to be computed. OCL validation engines provide, however, only a single context element at which a check for a violated invariant originated. Therefore, the computation of elements that caused an invariant violation is often specified in addition to the invariant declaration with redundant information. These redundancies can make it hard to develop and maintain systems that document or resolve invariant violations. In this paper, we present an automated approach and tool for declaring and binding parameters of invariants to violating elements based on boolean invariant expressions that are similar to OCL invariants. The tool computes a transformed invariant that returns violating elements for each iterator variable of the invariant expression that matches an explicitly declared invariant parameter. The approach can be used for OCL invariants and all models of languages conforming to the Meta-Object Facility (MOF) standard. We have evaluated our invariant language and transformation tool by transforming 88 invariants of the Unified Modeling Language (UML).
[6] Max E. Kramer, Michael Langhammer, Dominik Messinger, Stephan Seifermann, and Erik Burger. Change-driven consistency for component code, architectural models, and contracts. In Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, Montréal, QC, Canada, 2015, CBSE '15, pages 21-26. ACM, New York, NY, USA. 2015. [ bib | DOI | http | .pdf ]
[7] Sven Leonhardt, Benjamin Hettwer, Johannes Hoor, and Michael Langhammer. Integration of existing software artifacts into a view- and change-driven development approach. In Proceedings of the 2015 Joint MORSE/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering, L'Aquila, Italy, 2015, MORSE/VAO '15, pages 17-24. ACM, New York, NY, USA. 2015. [ bib | DOI | http ]
[8] Michael Langhammer and Klaus Krogmann. A co-evolution approach for source code and component-based architecture models. In 17. Workshop Software-Reengineering und-Evolution, 2015, volume 4. [ bib | http ]
[9] Misha Strittmatter and Michael Langhammer. Identifying semantically cohesive modules within the palladio meta-model. In Proceedings of the Symposium on Software Performance: Joint Descartes/Kieker/Palladio Days, Steffen Becker, Wilhelm Hasselbring, André van Hoorn, Samuel Kounev, and Ralf Reussner, editors, Stuttgart, Germany, November 26-28, 2014, pages 160-176. Universitätsbibliothek Stuttgart. November 2014. [ bib | slides | .pdf ]
[10] Benjamin Klatt, Klaus Krogmann, and Michael Langhammer. Individual Code-Analyzes in Practice. In Proceedings of Software Engineering 2014 (SE2014), Nils Christian Ehmke Wilhelm Hasselbring, editor, January 2014, volume P-227 of Lecture Notes in Informatics (LNI). Kiel, Germany. [ bib | .pdf ]
[11] Max E. Kramer and Michael Langhammer. Proposal for a multi-view modelling case study: Component-based software engineering with uml, plug-ins, and java. In Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, York, United Kingdom, 2014, VAO '14, pages 7:7-7:10. ACM, New York, NY, USA. 2014. [ bib | DOI | http | .pdf ]
[12] Michael Langhammer and Max E. Kramer. Determining the intent of code changes to sustain attached model information during code evolution. In Fachgruppenbericht des 2. Workshops “Modellbasierte und Modellgetriebene Softwaremodernisierung”, volume 34 (2) of Softwaretechnik-Trends. Gesellschaft für Informatik e.V. (GI), 2014. [ bib | http | .pdf ]
[13] Misha Strittmatter, Philipp Merkle, Andreas Rentschler, and Michael Langhammer. Towards a modular palladio component model. In Proceedings of the Symposium on Software Performance: Joint Kieker/Palladio Days, Steffen Becker, Wilhelm Hasselbring, André van Hoorn, and Ralf Reussner, editors, Karlsruhe, Germany, November 27-29, 2013, volume 1083, pages 49-58. CEUR Workshop Proceedings. November 2013. [ bib | slides | http | .pdf ]
[14] Max E. Kramer, Erik Burger, and Michael Langhammer. View-centric engineering with synchronized heterogeneous models. In Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, Montpellier, France, 2013, VAO '13, pages 5:1-5:6. ACM, New York, NY, USA. 2013. [ bib | DOI | http | .pdf ]
[15] Michael Langhammer. Co-evolution of component-based architecture-model and object-oriented source code. In Proceedings of the 18th international doctoral symposium on Components and architecture, 2013, pages 37-42. ACM. [ bib ]
[16] Michael Langhammer, Sebastian Lehrig, and Max E. Kramer. Reuse and configuration for code generating architectural refinement transformations. In Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, Montpellier, France, 2013, VAO '13, pages 6:1-6:5. ACM, New York, NY, USA. 2013. [ bib | DOI | http | .pdf ]

Technical Reports

[1] Max E. Kramer, Michael Langhammer, Dominik Messinger, Stephan Seifermann, and Erik Burger. Realizing change-driven consistency for component code, architectural models, and contracts in vitruvius. Technical report, Karlsruhe Institute of Technology, Department of Informatics, Karlsruhe, 2015. [ bib | http | http ]