Forschungsbericht 2007

E-16 Softwaresysteme

Forschungsprojekte

• E.4-02.016 Hamburger Medienindex
• E.4-02.018 GKNS
• E.4-02.019 HEAP
• E.4-02.020 TONES
• E.4-02.021 BOEMIE
• E.4-02.023 RACER
• E.4-02.024 DLPStreams
• E.4-02.025 FMDSE
• E.4-02.026 PreSInt

Kooperationen

• Airbus GmbH
• Channel
• CoreMedia AG
• Deutsche Presseagentur (dpa)
• Finanzbehörde (FHH)
• Forschungszentrum Informatik (FZI), Karlsruhe
• InfoAsset AG
• Oracle Deutschland GmbH
• SAP AG
• SUN Microsystems
• TuTech Innovation GmbH

Publikationen

Veröffentlichungen

• 4-02.001V
  

  [DDJ+97]Giorgio De Michelis, Eric Dubois, Matthias Jarke, Florian Matthes, John Mylopoulos, Mike Papazoglou, Klaus Pohl, Joachim Schmidt, Carson Woo, and Eric Yu. Cooperative Information Systems: A Manifesto. In Mike P. Papazoglou and Gunther Schlageter, editors, Cooperative Information System: Trends and Directions. Academic Press,1997.

• 4-02.002V
  

  [Matt97a] F. Matthes. Business Conversations: A High-Level System Model for Agent Coordination. In Sophie Cluet, editor, Database Programming Languages: Proceeding of the 6th International workshop; proceedings / DBPL-6, Estes Park, Colorado, USA, August 18 - 20, 1997. Springer-Verlag, 1998.

• 4-02.003V
  

  [GMSS97] A. Gawecki, F. Matthes, J.W. Schmidt, and S. Stamer. Persistent Object Systems: From Technology to Market. In M. Jarke, editor, 27. Jahrestagung der Gesellschaft für Informatik. Springer-Verlag, September 1997.

• 4-02.004V
  

  [Matt97b] Florian Matthes. Mobile Processes in Cooperative Information Systems. In Proceedings STJA'97(Smalltalk und Java in Industrie und Ausbildung), Erfurt, Germany, September 1997. Springer-Verlag.

• 4-02.005V
  

  [MaWi97] F. Matthes and A. Wienberg. Visualizing Persistent Objects using Higher-Order Functions in SGML. Technical report, Arbeitsbereich Softwaresysteme, Technische Universität Hamburg-Harburg, Germany, September 1997.

• 4-02.006V
  

  [MaWi97] F. Matthes and A. Wienberg. Visualizing Persistent Objects using Higher-Order Functions in SGML. Technical report, Arbeitsbereich Softwaresysteme, Technische Universität Hamburg-Harburg, Germany, September 1997.

• 4-02.007V
  

  [DDJ+98] Giorgio De Michelis, Eric Dubois, Matthias Jarke, Florian Matthes, John Mylopoulos, Joachim W. Schmidt, Carson Woo, and Eric Yu. A Three-Faceted View of Information Systems. Communications of the ACM, 41(12):64-70, December 1998.

• 4-02.008V
  

  [DBH98] Joachim W. Schmidt and Florian Matthes. Datenbankhandbuch Kapitel 1: Datenbankmodelle und Datenbanksprachen. (unpublished manuscript), 1998.

• 4-02.009V
  

  [GaWi98] Andreas Gawecki and Axel Wienberg. Report on the Tycoon-2 Programming Language. Version 1.0 (Draft). Technical report, Higher-Order GmbH, Hamburg, and Arbeitsbereich Softwaresysteme, Technische Universität Hamburg-Harburg, Germany, February 1998.

• 4-02.010V
  

  [HMW98] Patrick Hupe, Florian Matthes, and Holm Wegner. Ein bruchloser Übergang von der Prozeßmodellierung zu kooperativen Software-Architekturen. Technical report, Arbeitsbereich Softwaresysteme, Technische Universität Hamburg-Harburg, Germany, November 1998.

