Forschungsbericht 2005

4-10 Telematik

Telematik

Forschungsprojekte

• E.4-10.010 WSVal - Automatic Validation of Web Services
• E.4-10.011 DISRS - A Distributed Infrastructure for Secure Reputation Services
• E.4-10.012 WSFM - Web Services Formal Methods
• E.4-10.013 SensorNet - Sensor Networks
• E.4-10.014 WSFiS - Web Services for Fieldbus Systems
• E.4-10.015 HEAP - Hochschul E-Assessment Projekt

Kooperationen

• Brainloop AG
• European Aeronautic Defence and Space Company (EADS)
• Germanischer Lloyd AG
• Hanse Aerospace e.V.
• Innovint Aircraft Interior GmbH
• Lufthansa Systems Group GmbH
• Lufthansa Technik AG
• Microsoft Corporation
• Telindus

Publikationen

Veröffentlichungen

• 4-10.001V
  Bredereke, Jan: Eine Estelle-Erweiterung für strukturiertere Spezifikationen und einen neuen Spezifikationsstil, interner Bericht Universität Hamburg, September 1993.
• 4-10.002V
  Bredereke, Jan; Gotzhein, Reinhard: Increasing the Concurrency in Estelle; in Proceedings Formal Description Techniques VI, Boston 26.-29.Oct. 1993
• 4-10.003V
  Kreuz, Detlef; Gotzhein, Reinhard: A compiler for the parallel execution of Estelle specifications, In König, H. (Hrsg.), "Formale Methoden für verteilte Systeme", Bd. 8 aus "FOKUS-Band", GI/ITG-Fachgespräch Juni 1992 Saur-Verlag, (1993)
• 4-10.004V
  Wildhack, Rolf: Auswahl einer Multiprozessorkomponente zur Einbettung einer parallelen Applikation in ein reales Betriebssystem; Interner Bericht, TU-Hamburg-Harburg, Arbeitsbereich Telematik , 1995
• 4-10.005V
  Lange, Thomas, Oesterreich, Reiner, Wildhack, Rolf: Performanzmessungen an parallelen OSI-Protokollen;, TU Hamburg-Harburg, Arbeitsbereich Telematik
• 4-10.006V
  Lange, Thomas, Wildhack, Rolf: Erfahrungen mit Estelle bei der Implementation komplexer Protokolle;, TU Hamburg-Harburg, Arbeitsbereich Telematik
• 4-10.007V
  Wildhack, Rolf: Formale Spezifikationsmethoden auf dem Prüfstand: Erfahrungen bei der Implementation komplexer Middleware; Vortrag auf der Online '97.
• 4-10.008V
  Wildhack, Rolf: Ein Testgenerator für OSI-TP; Interner Bericht, TU Hamburg-Harburg, Arbeitsbereich Telematik, 1997
• 4-10.009V
  Wildhack, Rolf: Formale Spezifikationsmethoden auf dem Prüfstand, Vortrag auf dem 7. GI/ITG Fachgespräch: Formale Beschreibungstechniken, Juni 1997 Berlin
• 4-10.010V
  Lamers, Frank; Venske, Markus: Benchmarking for Highspeed Networks for Clustered Environments, interner Bericht Technische Universität Hamburg-Harburg, Dezember 1997.
• 4-10.011V
  Frank Lamers. Hochverfügbarkeit von Transaktionssystemen, In S. Jähnichen, editor, Proceedings of the 21th European Congress Fair of Technical Communications - ONLINE '98, Congress VI, Düsseldorf, February 1998
• 4-10.012V
  Frank Lamers, Stefan Anders. The use of Windows NT Terminal Server with SAP R/3, White Paper, European High Availability Research and Evaluation Center, August 1998
• 4-10.013V
  Friedrich Vogt, Zur Interoperation von E-Commerce Transaktionen mit Commitment: Interdomainkonzept auf der Basis des Transaction Protokols (TIP), Online '99, Congessband VI, Web Computing, Java, CORBA & COM, Herausgeber Friedrich Vogt, ISBN 3-89077-197-1
• 4-10.014V
  Friedrich Vogt: Interoperation between OTS and MTS using TIP, In Wolfgang Wahlster, editor, Proceedings of the 23th European Congress Fair of Technical Communications - ONLINE 2000, Congress VI, Düsseldorf, February 2000.
