% Macros: (keep minimal) @string{fiderep={FIDE Technical Report Series}} @string{fidecoord={FIDE Project Coordinator, Department of Computing Sciences, University of Glasgow, Glasgow G128QQ}} @string{hbg-info ={Fachbereich Informatik, Universit\"at Hamburg}} @string{ffm-info ={Fachbereich Informatik, Johann Wolfgang Goethe-Universit\"at Frankfurt, Germany}} @string{ros-info ={Fachbereich Informatik, Universit\"at Rostock, Germany}} @string{springer ={Springer-Verlag}} @string{tis ={Topics in Information Systems}} @string{lncs ={Lecture Notes in Computer Science}} @string{dbpl91 ={Proceedings of the Third International Workshop on Database Programming Languages, Nafplion, Greece}} @string{also1 ={Also appeared as }} @string{also2 ={, } # fiderep # {, } # fidecoord} @string{ surveys = "ACM Computing Surveys"} @book{YWT*95, author={Yourdon, E. and Whitehead, K. and Thomann, J. and Oppel, K. and Nevermann, P.}, title= {Mainstream Objects: An Analysis and Design Approach for Business}, publisher= {Yourdon Press (Prentice Hall)}, year= {1995}, keywords= {Analysis, Modeling, Design, developed by SOFTWARE AG, business process modeling, workflow. Why adopt an object-oriented approach? Fundamental OO Concepts and Principles, Selected Object-Oriented Modeling Techniques, Object Structure Modeling, Business Process and Transaction Sequence Modeling, Object Interaction Modeling, Object Life Cycle Modeling, System-Wide Modeling, Managing an object-oriented development initiative, overview of object-oriented project life cycles, planning an object-oriented project, business analysis, system requirements analysis, logical design, physical design, Development of object-oriented applications (Natural-oo), Testing, Acceptance, Cutover and Operation, Thinking Object Oriented -- Analysis and Design Guidelines, Design Patterns.} } @techreport{corba-spec, author= {{Object Management Group}}, title= {The {Common} {Object} {Request} {Broker:} {Architecture} and {Specification}}, institution= {OMG}, type= {Document}, number= {PTC/96-03-04, Revision 2.0}, month= jul, year= {1995}, keywords= {Object Model, CORBA Architecture, IDL (Interface Definition Language) Syntax and Semantics, C Language Sub mapping, Dynamic Invocation Interface, The Interface Repository, ORB Interface, The Basic Object Adapter, Interoperability, Digital Equipment Corporation, Hewlett-Packard Company, HyperDesk Corporation, NCR Corporation, Object Design Inc., SunSoft Inc.} } @techreport{MMM93, key= {MMM93}, author= {Mathiske, B. and Matthes, F. and M\"u{\ss}ig, S.}, title= {The {Tycoon} {System} and {Library} {Manual}}, institution= hbg-info, type= {DBIS Tycoon Report}, number= {212-93}, year= 1993, month= dec, note= {(Revised 19-jan-1996)}, documentdirectory= {1993/MMM93}, abstract= {This document provides a practical introduction to the interactive Tycoon system environment and its polymorphic libraries. It explains how to bind external C libraries to Tycoon programs and how to work with persistent stores. Moreover, it proposes formatting und naming guidelines for Tycoon programs.}} @inproceedings{MMS95a, key= {MMS95a}, author= {Mathiske, B. and Matthes, F. and Schmidt, J.W.}, title= {On {Migrating} {Threads}}, booktitle= {Proceedings of the Second International Workshop on Next Generation Information Technologies and Systems, Naharia, Israel}, note= also1 # "TR FIDE/95/136" # also2, year= 1995, month= jun, documentdirectory= {1995/MMS95a}, abstract={Based on the notion of persistent threads in Tycoon, we investigate thread migration as a programming construct for building activity-oriented distributed applications. We first show how astraight-forward extension of a higher-order persistent language can be used to define activities that span multiple (semi-) autonomous nodes in heterogeneous networks. In particular, we discuss the intricate binding issues that arise in systems where threads are first-class language citizens that may access local and remote, mobile and immobile resources. \\ We also describe how our system model can be understood as a promising generalization of the more static architecture of first-order and higher-order distributed object systems. Finally, we give some insight into the implementation of persistent and migrating threads and we explain how to represent bindings to ubiquitous resources present at each node visited by a migrating thread on the network to avoid excessive communication or storage costs. }} @book{Matt93, key= {Matt93}, title= {Persistente Objektsysteme: Integrierte Datenbankentwicklung und Programmerstellung}, author= {F. Matthes}, publisher= springer, address={Berlin, Heidelberg}, year= 1993, documentdirectory= {}, abstract= { Unter dem Begriff der Persistenten Objektsysteme werden komplexe Anwendungen zusammengefa{\ss}t, die aufgrund ihrer langen Lebensdauer, ihrer N\"ahe zu Endbenutzern und ihrer Sicherheitsanforderungen auf ein hohes Ma{\ss} an Unterst\"utzung durch externe Diensterbringer angewiesen sind. Beispiele kommerzieller Diensterbringer sind Objektspeicher, Transaktionsmonitore, Datenbanksysteme, Generatoren f\"ur graphische Benutzerschnittstellen oder generische Dienste zur Kommunikation zwischen verteilten Objekten. Bislang sind derartige Diensterbringer weitgehend unabh\"angig voneinander entwickelt worden und k\"onnen nur \"uber historisch gewachsene, schmale Schnittstellen miteinander kommunizieren.\\ Die Qualit\"at zuk\"unftiger persistenter Objektsysteme wird jedoch entscheidend durch die Flexibilit\"at, Effizienz und Korrektheit im Zusammenspiel der Objekte dieser verschiedenartigen generischen Dienste und weniger durch die Leistungsf\"ahigkeit einzelner isolierter Systemkomponenten bestimmt.\\ In diesem Buch wird im Detail die persistente polymorphe Programmierumgebung Tycoon (Typed communicating objects in open environments) beschrieben, die eine Verbesserung der Qualit\"at persistenter Objektsysteme dadurch erreicht, da{\ss} der Anteil der stereotypen, untypisierten Programmiert\"atigkeiten erheblich reduziert werden kann (verglichen etwa mit C, Modula-2 oder C++ L\"osungen).\\ Konkret bietet das Tycoon System spezielle sprachliche und architekturelle Unterst\"utzung f\"ur die vollst\"andig transparente Verwaltung langlebiger Daten- und Programmobjekte, die mengenorientierte Verarbeitung (benutzerdefinierter) Kollektionen, die Implementierung generischer Bibliotheken und die typsichere Anbindung externer Systemsoftware (z.B. SQL Datenbanken oder Fenstersysteme).\\ Das Buch beschreibt die zentralen Komponenten des Tycoon Systems nicht nur aus der Sicht des programmierenden Anwenders, sondern vermittelt auch Einblicke in die interne Systemarchitektur sowie die Algorithmen und Formalismen zur Analyse und \"Ubersetzung generischer persistenter Programme. Schlie{\ss}lich enth\"alt der Text substantielle Beispiele f\"ur die Konstruktion generischer Bibliotheken und Beispiele objekt-orientierter, funktionaler und relationaler Programmiertechniken in Tycoon.} } % --- New bibtex items for F2 Book % Ask Florian before you merge this data into the file! @string{f2editor={Atkinson, M.P.}} @string{f2booktitle={Fully Integrated Data Environments}} @string{f2publisher={Springer-Verlag (to appear)}} @incollection{Matt95, key= {Matt95}, author= {Matthes, F.}, title= {Higher-{Order} {Persistent} {Polymorphic} {Programming} in {Tycoon}}, editor= f2editor, booktitle= f2booktitle, year= {1995}, publisher= f2publisher, documentdirectory= {1995/Matt95}, abstract= { This text provides an introduction to the Tycoon language TL which is based on expressive and orthogonal naming, typing and binding concepts as they are required, for example, in advanced data-intensive applications. The characteristic language mechanisms of TL are first-class functions and modules, parametric and subtype polymorphism extended to a fully higher-order type system. Tycoon programs are statically typed but may include explicit dynamic type variables which can be inspected at run-time. } } % ## *** FM: Check abstract of Matt95 w.r.t final version @incollection{MSS95, key= {MSS95}, author= {Matthes, F. and Schr{\"o}der, G. and Schmidt, J.W.}, title= {{Tycoon}: {A} {Scalable} and {Interoperable} {Persistent} {System} {Environment}}, editor= f2editor, booktitle= f2booktitle, year= {1995}, publisher= f2publisher, documentdirectory= {1995/MSS95}, abstract= {We describe the Tycoon persistent system architecture that achieves a high degree of scalability and interoperability through a full integration of persistent data, programs and threads while maintaining a strict separation of storage, manipulation, modeling and representation tasks into well-defined system layers. For several of these layers alternative implementations with distinct operational support are provided that can be configured dynamically to match best the requirements of a given application. Moreover, we present Tycoon's architectural contributions to enable interoperability with existing generic services like databases, user interface toolkits and C++ program libraries.}} @inproceedings{KKHW96, key= {KKHW96}, author= {Koschel, A. and Kramer, A. and Hagg, W. and Wiesel, J.}, title= {A {Federation} {Architecture} for an {Environmental} {Information} {System} incorporating {GIS}, the {WorldWideWeb} and {CORBA}}, booktitle= {Third International Conference/Workshop Integrating GIS and Environmental Modeling, Santa Fe, New Mexico, USA}, year = 1996, month= jan } @article{MuSc96, key= {MuSc96}, author= {M"usken, Verena and Schult, Dr. Thomas J.}, title= {Objektkunst: {Vom} {Problem} zum objektorientierten {Programm}}, journal= {c't Magazin f"ur Computertechnik}, year= 1996, volume= {}, number= {}, month= {April}, pages= {330-342} } @comment{@book{WIN96, key= {WIN96}, author= {Kenn Ich Noch Nicht WINicht}, title= {Diese Quelle fehlt noch}, publisher= {Selbstverlag}, year= 1996, }} @book{LKK93, author= {Lockemann, Peter C. and Kr{"u}ger, Gerhard and Krumm, Heiko}, title= {Telekommunikation und Datenhaltung}, publisher= {Hanser-Verlag}, address= {M{"u}nchen, Wien}, year= {1993}, } @mastersthesis{Scho96, author= {Martin Schoel}, title= {{CORBA}-basierte {Integration} von {Diensten} eines {Umweltinformationssystems}}, school= {Fakult{"a}t f{"u}r Informatik, {Universit{"a}t Karlsruhe}}, type="Diplomarbeit", month= {Januar}, year= {1996}, } @incollection{MMS95c, key= {MMS95c}, author= {Matthes, F. and M{\"u}ller, R. and Schmidt, J.W.}, title= {Towards a {Unified} {Model} of {Untyped} {Object} {Stores}: Experience with the {Tycoon} {Store} {Protocol}}, editor= f2editor, booktitle= f2booktitle, year= {1995}, publisher= f2publisher, documentdirectory= {1995/MMS95c}, abstract= { The Tycoon Store Protocol (TSP) specifies a clean interface between the frontend and the backend of fully integrated persistent environments. In contrast to high-level relational or object-oriented database languages, TSP is based on a low level, untyped, but highly flexible store model that is particularly well-suited for the implementation of higher-order persistent polymorphic languages. We describe the TSP operations in some detail and give insight into TSP's design rationale. We also report on the existing set of TSP-compliant backends including TSP adaptors to commercial object stores. A TSP client can choose dynamically between these backends and it is possible to exchange complex object graphs between all TSP-compliant stores via a platform-independent external data representation.}} @incollection{GaMa95b, key= {GaMa95b}, author= {Gawecki, A. and Matthes, F.}, title= {Integrating Query and Program Optimization Using Persistent {CPS} Representations}, editor= f2editor, booktitle= f2booktitle, year= {1995}, publisher= f2publisher, documentdirectory= {1995/GaMa95b}, abstract= { To overcome the limitations resulting from the traditional separation between program and query optimization, the Tycoon system integrates the analysis and rewriting of queries and programs using a common persistent intermediate representation (TML). TML is a continuation passing style (CPS) language which excels in its explicit, high-level representation of control and data dependencies. We describe Tycoon's innovative reflective system architecture that integrates program and query optimization and that supports modular compile-time as well as global run-time optimizations. We formally define TML and its core rewrite rules that unify many well-known optimizing transformations. Moreover, we describe how optimizations across abstraction barriers are performed in Tycoon and we report on our experience with optimizing large modular persistent applications. }} @incollection{MSW95, key= {MSW95}, author= {Matthes, F. and Schmidt, J.W. and Wahlen, J.}, title= {Using {Extensible} {Grammars} for {Data} {Modeling}}, editor= f2editor, booktitle= f2booktitle, publisher= f2publisher, year= {1995}, documentdirectory= {1995/MSW95}, abstract= { We present a systematic approach to the rapid implementation of high-level data models and query languages in the polymorphic higher-order programming language TL. The static semantics of data model constructs are captured by a mapping to polymorphic types and associated data constructor and selector functions. The dynamic semantics of query languages are realized by a mapping to bulk data types and iteration abstractions. Contrary to conventional approaches, these two mappings are specified by user-defined grammar extensions of the target language TL based on user-defined library code and not by separate tools in the programming environment. We give examples of this syntax-directed approach to data modeling and discuss its advantages and limitations.}} @inproceedings{GaMa96a, key= {GaMa96a}, author= {Gawecki, A. and Matthes, F.}, title= {Exploiting {Persistent} {Intermediate} {Code} {Representations} in {Open} {Database} {Environments}}, booktitle= {Proceedings of the 5th Conference on Extending Database Technology, EDBT'96}, address= {Avignon, France}, note= {(to appear)}, year= 1996, month= mar, publisher= springer, documentdirectory= {1996/GaMa96a}, abstract= { Modern database environments have to execute, store, analyze, optimize and generate code at various levels of abstraction (queries, views, triggers, query execution plans, methods, 4GL programs, etc.). We present TML, an abstract persistent intermediate code representation developed in the Tycoon project to fully integrate static and dynamic code analysis and rewriting. TML is a continuation passing style (CPS) language which excels in its explicit, high-level representation of control and data dependencies. We formally define TML and its core rewrite rules which unify many well-known optimizing transformations. We also present Tycoon's innovative reflective system architecture which supports modular compile-time as well as global runtime optimizations. Moreover, we describe how this architecture enables optimizations across abstraction barriers in large modular persistent applications including embedded declarative queries. }} @techreport{MMS94, key= {MMS94}, author= {Matthes, F. and M\"u{\ss}ig, S. and Schmidt, J.W}, title= {Persistent {Polymorphic} {Programming} in {Tycoon}: An {Introduction}}, type= fiderep, number= {FIDE/94/106}, institution= fidecoord, year= 1994, month= aug, documentdirectory= {1994/MMS94}, abstract= { This text provides an introduction to Tycoon (Typed Communicating Objects in Open Environments), an open persistent polymorphic programming environment. The Tycoon language TL is based on expressive and orthogonal naming, typing and binding concepts as they are required, for example, in advanced data-intensive applications. The characteristic language mechanisms of TL are first-class functions and modules, parametric and subtype polymorphism extended to a fully higher-order type system. Tycoon programs are statically typed but may include explicit dynamic type variables which can be inspected at run-time.} } @inproceedings{MaSc93a, key= {MaSc93a}, author= {Matthes, F. and Schmidt, J.W.}, title= {System {Construction} in the {Tycoon} {Environment}: {Architectures}, {Interfaces} and {Gateways}}, booktitle= {Proceedings of Euro-Arch'93 Congress}, publisher= springer, month= oct, year= 1993, documentdirectory= {1993/MaSc93a}, abstract= {This paper outlines the basic concepts and the system architecture of the Tycoon environment. Tycoon is designed for the construction of persistent object systems intended to be available on multiple software and hardware platforms.\\ Tycoon's contribution to system portability and scalability is achieved by strictly separating concerns of data modelling, data manipulation, and data storage into three distinct system layers each of which is based on state-of-the-art system technology (polymorphic programming languages, portable code representations, persistent object stores). Much emphasis is being placed on supporting interoperability between Tycoon applications and off-the-shelf tools and systems, such as database systems, user interface managers, and optimizing code generators.\\ We illustrate how higher-order functions, polymorphic typing and transparent persistence management reduce the amount of repetitive and type-unsafe programming in typical persistent object systems.}} @book{Schi93, author = "Schill, Alexander", title = "{DCE -- D}as {OSF D}istributed {Computing} {Environment}, {Einf"uhrung} und {Grundlagen}", publisher = "Springer-Verlag", address = "Berlin, Heidelberg", year="1993",} @article{AtBu87, author= {Atkinson, M.P. and Bunemann, P.}, title= {Types and {Persistence} in {Database} {Programming} {Languages}}, journal= surveys, year= 1987, month= jun, volume= 19, number= 2, abstract= { Sehr guter "Uberblicksartikel. type algebra, type completeness, bulk data types }} @incollection{OezVa94, author = {{\"O}zsu, M.T. and Valduriez, P.}, title = {Distributed {Data} {Management}: Unsolved {Problems} and {New} {Issues}}, booktitle = {Readings in Distributed Computing}, year = {1994}, publisher = {IEEE Computer Society Press}, editor = {Casavant, T. and Singhal, M.} } @misc{omg-kurz, author = {{Object Management Group}}, title = {What is {CORBA}}, howpublished = {http://ruby.omg.org/corba. htm }, year=1996, month = jun, } @book{sig96, author = "Siegel, Jon", title = "CORBA Fundamentals and Programming", publisher= "John Wiley \& Sons", address="New York", year=1996 } @article{Lau93, author="Lauer, Thomas", title="Paketdienst: {G}rundlagen zu {O}bject {L}inking and {E}mbedding {(OLE)}", journal="c't {M}agazin f{"u}r {C}omputertechnik", year=1993, month=apr, pages="264-272", } @phdthesis{mathi96, author="Mathiske, Bernd", title="Mobilit{"a}t in persistenten {O}bjektsystemen", school="Universit{"a}t Hamburg, Fachbereich Informatik", type="Dissertation", year=1996, } @book{DisObjSurvG, author="Orfali, Robert and Harkey, Dan and Edwards, Jeri", title="The Essential Distributed Objects Survival Guide", publisher="John Wiley \& Sons", address="New York", year=1996 } @article{AtMo95, author="Atkinson, Malcolm and Morrison, Ronald", title="Orthogonally {Persistent} {Object} {Systems}", journal="VLDB Journal", year=1995, volume=4, number=3, pages="319-401", } @book{MeyOber94, author="Meyer, Hanns-Martin and Obermayr, Karl", title="Objekte integrieren mit {OLE2}: {Microsofts} {Basistechnologie} f{"u}r objektorientierte {Architektur}", publisher="Springer-Verlag", address="Berlin, Heidelberg", year=1994 } @book{Tan95, author="Tanenbaum, Andrew S.", title="Verteilte {Betriebssysteme}", publisher="Prentice Hall", address="M{"u}nchen", year=1995 } @inproceedings{MaSc94, key= {MaSc94}, author= {Matthes, F. and Schmidt, J.W.}, title= {Persistent {Threads}}, year= 1994, month= sep, booktitle= {Proceedings of the Twentieth International Conference on Very Large Data Bases, VLDB}, pages= {403--414}, address= {Santiago, Chile}, documentdirectory= {1994/MaSc94}, abstract= {Persistent threads are a database programming concept particularly well-suited for applications that manage long-term, distributed or cooperative activities. We introduce persistent threads as a novel form of bindings from data in persistent object stores to activated code and relate them to existing binding concepts found in database programming. We also describe the integration of persistent threads into a polymorphically-typed database language and its supporting layered system architecture with particular emphasis on abstractly-defined thread representations which support thread analysis, optimization and portability.}} @misc{ElHe96, author={Elmasri, Ramez and Helal, Abdelsalam}, title={Standards for {Database} {Interoperability} and {Portability}: {CORBA}, {ODMG} and {SQL}}, howpublished={Tutorial Presented at the International Conference on Cooperative Information Systems (CoopIS '96), Brussels, Belgium}, month=jun, year=1996 } @techreport{Wino87, author={Winograd, Terry A.}, title={A {Language/Action} {Perspective} on the {Design} of {Cooperative} {Work}}, number={STAN-CS-87-1158}, institution={Department of {Computer} {Science}, {Stanford} {University}, {Stanford}, {CA 94305}}, year=1987, month=apr, } @inproceedings{koopis-mani96, author={{De Michelis}, Giorgio and Dubois, Eric and Jarke, Matthias and Matthes, Florian and Mylopoulos, John and Pohl, Klaus and Schmidt, Joachim and Woo, Carson and Yu, Eric}, title={Cooperative {Information} {Systems:} {A} {Manifesto}}, booktitle={Architectural {Issues} in {Cooperative} {Information} {Systems:} {A} {Tutorial}}, editor={Mylopoulos, John and De Michelis, Giorgio and Matthes, Florian}, year=1996, month=jun } @mastersthesis{Piel96, key= {Piel96}, author= {Andreas Piellusch}, title= {Synchronisation langlebiger {Aktivit\"aten} in persistenten {Objektsystemen}}, school= hbg-info, type= {Diplomarbeit}, month= {Juni}, year= {1996}, documentdirectory= {1996/Piel96} } @book{hamel94, author= {Hamel, G. and Parhalad,C.}, title= {Competing for the {Future}}, publisher={Harvard Business School Press}, address={Boston, Massachusetts}, year=1994, } @incollection{OODBMS-Mani90, author={Atkinson, M. and Bancilhon, F. and {De Witt}, D. and Dittrich, K. and Maier, D. and Zdonik, S.}, title={The {Object-Oriented} {Database} {System} {Manifesto}}, booktitle={Deductive and {Object-oriented} {Databases}}, publisher={Elsevier Science Publishers}, address={Amsterdam, Netherlands}, year=1990, } @article{FlWi+88, author={Flores, Fernando and Graves, Michael and Hartfield, Brad and Winograd, Terry}, title={Computer {Systems} and the {Design} of {Organisational} {Interaction}}, journal={ACM {Transaction} on {Office} {Information} {Systems}}, year=1988, month=apr, volume=6, number=2, pages={153-172}, } @article{AuLeLy88, author={Auram"aki, Esa and Lethinen, Erkki and Lyytinen, Kalle}, title={A {Speech-Act-Based} {Office} {Modelling} {Approach}}, journal={ACM {Transaction} on {Office} {Information} {Systems}}, year=1998, month=apr, volume=6, number=2, pages={126-152}, } @mastersthesis{joha97, author={Nico Johannisson}, title={Eine {Umgebung} f\"ur mobile {Agenten}: {Agentenbasierte} verteilte {Datenbanken} am {Beispiel} der {Kopplung} autonomer {Internet} "`{WebSiteProfiler}"'}, school=hbg-info, type={Diplomarbeit}, year=1997, } @misc{Kabel96, author={{Kabel New Media}}, title={Webtracking -- {Die} 10 wichtigsten {Fragen} und {Antworten}}, howpublished={http://www.kabel.de/KNMantworten.html}, month=sep, year=1996, } @techreport{http96, author={{Berners-Lee}, T. and Fielding, R. and Frystyk, H.}, title={Hypertext {Transfer} {Protocol} --- {HTTP/1.0}}, institution={HTTP Working Group}, type={Internet-Draft}, number={draft-ietf-http-v10-spec-05.ps}, month=feb, year=1996, } @techreport{whi194, author={White, {James E.}}, title={Telescript {Technology}: The {Foundation} for the {Electronic} {Marketplace}}, institution={General Magic}, type={White Paper}, year={1994}, } @article{EAK, author={Dayal, Umeschwar and Hsu, Meichum and Ladin, Rioka}, title={Organizing {Long} {Running} {Activities} with {Triggers} and {Transactions}}, journal={ACM SIGMOD}, year=1990, } @mastersthesis{Laub97, author={Laub, {Jan T.}}, title={Analyse der {Web-Server-Nutzung}: {Krititerien}, {Protokolldateien} und {Auswertungssoftware}}, year=1997, school=hbg-info, type={Diplomarbeit}, } @article{EW94, author={Etzioni, Oren and Weld, Daniel}, title={A {Softbot}-based {Interface} to the {Internet}}, journal={CACM}, year={1994}, month=jul, } @article{Mae94, author={Maes, Pattie}, title={Agents that Reduce Work and Information Overload}, journal={CACM}, year=1994, month=jul, } @mastersthesis{hohl95, author={Fritz Hohl}, title={Konzeption eines einfachen {Agentensystems} und {Implementation} eines {Prototyps}}, school={Fakult"at Informatik, Universit"at Stuttgart}, type={Diplomarbeit}, year=1995, }