Toward languages and formal systems for distributed computing

Mario Tokoro, Kazunori Takashio

研究成果: Conference contribution

3 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルObject-Based Distributed Programming - ECOOP 1993 Workshop, Proceedings
編集者Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill, Michel Riveill
出版社Springer Verlag
ページ93-110
ページ数18
ISBN(印刷版)9783540579328
DOI
出版ステータスPublished - 1994
イベントECOOP 1993 Workshop on Object-Based Distributed Programming - Kaiserslautern, Germany
継続期間: 1993 7月 261993 7月 27

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
791 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Other

OtherECOOP 1993 Workshop on Object-Based Distributed Programming
国/地域Germany
CityKaiserslautern
Period93/7/2693/7/27

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Toward languages and formal systems for distributed computing」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル