Language features for cooperation in an object-oriented database environment

Susan J. Even, F.J. Faase, R.A. de By

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

Abstract

We introduce the language LOTOS/TM for the formal specification of a network of cooperating agents with a shared data repository and private local data. LOTOS/TM is the orthogonal integration of the process-algebraic protocol specification language LOTOS and the functional, object-oriented database specification language TM. The specified world consists of a number of interacting LOTOS processes — describing the cooperating agents — and a special LOTOS process representing the shared data repository, which is modeled as a TM database. The data repository's functionality is made available to the other, cooperating processes through one or more external database gates. Interaction at such a gate corresponds to a method invocation in the database. In addition to shared persistent data, the TM language is used to specify the data encapsulated locally within processes, and the transient data communicated over gates. Some features of LOTOS/TM are inherently suitable for describing cooperation, such as combinators for synchronization on specific methods. These features are illustrated by examples showing navigation events on a shared graph structure that resembles a hypertext. Emphasis in the examples is placed on coordination aspects of the scenario. LOTOS/TM serves as a formalism for a more user-friendly specification language by the name of CoCoA that is currently under construction.
Original languageEnglish
Pages (from-to)469-500
Number of pages32
JournalInternational journal of cooperative information systems
Volume5
Issue number4
DOIs
Publication statusPublished - Dec 1996

Fingerprint

Specification languages
Object-oriented databases
Synchronization
Navigation
Network protocols

Keywords

  • DB-OODB: OBJECT-ORIENTED DATABASES
  • DB-WFM: WORKFLOW MANAGEMENT
  • LOTOS/TM
  • Cooperation
  • Coordination
  • Synchronized database updates
  • Navigation events

Cite this

@article{d59d72d16233476ea8d03f3f9a35207b,
title = "Language features for cooperation in an object-oriented database environment",
abstract = "We introduce the language LOTOS/TM for the formal specification of a network of cooperating agents with a shared data repository and private local data. LOTOS/TM is the orthogonal integration of the process-algebraic protocol specification language LOTOS and the functional, object-oriented database specification language TM. The specified world consists of a number of interacting LOTOS processes — describing the cooperating agents — and a special LOTOS process representing the shared data repository, which is modeled as a TM database. The data repository's functionality is made available to the other, cooperating processes through one or more external database gates. Interaction at such a gate corresponds to a method invocation in the database. In addition to shared persistent data, the TM language is used to specify the data encapsulated locally within processes, and the transient data communicated over gates. Some features of LOTOS/TM are inherently suitable for describing cooperation, such as combinators for synchronization on specific methods. These features are illustrated by examples showing navigation events on a shared graph structure that resembles a hypertext. Emphasis in the examples is placed on coordination aspects of the scenario. LOTOS/TM serves as a formalism for a more user-friendly specification language by the name of CoCoA that is currently under construction.",
keywords = "DB-OODB: OBJECT-ORIENTED DATABASES, DB-WFM: WORKFLOW MANAGEMENT, LOTOS/TM, Cooperation, Coordination, Synchronized database updates, Navigation events",
author = "Even, {Susan J.} and F.J. Faase and {de By}, R.A.",
year = "1996",
month = "12",
doi = "10.1142/S0218843096000178",
language = "English",
volume = "5",
pages = "469--500",
journal = "International journal of cooperative information systems",
issn = "0218-8430",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "4",

}

Language features for cooperation in an object-oriented database environment. / Even, Susan J.; Faase, F.J.; de By, R.A.

In: International journal of cooperative information systems, Vol. 5, No. 4, 12.1996, p. 469-500.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - Language features for cooperation in an object-oriented database environment

AU - Even, Susan J.

AU - Faase, F.J.

AU - de By, R.A.

PY - 1996/12

Y1 - 1996/12

N2 - We introduce the language LOTOS/TM for the formal specification of a network of cooperating agents with a shared data repository and private local data. LOTOS/TM is the orthogonal integration of the process-algebraic protocol specification language LOTOS and the functional, object-oriented database specification language TM. The specified world consists of a number of interacting LOTOS processes — describing the cooperating agents — and a special LOTOS process representing the shared data repository, which is modeled as a TM database. The data repository's functionality is made available to the other, cooperating processes through one or more external database gates. Interaction at such a gate corresponds to a method invocation in the database. In addition to shared persistent data, the TM language is used to specify the data encapsulated locally within processes, and the transient data communicated over gates. Some features of LOTOS/TM are inherently suitable for describing cooperation, such as combinators for synchronization on specific methods. These features are illustrated by examples showing navigation events on a shared graph structure that resembles a hypertext. Emphasis in the examples is placed on coordination aspects of the scenario. LOTOS/TM serves as a formalism for a more user-friendly specification language by the name of CoCoA that is currently under construction.

AB - We introduce the language LOTOS/TM for the formal specification of a network of cooperating agents with a shared data repository and private local data. LOTOS/TM is the orthogonal integration of the process-algebraic protocol specification language LOTOS and the functional, object-oriented database specification language TM. The specified world consists of a number of interacting LOTOS processes — describing the cooperating agents — and a special LOTOS process representing the shared data repository, which is modeled as a TM database. The data repository's functionality is made available to the other, cooperating processes through one or more external database gates. Interaction at such a gate corresponds to a method invocation in the database. In addition to shared persistent data, the TM language is used to specify the data encapsulated locally within processes, and the transient data communicated over gates. Some features of LOTOS/TM are inherently suitable for describing cooperation, such as combinators for synchronization on specific methods. These features are illustrated by examples showing navigation events on a shared graph structure that resembles a hypertext. Emphasis in the examples is placed on coordination aspects of the scenario. LOTOS/TM serves as a formalism for a more user-friendly specification language by the name of CoCoA that is currently under construction.

KW - DB-OODB: OBJECT-ORIENTED DATABASES

KW - DB-WFM: WORKFLOW MANAGEMENT

KW - LOTOS/TM

KW - Cooperation

KW - Coordination

KW - Synchronized database updates

KW - Navigation events

U2 - 10.1142/S0218843096000178

DO - 10.1142/S0218843096000178

M3 - Article

VL - 5

SP - 469

EP - 500

JO - International journal of cooperative information systems

JF - International journal of cooperative information systems

SN - 0218-8430

IS - 4

ER -