Toward languages and formal systems for distributed computing

Mario Tokoro, Kazunori Takashio

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

In this paper, we attempt to reveal the most essential properties of distributed computations. We claim that the notions of asynchrony, real-time, and autonomy are vitally important to a widely distributed, open-ended, ever-changing environment. We then propose a programming language, called DROL, for asynchronous reai-time computing. It supports self-contained active objects that have threads of control and a clock, and introduces the notion of timed invocation, that guarantees the survivability of each active object. We place DROL as a first step in constructing programming languages to realize the above three notions. We also classify distributed computation into four forms according to asynchrony and real-time properties, and try to develop formalisms for the four categories based on a process calculus. The formalisms allow us to describe and analyze both globally and locally temporal properties as well as the behavioral properties of distributed objects and the interactions among them. We discuss issues remaining to be solved and suggest some possibilities for future work.

Original languageEnglish
Title of host publicationObject-Based Distributed Programming - ECOOP 1993 Workshop, Proceedings
PublisherSpringer Verlag
Pages93-110
Number of pages18
Volume791 LNCS
ISBN (Print)9783540579328
Publication statusPublished - 1994
EventECOOP 1993 Workshop on Object-Based Distributed Programming - Kaiserslautern, Germany
Duration: 1993 Jul 261993 Jul 27

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume791 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherECOOP 1993 Workshop on Object-Based Distributed Programming
CountryGermany
CityKaiserslautern
Period93/7/2693/7/27

Fingerprint

Distributed computer systems
Distributed Computing
Computer programming languages
Distributed Computation
Programming Languages
Clocks
Real-time
Process Calculi
Survivability
Thread
Classify
Language
Computing
Interaction
Object

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Tokoro, M., & Takashio, K. (1994). Toward languages and formal systems for distributed computing. In Object-Based Distributed Programming - ECOOP 1993 Workshop, Proceedings (Vol. 791 LNCS, pp. 93-110). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 791 LNCS). Springer Verlag.

Toward languages and formal systems for distributed computing. / Tokoro, Mario; Takashio, Kazunori.

Object-Based Distributed Programming - ECOOP 1993 Workshop, Proceedings. Vol. 791 LNCS Springer Verlag, 1994. p. 93-110 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 791 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tokoro, M & Takashio, K 1994, Toward languages and formal systems for distributed computing. in Object-Based Distributed Programming - ECOOP 1993 Workshop, Proceedings. vol. 791 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 791 LNCS, Springer Verlag, pp. 93-110, ECOOP 1993 Workshop on Object-Based Distributed Programming , Kaiserslautern, Germany, 93/7/26.
Tokoro M, Takashio K. Toward languages and formal systems for distributed computing. In Object-Based Distributed Programming - ECOOP 1993 Workshop, Proceedings. Vol. 791 LNCS. Springer Verlag. 1994. p. 93-110. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Tokoro, Mario ; Takashio, Kazunori. / Toward languages and formal systems for distributed computing. Object-Based Distributed Programming - ECOOP 1993 Workshop, Proceedings. Vol. 791 LNCS Springer Verlag, 1994. pp. 93-110 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{708e17e21fe74dbdb0e42725616e72d1,
title = "Toward languages and formal systems for distributed computing",
abstract = "In this paper, we attempt to reveal the most essential properties of distributed computations. We claim that the notions of asynchrony, real-time, and autonomy are vitally important to a widely distributed, open-ended, ever-changing environment. We then propose a programming language, called DROL, for asynchronous reai-time computing. It supports self-contained active objects that have threads of control and a clock, and introduces the notion of timed invocation, that guarantees the survivability of each active object. We place DROL as a first step in constructing programming languages to realize the above three notions. We also classify distributed computation into four forms according to asynchrony and real-time properties, and try to develop formalisms for the four categories based on a process calculus. The formalisms allow us to describe and analyze both globally and locally temporal properties as well as the behavioral properties of distributed objects and the interactions among them. We discuss issues remaining to be solved and suggest some possibilities for future work.",
author = "Mario Tokoro and Kazunori Takashio",
year = "1994",
language = "English",
isbn = "9783540579328",
volume = "791 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "93--110",
booktitle = "Object-Based Distributed Programming - ECOOP 1993 Workshop, Proceedings",
address = "Germany",

}

TY - GEN

T1 - Toward languages and formal systems for distributed computing

AU - Tokoro, Mario

AU - Takashio, Kazunori

PY - 1994

Y1 - 1994

N2 - In this paper, we attempt to reveal the most essential properties of distributed computations. We claim that the notions of asynchrony, real-time, and autonomy are vitally important to a widely distributed, open-ended, ever-changing environment. We then propose a programming language, called DROL, for asynchronous reai-time computing. It supports self-contained active objects that have threads of control and a clock, and introduces the notion of timed invocation, that guarantees the survivability of each active object. We place DROL as a first step in constructing programming languages to realize the above three notions. We also classify distributed computation into four forms according to asynchrony and real-time properties, and try to develop formalisms for the four categories based on a process calculus. The formalisms allow us to describe and analyze both globally and locally temporal properties as well as the behavioral properties of distributed objects and the interactions among them. We discuss issues remaining to be solved and suggest some possibilities for future work.

AB - In this paper, we attempt to reveal the most essential properties of distributed computations. We claim that the notions of asynchrony, real-time, and autonomy are vitally important to a widely distributed, open-ended, ever-changing environment. We then propose a programming language, called DROL, for asynchronous reai-time computing. It supports self-contained active objects that have threads of control and a clock, and introduces the notion of timed invocation, that guarantees the survivability of each active object. We place DROL as a first step in constructing programming languages to realize the above three notions. We also classify distributed computation into four forms according to asynchrony and real-time properties, and try to develop formalisms for the four categories based on a process calculus. The formalisms allow us to describe and analyze both globally and locally temporal properties as well as the behavioral properties of distributed objects and the interactions among them. We discuss issues remaining to be solved and suggest some possibilities for future work.

UR - http://www.scopus.com/inward/record.url?scp=85016843791&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85016843791&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9783540579328

VL - 791 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 93

EP - 110

BT - Object-Based Distributed Programming - ECOOP 1993 Workshop, Proceedings

PB - Springer Verlag

ER -