Olaf Kummer Universität Hamburg, Fa hberei h Informatik Vogt-Kölln-Straÿe 30, D-22527 Hamburg kummer informatik.uni-hamburg.de Abstra t In this paper we investigate how the Java programming language an be integrated in an obje t-oriented Petri net formalism. It be omes apparent how a arefully designed uni ation algorithm supports this goal, despite the fa t that Java itself is not based on uni ...

Self-organization is built upon two main building blocks: adaptive and uncoupled interaction mechanisms and context-awareness. Here we show how the middleware TOTA (Tuples On The Air) supports self-organization by providing effective abstractions for the above two building-blocks. TOTA relies on spatially distributed tuples for both supporting adaptive and uncoupled interactions between agents,...

We discuss the semantics of complex object databases with both partial and complete tuples and sets. We redeene the notion of database to reeect the existence of partial and complete tuples and sets and study how to integrate partial information about tuples and sets spread in the database and check consistency in the meantime. We also present a deductive language RLOG II for complex objects wi...

An r-graph is a graph whose basic elements are its vertices and r-tuples . It is proved that to every 1 and r there is an e(l, r) so that for n > no every r-graph of n vertices and n'-E(i, r) r-tuples contains r . /vertices P),I5 j < r, l < i < l, so that all the r-tuples (x i ,( 1 ), xi2 (2 ) ' . . . , x1 (')) occur in the r-graph . By an r-graph G (')(r >_ 2) we shall mean a graph whose basic...