A Language Construct for DMIs

  • A. F. Zorzo PUCRS

Resumo


Dependable Multiparty Interacion (DMI) has recently been introduced as a mechanism that provides reliable interaction between participants. Specifically, a DMI is a multiparty interaction mechanism that provides facilities for handling concurrent exceptions and assuring consistency upon leaving the interaction. This paper describes how the DMI mechanism can be added to a programming language.
Palavras-chave: DMI, multiparty interaction, concurrent exception handling

Referências

I. Foster. Compositional parallel programming languages. ACM Transactions on Programming Languages and Systems, 18(4):454-476, 1996.

P. G. Neumann. Distributed systems have distributed risks. Communications of the ACM, 39(11):130, 1996.

Y.-J. Joung and S. A. Smolka. A comprehensive study of the complexity of multiparty interaction. Journal of ACM, 43(1):75-115, 1996.

I. Forman and F. Nissen. Interacting Processes - A multiparty approach to coordinated distributed programming. ACM Publishers, 1996.

P. C. Attie, N. Francez, and T. X. Austin. Fairness and hyperfairness in multiparty interactions. Distributed Computing, 6(4):245-254, 1993.

M. Evangelist, N. Francez, and S. Katz. Multiparty interactions for interprocess communication and synchronization. IEEE Transactions on Software Engineering, 15(11):1417-1426, 1989.

A. F. Zorzo. Multiparty Interactions in Dependable Distributed Systems.PhD thesis, University of Newcastle upon Tyne, Newcastle upon Tyne, UK, 1999.

R. H. Campbell and B. Randell. Error recovery in asynchronous systems. IEEE Transactions on Software Engineering, 12(8):811-826, 1986.

A. Romanovsky, J. Xu, and B. Randell. Exception handling and resolution in distributed object-oriented systems. In 16th IEEE International Conference on Distributed Computing Systems, pages 545-552. IEEE Computer Society Press, 1996.

H.-M. Jarvinen and R. Kurki-Suonio. Disco specification language: Marriage of actions and objects. In 11th International Conference on Distributed Computing Systems, pages 142-151. IEEE CS Press, 1991.

A. F. Zorzo and B. Randell. Towards a formal specification for dependable multiparty interactions. Journal of Theoretical Computer Science, page submitted, 2000.
Publicado
15/07/2000
Como Citar

Selecione um Formato
ZORZO, A. F.. A Language Construct for DMIs. In: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 2. , 2000, Curitiba/PR. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2000 . p. 118-123. ISSN 2595-2684. DOI: https://doi.org/10.5753/wtf.2000.23485.