• 4-10.015V
  Marcus Venzke: Integration von SAP R/3 in Queued Transaction Processing-Umgebungen auf Basis von MSMQ und COM+, In Wolfgang Wahlster, editor, Proceedings of the 23th European Congress Fair of Technical Communications - ONLINE 2000, Congress VI, Düsseldorf, February 2000.
• 4-10.016V
  Marcus Venzke: MySAP.com Workplace High Availability - Concept, Architecture and Experience. White Paper, European High Availability Research and Evaluation Center, July 2000.
• 4-10.017V
  Muhammad Farhat Kaleem: Scalability of Weblogic Applications with WAP Access, presentation held at the conference Hochschul-Industrie Konferenz - Middleware, TU Dresden, December 2000.
• 4-10.018V
  Friedrich Vogt: Komponenten Technologien für Application Server: Stand der Entwicklung und zukünftige Trends, In Manfred Nagl, editor, Proceedings of the 24th European Congress Fair of Technical Communications - ONLINE 2001, Congress VI, Düsseldorf, January / February 2001.
• 4-10.019V
  Muhammad Farhat Kaleem: Erste Erfahrungen mit Message Driven Beans und JMS WAP-Anwendungen auf Basis des Weblogic Servers, In Jürgen Tillak, editor, SW Development - Magazin für Software-Entwickler, E.S.T! Event Services Tillack GmbH, München, September 2001.
• 4-10.020V
  Friedrich Vogt: Webservices als Basis einer herstellerübergreifenden Softwarearchitektur. In Stefan Jähnichen, editor, Proceedings of the 25th European Congress Fair of Technical Communications - ONLINE 2002, Congress VI, Düsseldorf, January 2002.
• 4-10.021V
  Muhammad Farhat Kaleem: Webservices in a J2EE Context. In Stefan Jähnichen, editor, Proceedings of the 25th European Congress Fair of Technical Communications - ONLINE 2002, Congress VI, Düsseldorf, January 2002.
• 4-10.022V
  Peter Baasch: Integration von Webservices in Content Management Systeme. In Stefan Jähnichen, editor, Proceedings of the 25th European Congress Fair of Technical Communications - ONLINE 2002, Congress VI, Düsseldorf, January 2002.
• 4-10.023V
  V. Turau, Integration von Content-Management-systemen über WebDAV.In Stefan Jähnichen, editor, Proceedings of the 25th European Congress Fair of Technical Communications - ONLINE 2002, Congress VI, Düsseldorf, January 2002.
• 4-10.024V
  Felix Eichhorn, Farhat Kaleem: Integration mit Web Services, technical article, February 2002.
• 4-10.025V
  Volker Turau: "A framework for automatic generation of web-based data entry applications based on XML", SAC' 02, ACM Symposium on Applied Computing, Madrid, March 2002, pp. 1121 - 1126.
• 4-10.026V
  Farhat Kaleem: Transactions over Web Services - An Introduction to the Business Transaction Protocol, technical article, appeared 17 May 2002 on webservices.org as a feature paper.
• 4-10.027V
  Agustinus Tedja, Farhat Kaleem: A Solution for Comparison based Conversion of XML Documents. 3rd International Conference on Internet Computing 2002, June 24-27, Las Vegas, 2002.
• 4-10.028V
  Farhat Kaleem: Web Services for J2EE, technical article, appeared 08 July 2002 on webservices.org as a feature paper.
• 4-10.029V
  Volker Turau: "A Caching System for Web Content generated from XML Sources using XSLT", 8th Int. Conference on Object-Oriented Information Systems, Montpellier, September 2002, pp. 197-206.
• 4-10.030V
  F. H. Vogt, F. M. Kaleem, P. Baasch: "Eine Integrationslösung füroffene Business-to-Business-Anwendungen auf der Basis von Web Services".PIK - Praxis der Informationsverarbeitung und Kommunikation 4/02,Oktober 2002.
• 4-10.031V
  Volker Turau: "HTTPExplorer: Exploring the Hypertext Transfer Protocol", ITiCSE 03, 8th Annual Conf. Innovation and Technology in Computer Science Education, Thessaloniki, July 2003.
