Publications
Philip Mayer
- 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).
