Publications
Philip Mayer
- Andreas Schroeder, Annabelle Klarl, Philip Mayer, and Christian Kroiß. Teaching agile software development through lab courses. In International Conference on Education 2012, 2012.
- Sebastian S. Bauer, Philip Mayer, Axel Legay: MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. ATVA 2011: 418-421
- Matthias Hölzl, Nora Koch, Philip Mayer, and Martin Wirsing. Chapter 7.5: The Sensoria Pattern-Based Approach. In Martin Wirsing and Matthias Hölzl, editors, Sensoria: Engineering for Service-Oriented Overlay Computers. LNCS, Volume 6582, Springer Verlag, ISBN: 978-3-642-20400-5, 2011.
- Jannis Elgner, Stefania Gnesi, Nora Koch, and Philip Mayer. Chapter 7.1: Specification and Implementation of Demonstrators for the Case Studies. In Martin Wirsing and Matthias Hölzl, editors, Sensoria: Engineering for Service-Oriented Overlay Computers. LNCS, Volume 6582, Springer Verlag, ISBN: 978-3-642-20400-5, 2011.
- Philip Mayer and István Ráth. Chapter 6.5: The Sensoria Development Environment. In Martin Wirsing and Matthias Hölzl, editors, Sensoria: Engineering for Service-Oriented Overlay Computers. LNCS, Volume 6582, Springer Verlag, ISBN: 978-3-642-20400-5, 2011.
- Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, and Dániel Varró. Chapter 1.1: UML Extensions for Service-Oriented Systems. In Martin Wirsing and Matthias Hölzl, editors, Sensoria: Engineering for Service-Oriented Overlay Computers. LNCS, Volume 6582, Springer Verlag, ISBN: 978-3-642-20400-5, 2011.
- Jannis Elgner, Stefania Gnesi, Nora Koch, and Philip Mayer. Introduction: The Sensoria Case Studies. In Martin Wirsing and Matthias Hölzl, editors, Sensoria: Engineering for Service-Oriented Overlay Computers. LNCS, Volume 6582, Springer Verlag, ISBN: 978-3-642-20400-5, 2011.
- Martin Wirsing, Matthias Hölzl, Nora Koch, and Philip Mayer. Sensoria: Engineering for Service-Oriented Overlay Computers. In Martin Wirsing and Matthias Hölzl, editors, Sensoria: Engineering for Service-Oriented Overlay Computers. LNCS, Volume 6582, Springer Verlag, ISBN: 978-3-642-20400-5, 2011.
- Philip Mayer. MDD4SOA - Model-Driven Development for Service-Oriented Architectures. Doctoral thesis, October 2010, LMU Munich.
- Mirco Tribastone, Philip Mayer, and Martin Wirsing. Performance Prediction of Service-Oriented Systems with Layered Queueing Networks.
In Proceedings of 4th International Symposium On Leveraging
Applications of Formal Methods, Verification and Validation 18-20
October 2010 - Amirandes, Heraclion, Crete, pages 1-16, 2010.
- Mayer, P., Schroeder, A., Bauer, S.: A Strict-Observational Interface Theory for Analysing Service Orchestrations.Technical Report 1003, LMU München, March 2010.
- Gilmore, S., Gönczy, L., Koch, N., Mayer, P., Tribastone, M., Varró, D: Non-functional properties in the model-driven development of service-oriented systems. Software and Systems Modeling Journal (SOSYM), March 2010, DOI 10.1007/s10270-010-0155-y.
- Mayer, P., Schroeder, A., Bauer, S.: A Strict-Observational Interface Theory for Analysing Service Orchestrations. 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), March 27, 2010, Paphos, Cyprus.
- Bauer, S., Mayer, P., Schroeder, A., Hennicker, R.: On Weak Modal Compatibility, Refinement, and the MIO Workbench. Proceedings of Sixteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 20-28, 2010, Paphos, Cyprus.
- Mayer, P., Ráth, I. D7.4.d: Report on the Sensoria Development Environment (SDE), third version. Deliverable for the EU project Sensoria, Reporting Period October 2008 - February 2010.
- Foster, H., Gönczy, L., Koch, N., Mayer, P., Montangero, C., Varró, D. D1.4.b: UML for Service-Oriented Systems (second version). Deliverable for the EU project SENSORIA, Reporting period October 2008-February 2010.
- Bruni, R., Hoelzl, M, Koch, N., Lafuente, A., Mayer, P., Schroeder, A., Montanari, U.: A Service-Oriented UML Profile with Formal Support. Proceedings of 7th International Joint Conference on Service Oriented Computing (ICSOC & ServiceWave 2009), November 24-27 2009, Stockholm, Sweden.
- Wirsing, M., Bocchi, L., Clark, A., Fiadeiro, J., Gilmore, S., Hölzl, M., Koch, N., Mayer, P., Pugliese, R., Schroeder, A.: Sensoria: Engineering for Service-Oriented Overlay Computers. Editors Elisabetta di Nitto, Anne-Marie Sassen, Paolo Traverso and Arian Zwegers. In "At your service: Service Engineering in the Information Society Technologies Program". ISBN 978-0-262-04253-6. MIT Press 2009.
- Schroeder, A., Mayer, P. Verifying Interaction Protocol Compliance of Service Orchestration. Lecture Notes in Computer Science, Volume 5364/2008, Proceedings of ICSOC 2008, Sydney, Australia, December 2008.
- Argent-Katwala, A., Clark, A., Foster, H., Gilmore, S., Mayer, P., Tribastone, M. Safety and Response-Time Analysis of an Automotive Accident Assistance Service. Proceedings of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), October 13-15, 2008, Porto Sani, Greece.
- Wirsing, M., Acciai, L., Banti, F., Clark, A., Fantechi, A., Gilmore, S., Gnesi, S., Goncy, L., Hölzl, M., Koch, N., Lapadula, A., Mayer, P., Mazzanti, F., Pugliese, R., Schroeder, A., Tiezzi, F., Tribastone, M., Varro, D. A Pattern-Based Approach to Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. Proceedings of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), October 13-15, 2008, Porto Sani, Greece.
- Mayer, P., Schroeder, A., Koch, N. MDD4SOA: Model-Driven Service Orchestration. Proceedings of 12th IEEE International EDOC Conference (EDOC 2008), September 15-19, 2008, Munich, Germany.
-
Mayer, P., Ráth, I., Horváth, A. D7.4.c: Report on the Sensoria Development Environment (SDE), second version. Deliverable for the EU project Sensoria, Reporting Period October 2007 - September 2008.
- Wirsing, M., Hölzl, M., Koch, N., Mayer, P., Schroeder, A. Service Engineering: The Sensoria Model Driven Approach. Proceedings of Software Engineering Research, Management and Applications (SERA 2008), August 20-22, 2008, Prague, Czech Republic.
- Mayer, P., Koch, N., Schroeder, A. A Model-Driven Approach to Service Orchestration. Proceedings of IEEE International Conference on Services Computing (SCC 2008), Honolulu, USA, July 8-11, 2008.
- Foster, H., Mayer, P. Leveraging Integrated Tools for Model-Based Analysis of Service Compositions.
Proceedings of Third International Conference on Internet and Web
Applications and Services (ICIW 2008), Athens, Greece, June 8-13, 2008.
- Mayer, P., Baumeister, H. D7.4b: Report on the Sensoria CASE Tool
Description and Evaluation. Deliverable for the EU project SENSORIA, Reporting period October 2006-September 2007. - Koch, N., Mayer, P., Heckel, R., Gönczy, L., Montangero, C. D1.4.a: UML for Service-Oriented Systems. Deliverable for the EU project SENSORIA, Reporting period October 2006-September 2007.
- Mayer, P., Meißner, A., Steimann, F. A Visual Interface for Type-Related Refactorings. Proceedings of 1st Workshop on Refactoring Tools (WRT 2007), ECOOP 2007 (Berlin, Germany, July 31, 2007)
- Steimann, F., Mayer, P. Type Access Analysis: Towards Informed Interface Design. Proceedings of 2007 TOOLS EUROPE. Special issue of Journal of Object Technology (Zurich, Switzerland, June 25-27, 2007)
- Mayer, P.: Design and Implementation of a Framework for Testing BPEL compositions. Master Thesis, University of Hannover (2006)
- Mayer, P. and Lübke, D. 2006. Towards a BPEL unit testing framework. In Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications (Portland, Maine, July 17 - 17, 2006).
- Steimann, F., Mayer, P., and Meißner, A. 2006. Decoupling classes with inferred interfaces. In Proceedings of the 2006 ACM Symposium on Applied Computing (Dijon, France, April 23 - 27, 2006).
- Steimann, F., Mayer, P. Patterns of Interface-Based Programming. Journal of Object Technology 4(5): 75-94 (2005)
- Gößner, J., Mayer, P., and Steimann, F. 2004. Interface utilization in the Java Development Kit. In Proceedings of the 2004 ACM Symposium on Applied Computing (Nicosia, Cyprus, March 14 - 17, 2004).
- Mayer, P. Eine Metrik-Suite zur Analyse des Einsatzes von Interfaces in Java. Bachelor Thesis, University of Hannover (2003)
- Mayer, P. 2003. Analyzing the use of interfaces in large OO projects. In Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Anaheim, CA, USA, October 26 - 30, 2003).