• 4-10.032V
  U. Gröning, Friedrich H. Vogt: ZULIS - Zulieferlogistik-Informationssystem für KMU im Flugzeugbau, 12. Hamburger Logistik-Kolloquium, Hamburg, März 2003.
• 4-10.033V
  Muhammad F.Kaleem: "A Classification Framework for Approaches and Methodologies to make Web Services Compositions Reliable". In Proceedings of the First European Workshop on Object Orientation and Web Service (EOOWS), Darmstadt, Juli, 2003.
• 4-10.034V
  Marcus Venzke, Stefan Pitzek: "Accessing Fieldbus Systems via Web Services". In: Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems (WISES), Technische Universität Wien, Juni, 2003.
• 4-10.035V
  Volker Turau: "Die Rolle von Web-Services im Middleware Spektrum". In: Proceedings of the 26th European Congress Fair of Technical Communications - ONLINE 2003, Congress VI, Düsseldorf, September 2003.
• 4-10.036V
  Marcus Venzke: "Automatic Validation of Web Services". In: Proceedings of the 8th CaberNet Radicals Workshop. Hotel Eden Roc, Ajaccio, Corsica, Oktober, 2003.
• 4-10.037V
  Volker Turau, K. Saleck, C. Lenz: Web-basierte Anwendungen entwickeln in JSP 2. dpunkt.verlag, 478 Seiten, November 2003.
• 4-10.039V
  James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt: Formal Specification of a Web Services Protocol. In: Mario Bravetti, Gianluigi Zavattaro (Eds.): Proceedings of the First International Workshop on Web Services and Formal Methods, Pisa, Italy, February 2004. Published in: Electronic Notes in Theoretical Computer Science, Volume 105, 10 December 2004, Pages 147-158.
• 4-10.040V
  Marcus Venzke: Specifications using XQuery Expressions on Traces. In: Mario Bravetti, Gianluigi Zavattaro (Eds.): Proceedings of the First International Workshop on Web Services and Formal Methods, Pisa, Italy, February 2004. Published in: Electronic Notes in Theoretical Computer Science, Volume 105, 10 December 2004, Pages 109-118.
• 4-10.041V
  Muhammad F. Kaleem: Focusing on Interactions for Composition for Robust Composite Services. Short Paper. In: Proceedings of the 1st Australian Workshop on Engineering Service-Oriented Systems (AWESOS 2004), April 2004.
• 4-10.042V
  Muhammad F. Kaleem: Towards Identifying Representative Characteristics of Web Services Compositions. In: Witold Abramowicz (Ed.): Proceedings of the 7th International Conference on Business Information Systems, Poznan, Poland, April 2004.
• 4-10.043V
  Volker Turau, Marcus Venzke, Christoph Weyer: A Web Service for TTP/A Fieldbus Systems based on Meta-Data. In: Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems (WISES), Graz, Austria, June 2004.
• 4-10.044V
  Dietrich Fahrenholtz, Volker Turau: Fluctuation in Peer-to-Peer Networks: Mitigating Its Effect on DHT Performance. Report arXiv:cs.NI/0406027 v1, arXiv.org e-Print archive, Cornell University, June 2004.
• 4-10.045V
  Volker Turau, Marcus Venzke, Christoph Weyer: Vertical Integration of TTP/A Fielbus Systems Using Web Services. In: Proceedings of the First International Conference on Informatics in Control, Automation and Robotics (ICINCO), Setubal, Portugal, August 2004.
• 4-10.046V
  Dietrich Fahrenholtz, Volker Turau: A Tree-based DHT Approach to Scalable Weakly Consistent Data Management. In: Proceedings of the 1st International Workshop on P2P Data Management, Security and Trust, p. 991 - 998. IEEE Computer Society Press, August 2004.
• 4-10.047V
  Volker Turau, Christoph Weyer: Location-aware In-Network Monitoring in Wireless Sensor Networks. In: Proceedings of the Sensor Networks Workshop at Informatik 2004, Ulm, Germany, September 2004.
• 4-10.048V
  Matthias Witt, Christoph Weyer, and Volker Turau. Monitoring Energy Consumption In Wireless Sensor Networks. In Kay Römer, editor, 4. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze". Technical Report TR481. ETH Zürich, Switzerland, March, 2005.