• 4-02.011V
  

  [MaZi98] Florian Matthes and Stephan Ziemer. Understanding SAP R/3:A Tutorial for Computer Scientists. Technical report, Arbeitsbereich Softwaresysteme, Technische Universität Hamburg-Harburg, Germany, March 1998.

• 4-02.012V
  

  [NSSMS98] C. Niederée, U. Steffens, H-W. Sehring, F. Matthes, and J.W. Schmidt. On Indexing in Digital Libraries: Cooperation, Personalization, and Evolution. Technical report, Arbeitsbereich Softwaresysteme, Technische UniversitätHamburg-Harburg, Germany, 1998

• 4-02.013V
  

  [BrSc99] Manfred Broy and Joachim W. Schmidt. Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin?. Informatik-Spektrum, 22(3):206-209, June 1999.

• 4-02.014V
  

  [MaSt99] Florian Matthes and Ulrike Steffens. PIA - A Generic Model and System for Interactive Product and Service Catalogs. In Serge Abiteboul and Anne-Marie Vercoustre, editors, Research and Advanced Technology for Digital Libraries, volume 1696 of Lecture Notes in Computer Science, pages 403-422. Springer-Verlag, September

• 4-02.015V
  

  [MWH99] Florian Matthes, Holm Wegner, and Patrick Hupe. A Process-Oriented Approach to Software Component Definition. In M. Jarke and A. Oberweis, editors, Advanced Information Systems Engineering. Proceedings of the 11th International Conference, CAiSE'99, Heidelberg, Germany, June 14-18, 1999, volume 1626 of Lecture Notes in Computer Science, pages 26-40. Springer-Verlag, June 1999.

• 4-02.016V
  

  [ScSe99] Joachim W. Schmidt and Hans-Werner Sehring. Dockets: A Model for Adding Value to Content. In Jacky Akoka, Mokrane Bouzeghoub, Isabelle Comyn-Wattiau, and Elisabeth Métais, editors, Proceedings of the 18th International Conference on Conceptual Modeling, November 15-18, Paris, France, volume 1728 of Lecture Notes in Computer Science, pages 248-262. Springer-Verlag, November 1999

• 4-02.017V
  

  [Schr99b] Gerald Schröder. Kooperierende Objektsysteme: Betrieb und Entwicklung. Fortschritt-Berichte, Reihe 10, Nr. 582. VDI Verlag, Düsseldorf, 1999.

• 4-02.018V
  

  [WMB99] Axel Wienberg, Florian Matthes, and Marko Boger. Modeling Dynamic Software Components in UML. In Robert France and Bernhard Rumpe, editors, UML'99 - The Unified Modeling Language. Proceedings of the Second International Conference. Fort Collins, Colorado, USA, volume 1723 of Lecture Notes in Computer Science, pages 204-219. Springer-Verlag, October 1999.

• 4-02.019V
  

  [MNSS99] Florian Matthes, Claudia Niederée, Joachim W. Schmidt, and Ulrike Steffens. Das Internet als Wissensmarkt. Möglichkeiten und Grenzen. Technical report, Arbeitsbereich Softwaresysteme, Technische Universität Hamburg-Harburg, Germany, July 1999.

• 4-02.020V
  

  [MNS00] Rainer Müller, Claudia Niederée, and Joachim W. Schmidt. Design Principles for Internet Community Information Gateways: MARINFO - A Case Study for a Maritime Information Infrastructure. In V. Bertram, editor, Proceedings of the 1st International Conference on Computer Applications and Information Technology in the Maritime Industries (COMPIT 2000), March 30 - April 2, 2000, Potsdam/Berlin, Germany, pages 302-322, April 2000.

• 4-02.021V
  

  [WHM00] Holm Wegner, Patrick Hupe, and Florian Matthes. A Process-Oriented and Content-Based Perspective on Software Components. Information Systems, 25(2):135-156, 2000.

