Abstract | ||
---|---|---|
This paper discusses informal specifications of distributed programs, that is, programs that reside at nodes connected by a network. Such programs often have performance requirements, such as high availability and concurrency, that make it difficult to specify their behavior. These requirements often have an effect on the functional behavior of a program, forcing designers to change their initial expectations. In this paper we show how to give user-oriented specifications of the functional behavior of programs with such requirements. We propose a structure for specifications that distinguishes expected and desirable effects from undesirable ones. We believe that this distinction is an important one for both users and implementers of a system, and that it makes the specifications easier to understand. We illustrate our approach by giving example specifications of several distributed programs that have been described in the literature. |
Year | DOI | Venue |
---|---|---|
1986 | 10.1007/BF01786229 | Distributed computing |
Keywords | Field | DocType |
Specifications,Distributed systems,Abstract data types,Atomic transactions,Nondeterminism | Abstract data type,Atomicity,Software engineering,Concurrency,Computer science,Petroleum engineering,High availability,Distributed computing | Journal |
Volume | Issue | ISSN |
1 | 2 | 0178-2770 |
Citations | PageRank | References |
11 | 2.72 | 10 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Barbara Liskov | 1 | 6025 | 1219.69 |
William E. Weihl | 2 | 2614 | 903.11 |