• 4-10.049V
  Volker Turau, Christoph Weyer, and Matthias Witt. Ein robustes Datenmonitoring-Verfahren für Sensornetzwerke. it - Information Technology (Christian Becker, and Pedro José Marrón, editors), 47(2):63-69, April, 2005.
• 4-10.050V
  Matthias Witt, and Volker Turau. BGR: Blind Geographic Routing for Sensor Networks. In Proceedings of the Third Workshop on Intelligent Solutions in Embedded Systems (WISES'05). Hamburg, Germany, May 20, 2005.
• 4-10.051V
  Marcus Venzke, Christoph Weyer, and Volker Turau. Application specific vs. standard Web service interfaces for the vertical integration of fieldbus systems. In Proceedings of the Third Workshop on Intelligent Solutions in Embedded Systems (WISES'05). Hamburg, Germany, May 20, 2005.
• 4-10.052V
  Volker Turau, Christian Renner, Marcus Venzke, Sebastian Waschik, Christoph Weyer, and Matthias Witt. The Heathland Experiment: Results And Experiences. In Proceedings of the REALWSN'05 Workshop on Real-World Wireless Sensor Networks. Stockholm, Sweden, June 20-21, 2005.
• 4-10.053V
  Volker Turau, Dietrich Fahrenholtz, and Marcus Venzke. Online Assessment for University Admission: Goals, Problems, and Experience. In Proceedings of the 9th International Computer Assisted Assessment (CAA) Conference. Loughborough, UK, June 5-6, 2005.
• 4-10.054V
  Jurga Kazlauskaite, Arsalan Minhas, and Friedrich H. Vogt. Applying Service Oriented Architecture in the Aerospace Industry. In Proceedings of the International Mass Customization Meeting (IMCM'05). GITO-Verlag, Berlin, , Klagenfurt, Austria, June 2-3, 2005.
• 4-10.055V
  Friedrich H. Vogt, Simon Zambrovski, Boris Gruschko, Peter Furness, and Alastair Green. Implementing Web Service Protocols in SOA: WS-Coordination and WS-Business Activity. In Proceedings of the 7th IEEE International Conference on E-Commerce Technology Workshops (CEC 2005). München, July 19-22, 2005.
• 4-10.056V
  Boris Gruschko, Friedrich H. Vogt, and Simon Zambrovski. The Use of TLA+ and Model Checking Tools in the Eclipse Environment. In 2nd International Workshop on Web Services and Formal Methods. Versailles, France, September 1-3, 2005.
• 4-10.057V
  Dietrich Fahrenholtz, Andreas Wombacher, and Volker Turau. Performance of Lookup Operations in a Hypercube-based P2P Data Store: Theoretical Model and Performance Evaluation. Report No. TR-2005-12-01, URN: urn:nbn:de:gbv:830-opus-1057, Hamburg University of Technology, Hamburg, Germany, December, 2005.
• 4-10.058V
  Friedrich H. Vogt, and Arsalan Minhas. Using Service Orientation to Drive Business Processes. In Proceedings of the 9th IEEE International Multi Topic conference. Karachi, Pakistan, December 13-25, 2005.
• 4-10.059V
  Dietrich Fahrenholtz, and Andreas Wombacher. A Formal Communication Model for Lookup Operations in a Hypercube-based P2P Data Store. In Proceedings of the 1st International Conference on n Collaborative Computing: Networking, Applications and Worksharing. San Jose, USA, December 19-21, 2005.
• 4-10.060V
  Volker Turau, and Christoph Weyer, editors. Proceedings of the 3rd Int. Workshop on Intelligent Solutions in Embedded Systems. Hamburg University of Technology, Hamburg, Germany, 2005. ISBN 3-902463-03-1

Dissertationen

• 4-10.013D
  Detlef Kreuz. Formale Semantik von Konnektoren. Dissertation. Technische Universität Hamburg-Harburg,Mai 1999.
• 4-10.038D
  Marcus Venzke: Spezifikation von interoperablen Webservices mit XQuery. Dissertation. Technische Universität Hamburg-Harburg, Dezember 2003.