Specification-driven approach for protocol design of distributed computing systems

Agrawal, V. K. ; Patnaik, L. M. ; Goel, P. S. (1989) Specification-driven approach for protocol design of distributed computing systems Journal of Microcomputer Applications, 12 (2). pp. 107-126. ISSN 0745-7138

Full text not available from this repository.

Official URL: http://linkinghub.elsevier.com/retrieve/pii/074571...

Related URL: http://dx.doi.org/10.1016/0745-7138(89)90020-1

Abstract

An important issue in the design of a distributed computing system (DCS) is the development of a suitable protocol. This paper presents an effort to systematize the protocol design procedure for a DCS. Protocol design and development can be divided into six phases: specification of the DCS, specification of protocol requirements, protocol design, specification and validation of the designed protocol, performance evaluation, and hardware/software implementation. This paper describes techniques for the second and third phases, while the first phase has been considered by the authors in their earlier work. Matrix and set theoretic based approaches are used for specification of a DCS and for specification of the protocol requirements. These two formal specification techniques form the basis of the development of a simple and straightforward procedure for the design of the protocol. The applicability of the above design procedure has been illustrated by considering an example of a computing system encountered on board a spacecraft. A Petri-net based approach has been adopted to model the protocol. The methodology developed in this paper can be used in other DCS applications.

Item Type:Article
Source:Copyright of this article belongs to Elsevier Science.
ID Code:13103
Deposited On:11 Nov 2010 06:53
Last Modified:02 Jun 2011 08:25

Repository Staff Only: item control page