• 4-02.022V
  

  [WHM00] Holm Wegner, Patrick Hupe, and Florian Matthes. A Process-Oriented and Content-Based Perspective on Software Components. Technical report, Arbeitsbereich Softwaresysteme, Technische Universität Hamburg-Harburg,Germany, January 2000. (to appear in CAiSE 99 Special Issue of Information Systems).

• 4-02.025V
  

  [GaWi97] Andreas Gawecki and Axel Wienberg. STML Developers Guide (Draft). Technical report, Higher-OrderGmbH, Hamburg, and Arbeitsbereich Softwaresysteme, Technische Universität Hamburg-Harburg, Germany, October 1997

• 4-02.026V
  

  [NHMW96] C. Niederée, C. Hattendorf, S. Müßig, M. Warnke, and J.W. Schmidt. Warburg ElectronicLibrary: Eine digitale Bibliothek für die Politische Ikonographie. unihh forschung, XXXI, 1996.

• 4-02.027V
  

  [SSNM96a] J.W. Schmidt, G. Schröder, C. Niederée, and F. Matthes. Linguistic and ArchitecturalRequirements for Personalized Digital Libraries. International Journal of Digital Libraries, 1(1), 1997

• 4-02.029V
  

  [MMS00] F. Matthes, R. Müller, and J.W. Schmidt. Towards a Unified Model of Untyped Object Stores: Experience with theTycoon Store Protocol. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT BasicResearch Series, pages 431-433. Springer-Verlag, 2000.

• 4-02.028V
  

  [GaMa00] A. Gawecki and F. Matthes. Integrating Query and Program Optimization Using Persistent CPS Representations.In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages496-501. Springer-Verlag, 2000.

• 4-02.030V
  

  [MSS00] F. Matthes, G. Schröder, and J.W. Schmidt. Tycoon: A Scalable and Interoperable Persistent System Environment. InMalcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages365-381. Springer-Verlag, 2000.

• 4-02.031V
  

  [MSW00] F. Matthes, J.W. Schmidt, and J. Wahlen. Using Extensible Grammars to Support Data Modeling. In Malcom P.Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 584-598.Springer-Verlag, 2000.

• 4-02.032V
  

  [MaSc00a] F. Matthes and J.W. Schmidt. Persistent Threads. In Malcom P. Atkinson and Ray Welland, editors, Fully IntegratedData Environments, ESPRIT Basic Research Series, pages 290-295. Springer-Verlag, 2000.

• 4-02.033V
  

  [MaSc00b] F. Matthes and J.W. Schmidt. Bulk Types: Built-In or Add-On?. In Malcom P. Atkinson and Ray Welland, editors,Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 257-261. Springer-Verlag, 2000.

• 4-02.034V
  

  [Matt00] F. Matthes. Higher-Order Persistent Polymorphic Programming in Tycoon. In Malcom P. Atkinson and Ray Welland,editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 13-59. Springer-Verlag, 2000.

• 4-02.035V
  

  [Matt00a] F. Matthes. Bulk Types and Iterators: Introduction and State of the Art. In Malcom P. Atkinson and Ray Welland,editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 241-244. Springer-Verlag, 2000.

• 4-02.036V
  

  [Matt00b] F. Matthes. Interoperability: Introduction and State of the Art. In Malcom P. Atkinson and Ray Welland, editors, FullyIntegrated Data Environments, ESPRIT Basic Research Series, pages 599-601. Springer-Verlag, 2000.

• 4-02.037V
  

  [Matt00c] F. Matthes. Persistent Support Systems: Introduction and Overview. In Malcom P. Atkinson and Ray Welland, editors,Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 297-302. Springer-Verlag, 2000.

• 4-02.038V
  

  [ScMa00a] J.W. Schmidt and F. Matthes. The DBPL Project: Advances in Modular Database Programming. In Malcom P.Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages 341-345.Springer-Verlag, 2000.

