Projekt InServe

TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

Projekt InServe

Publikationen

Projekt InServe, Phase II

Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, and Doris Wild. Service-Oriented Modeling of CoCoME with Focus and AutoFOCUS. In CoCoME – Common Component Modeling Example. Springer Verlag, 2008. To appear.

Michael Meisinger and Sabine Rittmann. A comparison of service-oriented development approaches. Technical report, Technische Universität München, 2008. To appear.

Ingolf Krüger, Michael Meisinger, and Massimiliano Menarini. Applying Service-Oriented Development to a Complex System: the BART case study. In Proceedings of the Monterey Workshop 2005, number 4322 in LNCS. Springer Verlag, 2007.

Vina Ermagan, To-Ju Huang, Ingolf Krüger, Michael Meisinger, Massimiliano Menarini, and Praveen Moorthy Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems. In Proceedings of the Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES'07), Informatik-Bericht 2007-01. Fakultät für Informatik, Technische Universität Braunschweig, Jan. 2007.

Michael Meisinger, Ingolf Krüger A Service-Oriented Extension of the V-Modell XT. In Proceedings of the 14th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS'07), IEEE, 2007.

Projekt InServe, Phase I

Manfred Broy, Ingolf Krüger, Michael Meisinger A Formal Model of Services. ACM Transactions on Software Engineering Methodology (TOSEM), 16(1) Feb. 2007, article no. 5, ACM Press New York, NY, USA, 2007.

Oliver Müller. Code Generation for Embedded Real-time Middleware Platforms from Service-Oriented Specifications. Masters Thesis, Technische Universität München, 2006.

Ingolf Krüger, Michael Meisinger, Massimiliano Menarini Applying Service-Oriented Development to a Complex System: BART case study. In Fabrice Kordon and Janos Sztipanovits (Eds.): Reliable Systems on Unreliable Networked Platforms. Proceedings of the Monterey Workshop 2005, Laguna Beach, USA. Lecture Notes in Computer Science (LNCS) volume 4322, Springer New York, 2007.

Ingolf Krüger, Gunny Lee, Michael Meisinger. Automating Software Architecture Exploration with M2Aspects. In: Proceedings of the ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06) of ICSE 2006, pp. 51-58, ACM Press, 2006.

Ingolf Krüger, Reena Mathew, Michael Meisinger. Efficient Exploration of Service-Oriented Architectures using Aspects. In: Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), pp. 62-71, ACM Press, 2006.

Ingolf Krüger, Reena Mathew, Michael Meisinger. From Scenarios to Aspects: Exploring Product Lines. In: Proceedings of the ICSE 2005 Workshop on Scenarios and State Machines (SCESM), 2005.

Jaswinder Ahluwalia, Ingolf Krüger, Michael Meisinger, Walter Phillips. Model-Based Run-Time Monitoring of End-to-End Deadlines. In: Proceedings of the Conference on Embedded Systems Software (EMSOFT), 2005.

Martin Deubler, Ingolf Krüger, Michael Meisinger, Sabine Rittmann. Modeling Crosscutting Services with UML Sequence Diagrams. In: Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2005.

Sabine Rittmann. Exploring Service-Oriented Software Development for Automotive Systems. Diplomarbeit, Technische Universität München, 2004.

Grundlagen

Ingolf Krüger. Service Engineering for Distributed Reactive Systems. Technology Talk, Cal(IT)2, 2002.

Ingolf Krüger. Specifying Services with UML and UML-RT. Foundations, Challenges and Limitations. Electronic Notes in Theoretical Computer Science, 65(7), 2002.

Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy. From MSCs to statecharts. In Franz J. Rammig, editor, Distributed and Parallel Embedded Systems, pages 61–71. Kluwer Academic Publishers, 1999.

Ingolf Krüger. Distributed System Design with Message Sequence Charts. Dissertation, Technische Universität München, 2000.

Christian Salzmann, Bernhard Schätz. Service based Software Specification. In Proc. of International Workshop on Test and Analysis of Component Based Systems (TACOS), ETAPS 2003 Warsaw, Poland, 2003.