• 4-02.039V
  

  [ScMa00b] J.W. Schmidt and F. Matthes. Lean Languages and Models: Towards an Interoperable Kernel for PersistentObject Systems. In Malcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic ResearchSeries, pages 623-627. Springer-Verlag, 2000.

• 4-02.040V
  

  [WMS00] I. Wetzel, F. Matthes, and J.W. Schmidt. The STYLE Workbench: Systematics of Typed Language Environments. InMalcom P. Atkinson and Ray Welland, editors, Fully Integrated Data Environments, ESPRIT Basic Research Series, pages570-583. Springer-Verlag, 2000. Also appeared as TR FIDE/95/139, FIDE Technical Report Series, FIDE Project Coordinator,Department of Computing Sciences, University of Glasgow, Glasgow G128QQ.

• 4-02.041V
  

  [NSSM00] Claudia Niederée, Ulrike Steffens, Joachim W. Schmidt, and Florian Matthes. Aging Links. In José Borbinha, editor, Research and Advanced Technology for Digital Libraries, Proceedings of the 4th European Conference, ECDL2000, Lisbon, Portugal, volume 1923 of Lecture Notes in Computer Science. Springer-Verlag, September 2000.

• 4-02.042V
  

  [WHM00] Holm Wegner, Patrick Hupe, and Florian Matthes. A Process-Oriented and Content-Based Perspective on Software Components. Information Systems, 25(2):135-156, 2000.

• 4-02.043V
  

  [MNS00] Rainer Müller, Claudia Niederée, and Joachim W. Schmidt. Design Principles for Internet Community Information Gateways: MARINFO - A Case Study for a Maritime Information Infrastructure. In V. Bertram, editor, Proceedings of the 1st International Conference on Computer Applications and Information Technology in the Maritime Industries (COMPIT 2000), March 30 - April 2, 2000, Potsdam/Berlin, Germany, pages 302-322, April 2000.

• 4-02.044V
  

  [SSSW01] Joachim W. Schmidt, Hans-Werner Sehring, Michael Skusa, and Axel Wienberg. Subject-Oriented Work: Lessons Learned from an Interdisciplinary Content Management Project. In Proceedings of the Fifth East-European Conference on Advances in Databases and Information Systems, volume 2151 of Lecture Notes in Computer Science. Springer, 2001.

• 4-02.045V
  

  [SSW01] Joachim W. Schmidt, Hans-Werner Sehring, and Martin Warnke. Der Bildindex zur Politischen Ikonographie in der Warburg Electronic Library - Einsichten eines interdisziplin ren Projektes. In Archivprozesse, 2001.

• 4-02.046V
  

  [MaNS01] Florian Matthes, Claudia Niederée, and Ulrike Steffens. C-Merge: A Tool for Policy-Based Merging of Resource Classifications. In Research and Advanced Technology for Digital Libraries, Proceedings of the 5th European Conference, ECDL2001, Darmstadt, Germany, September 2001. (to appear).

• 4-02.047V
  

  [RMSM01] Martin Raulf, Rainer Müller, Ulrike Steffens, Florian Matthes, Klaus J. Scheunert, and Joachim W. Schmidt. Begriffsorientierte Dokumentenverwaltung für das internetgestützte Projektmanagement - Der FHH InfoBroker für das Projekt ''sap für hamburg'' -. In Tagungsband 4. GI-Fachgruppentagung ''Management und Controlling von IT-Projekten'', Glashütten (Taunus). dpunkt.verlag, March 2001.

• 4-02.048V
  

  [WEGK02] Axel Wienberg, Matthias Ernst, Andreas Gawecki, Olaf Kummer, Frank Wienberg, and Joachim W. Schmidt. Content Schema Evolution in the CoreMedia Content Application Platform CAP. In Proceedings of the 8th International Conference on Extending Database Technology (EDBT 2002), volume 2287 of Lecture Notes in Computer Science, pages 712-721, March 2002.

• 4-02.049V
  

  [Wien03] Axel Wienberg. Merging Collection Data Structures in a Content Management System. In Software Configuration Management, ICSE Workshops SCM 2001 and SCM 2003, volume 2649 of Lecture Notes in Computer Science, pages 134-147. Springer-Verlag, May 2003.

• 4-02.050V
  

  [ScSe03] Joachim W. Schmidt, Hans-Werner Sehring. Conceptual Content Modeling and Management "The Rationale of an Asset Language"Proc. Perspectives of System Informatics (PSI'03), 9-12 July 2003,Novosibirsk, Akademgorodok, Russia, LNCS, Springer-Verlag, 2003.

• 4-02.051V
  

  [RMSS] Monika Renz, Florian Matthes, Ulrike Steffens, Joachim W. Schmidt.

  Erschließung heterogener Wissensquellen durch eine digitale Bibliothek

  für die öffentliche Verwaltung.

  In Tagungsband 25. DGI Online Tagung Competence in Content, Frankfurt am Main,

  Deutsche Gesellschaft für Informatikwissenschaft, Juni 2003.

• 4-02.053V
  

  Patrick Hupe, Uwe Langbecker, Mubashir Aziz, Joachim W. Schmidt: Mobile and Web-based Services for Ship Operation and Survey: A Portal-centric Approach. In: Bertram. V.: Proceedings of COMPIT 04, Siguenza, Spanien

• 4-02.054V
  

  Sebastian Bossung, Hermann Stoeckle, John Grundy, Robert Amor, John Hosking: Automated Data Mapping Specification via Schema Heuristics and User Interaction, Proceedings of the Automated Software Engineering Conference, Linz, 2004.

• 4-02.056V
  

  S. Bechhofer, V. Haarslev, C. Lutz, and R. Möller, editors. KI-2004 Workshop on Applications of Description Logics (ADL'04), 2004.

• 4-02.057V
  

  V. Haarslev and R. Möller, editors. International Workshop on Description Logics (DL2004), 2004.

• 4-02.058V
  

  V. Haarslev and R. Möller. Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. In Ninth International Conference on the Principles of Knowledge Representation and Reasoning, KR 2004, Whistler, BC, Canada, June 2-5, pages 163-173, 2004.

• 4-02.059V
  

  V. Haarslev, R. Möller, R. van der Straeten, and M. Wessel. Extended Query Facilities for Racer and an Application to Software-Engineering Problems. In Proceedings of the 2004 International Workshop on Description Logics (DL-2004), Whistler, BC, Canada, June 6-8, pages 148-157, 2004.

• 4-02.060V
  

  V. Haarslev, R. Möller, and M. Wessel. Querying the Semantic Web with Racer + nRQL. In Proceedings of the KI-2004 International Workshop on Applications of Description Logics (ADL'04), Ulm, Germany, September 24, 2004.

• 4-02.061V
  

  Atila Kaya and Keno Selzer. Design and Implementation of a Benchmark Testing Infrastructure for the DL System Racer. In Proceedings of the KI-2004 International Workshop on Applications of Description Logics (ADL'04), Ulm, Germany, September 24, 2004.

• 4-02.062V
  

  R. Möller, V. Haarslev, and B. Neumann. Expressive Description Logics for Agent-Based Information Retrieval. In Y J. Cuena, Demazeau, A. Garcia, and J. Treur, editors, Knowledge Engineering and Agent Technology, Volume 52, Frontiers in Artificial Intelligence and Applications. IOS Press, 2004.

• 4-02.063V
  

  Sebastian Bossung, Hans-Werner Sehring and Joachim W. Schmidt. Conceptual Content Management for Enterprise Web Services. In Jacky Akoka, Stephen W. Liddle, Il-Yeol Songand Michela Bertolottoand Isabelle Comyn-Wattiau, Willem-Jan vanden Heuvel, Manuel Kolp, Juan Trujillo, Christian Kop, and Heinrich C. Mayr, editors, Perspectives in Conceptual Modeling: ER 2005 Workshops CAOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, volume 3770 / 2005 of Lecture Notes in Computer Science, pages 343 ¿ 353. Springer-Verlag, 2005.

• 4-02.064V
  

  Sebastian Bossung, Hans-Werner Sehring, Michael Skusa, and Joachim W. Schmidt. Conceptual Content Management for Software Engineering Processes. In Johann Eder, Hele-Mai Haav, Ahto Kalja, and Jaan Penjam, editors, Advances in Databases and Information Systems: 9th East European Conference, ADBIS 2005, volume 3631 / 2005 of Lecture Notes in Computer Science, page 309. Springer-Verlag, 2005

• 4-02.065V
  

  J. Galinski, A. Kaya, and R. Möller. Development of a server to support the formal semantic web query language OWL-QL. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005.

• 4-02.066V
  

  V. Haarslev, R. Möller, and M. Wessel. Description Logic Inference Technology: Lessions Learned in the Trenches. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005.

• 4-02.067V
  

  H.W. Sehring, S. Bossung and J.W. Schmidt. Active Learning By Personalization - Lessons Learnt from Research in Conceptual Content Management. In Bruno Encarnaca Jose Cordeiro, Vitor Pedrosa and Joaquim Filipe, editors, Proceedings of the 1st International Conference on Web Information Systems and Technologies, pages 496¿503. INSTICC Press Miami, May 2005.

• 4-02.068V
  

  M. Wessel and R. Möller. A High Performance Semantic Web Query Answering Engine. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005.

• 4-02.069V
  

  Sebastian Bossung, Hans-Werner Sehring, Patrick Hupe, and Joachim W. Schmidt. Open and Dynamic Schema Evolution in Content-intensive Web Applications. In Jose Cordeiro, Vitor Pedrosa, Bruno Encarnacao, and Joaquim Filipe, editors, Proceedings of the Second International Conference on Web Information Systems and Technologies, pages 109-116. INSTICC, INSTICC Press, April 2006

• 4-02.070V
  

  Sofia Espinosa and Ralf Möller. Cost-efficient web service composition for processes with distributed retrieval queries: Position paper. In Proc. of the 2006 International Workshop on Description Logics DL'06, 2006.

• 4-02.071V
  

  Alissa Kaplunova, Atila Kaya, and Ralf Möller. Experiences with Load Balancing and Caching for Semantic Web Applications. In Proc. of the 2006 International Workshop on Description Logics DL'06, 2006.

• 4-02.072V
  

  C. Lutz, F. Baader, E. Franconi, D. Lembo, R. Möller, R. Rosati, U. Sattler, B. Suntisrivaraporn, and S. Tessaris. Reasoning Support for Ontology Design. In B. Cuenca Grau, P. Hitzler, C. Shankey, and E. Wallace, editors, In Proceedings of the second international workshop OWL: Experiences and Directions, November 2006. To appear.

• 4-02.073V
  

  Sylvia Melzer and Ralf Möller. How sensor data interpretation could benefit from description logics: Position paper. In Proc. of the 2006 International Workshop on Description Logics DL'06, 2006.

• 4-02.074V
  

  Ralf Möller, Volker Haarslev, and Michael Wessel. On the Scalability of Description Logic Instance Retrieval. In Chr. Freksa and M. Kohlhase, editors, 29. Deutsche Jahrestagung für Künstliche Intelligenz, Lecture Notes in Artificial Intelligence. Springer Verlag, 2006.

• 4-02.075V
  

  Ralf Möller, Volker Haarslev, and Michael Wessel. On the Scalability of Description Logic Instance Retrieval. In Proc. of the 2006 International Workshop on Description Logics DL'06, 2006.

• 4-02.076V
  

  B. Neumann and R. Möller. On Scene Interpretation with Description Logics. In H.I. Christensen and H.-H. Nagel, editors, Cognitive Vision Systems: Samping the Spectrum of Approaches, number 3948 in LNCS, pages 247¿278. Springer, 2006.

• 4-02.077V
  

  Michael Skusa. Semantic Coherence in Software Engineering. In George Angelos Papadopoulos and Joaquim Filipe, editors, Proceedings of the 4th ICEIS Doctoral Consortium - DCEIS 2006 in conjunction with ICEIS 2006, pages 118 ¿ 129, Paphos, Cyprus, 5 2006. INSTICC Press, Portugal.

• 4-02.078V
  

  A.-Y. Turhan, S. Bechhofer, A. Kaplunova, T. Liebig, M. Luther, R. Möller, O. Noppens, P. Patel-Schneider, B. Suntisrivaraporn, and T. Weithöner. DIG 2.0 Towards a Flexible Interface for Description Logic Reasoners. In B. Cuenca Grau, P. Hitzler, C. Shankey, and E. Wallace, editors, In Proceedings of the second international workshop OWL: Experiences and Directions, November 2006. To appear.

• 4-02.079V
  

  M. Wessel and R. Möller. A Flexible DL-based Architecture for Deductive Information Systems. In G. Sutcliffe, R. Schmidt, and S. Schulz, editors, Proc. IJCAR-06 Workshop on Empirically Successful Computerized Reasoning (ESCoR), pages 92¿111, 2006.

• 4-02.080V
  

  T. Berger, A. Kaplunova, A. Kaya, and R. Möller. Towards a Scalable and Efficient Middleware for Instance Retrieval Inference Services. In International Workshop on OWL: Experiences and Directions (OWLED 2007), 2007.

• 4-02.081V
  

  Sebastian Bossung, Hans-Werner Sehring, Henner Carl, and Joachim W. Schmidt. An Agile Process for the Creation of Conceptual Models from Content Descriptions. In Yannis Ioannidis, Boris Novikov, and Boris Rachev, editors, Proceedings of the 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, volume 4690 of Lecture Notes in Computer Science, pages 114¿129. Springer-Verlag, 2007

• 4-02.082V
  

  S. Castano, S. Espinosa, A. Ferrara, V. Karkaletsis, A. Kaya, S. Melzer, R. Möller, and G. Petasis. Ontology Dynamics with Multimedia Information: The BOEMIE Evolution Methodology. In International Workshop on Ontology Dynamics, 2007

• 4-02.083V
  

  M. Garcia and R. Möller.  Certification of Transformations Algorithms in Model-Driven Software Development. In W.-G. Bleek, J. Räsch, and H. Züllighoven, editors,  Software Engineering 2007, volume 105 of  GI-Edition Lecture Notes in Informatics, pages 107¿118, 2007.
  

• 4-02.084V
  

  Miguel Garcia. How to process OCL Abstract Syntax Trees, Eclipse Technical Article, 2007. http://www.eclipse.org/articles/article.php?file=Article-HowToProcessOCLAbstractSyntaxTrees/index.html.

• 4-02.085V
  

   Miguel Garcia. Rules for Type-checking of Parametric Polymorphism in EMF Generics, 2007.

• 4-02.086V
  

  A. Kaplunova, R. Möller, and M. Wessel. Leveraging the Expressivity of Grounded Conjunctive Query Languages. In Proc. International Workshop on Scalable Semantic Web Systems, 2007.

• 4-02.087V
  

  B. Neumann and R. Möller. On Scene Interpretation with Description Logics. Image and Vision Computing, Special Issue on Cognitive Vision, 2007. to appear.

• 4-02.088V
  

  S. Espinosa Peraldi, A. Kaya, S. Melzer, R. Möller, and M. Wessel. Multimedia Interpretation as Abduction. In Proc. DL-2007: International Workshop on Description Logics, 2007.

• 4-02.089V
  

   S. Espinosa Peraldi, A. Kaya, S. Melzer, R. Möller, and M. Wessel. Towards a Media Interpretation Framework for the Semantic Web. In Proc. of IEEE/WIC/ACM International Conference on Web Intelligence (WI'07), number 1331876, pages 374-380. IEEE Computer Society, 2007.

• 4-02.090V
  

  C. Schultz and R. Möller. Quantifier Elimination of Real Closed Fields in the Context of Applied Description Logic. Verlag Dr. Müller, 2007.

• 4-02.091V
  

  Hans-Werner Sehring, Sebastian Bossung, Patrick Hupe, Michael Skusa, and Joachim W. Schmidt. Conceptual Content Management for Pattern-based Software Design: An E-Learning Experience. In Proceedings of the Workshop Information Technologies for Business, International Baltic Conference on Databases and Information Systems, Baltic DB&IS 2006, Vilnius, Lithuania, pages 39¿51. IEEE, 2006.  

• 4-02.092V
  

  Hans-Werner Sehring, Sebastian Bossung, Patrick Hupe, Michael Skusa, and Joachim W. Schmidt. Pattern Repositories for Software Engineering Education. In Olegas Vasilecas, Johann Eder, and Albertas Caplinskas, editors, Databases and Information Systems IV: Selected Papers from the Seventh International Baltic Conference DB&IS'2006, pages 40¿54. IOS Press, 2007.

• 4-02.093V
  

   S. Wandelt and R. Möller. Scalability of OWL Reasoning: Role condensates. In Proc. International Workshop on Scalable Semantic Web Systems, 2007.
  

• 4-02.094V
  

  M. Wessel and R. Möller. Design Principles and Realization Techniques for User Friendly, Interactive, and Scalable Ontology Browsing and Inspection Tools. In International Workshop on OWL: Experiences and Directions (OWLED 2007), 2007. 

• 4-02.095V
  

   M. Wessel and R. Möller. Flexible Software Architectures for Ontology-Based Information Systems. Journal of Applied Logic, Special Issue on Emperically Sucessful Systems (2007), 2007.

Dissertationen

• 4-02.023D
  

  [Rudl99] Andreas Rudloff. Nutzungsrechte in offenen Dienstinfrastrukturen Dissertation, Arbeitsbereich Softwaresysteme, Technische Universität Hamburg-Harburg, Germany, April 1999. Systementwicklungsumgebungen architekturell auf virtuellen Maschinen basierend ermöglichen die Entwicklung von Dienstinfrastrukturen über heterogenen verteilten Rechnerumgebungen. Sicherheitsmaßnahmen im absoluten Sinne fordern dagegen homogene Umgebungen. Anwendungsspezifische Nutzungsrechte erlauben hier unter Einsatz des sprachlichen und technischen Potentials die Skalierung der erreichbaren Sicherheit im Spannungsfeld zwischen erreichbarem Nutzen der Anwendung und potentiellem Schaden durch Angriffe.

• 4-02.024D
  

  [Schr99a] Gerald Schröder. Kooperierende Objektsysteme: Betrieb und Entwicklung. Dissertation, Arbeitsbereich Softwaresysteme, Technische Universität Hamburg-Harburg, Germany, April 1999. Eine revidierte Fassung der Dissertationist als Buch im VDI-Verlag erschienen [Schr99b].

• 4-02.041D
  

  Holm Wegner. Analyse und objektorientierter Entwurf eines integrierten Portalsystems für das Wissensmanagement.Dissertation, Arbeitsbereich Softwaresysteme, Technische Universität Hamburg-Harburg, Germany, 2002.

• 4-02.042D
  

  Claudia Niederée. Personalisierung, Kooperation und Evolution in digitalen Bibliotheken. Dissertation, Arbeitsbereich Softwaresysteme, Technische Universität Hamburg-Harburg, Germany, Juni 2002.

• 4-02.052D
  

  Hans-Werner Sehring. Konzeptorientierte Inhaltsverwaltung - Modell, Systemarchitektur und Prototypen. Dissertation, Arbeitsbereich Softwaresysteme, Technische Universität Hamburg-Harburg, Germany, November 2003.

• 4-02.055D
  

  Ulrike Steffen. Metadaten-Management für kooperative Anwendungen. Dissertation, December 2004.