Abstract | ||
---|---|---|
Formal modelling can greatly assist the design and development of distributed systems. To be effective, such modelling needs formal description techniques capable of representing concepts particular to distributed systems (as well as more general concepts applicable to all systems). The Open Distributed Processing (ODP) standardization effort describes a set of concepts considered relevant to the description of open distributed systems, and also specifies requirements for formal description techniques used in modelling these systems. In this paper we show how the Z specification language (and its object-oriented extension, Object-Z) satisfies ODP requirements and can express ODP concepts. We conclude that Z and Object-Z are well-suited to modelling ODP systems in particular, and distributed systems in general. |
Year | DOI | Venue |
---|---|---|
1992 | 10.1016/0140-3664(92)90130-7 | Computer Communications |
Keywords | Field | DocType |
open distributed systems,Z,formal description techniques,modelling | Specification language,Computer science,Formal description,Standardization,Distributed computing | Journal |
Volume | Issue | ISSN |
15 | 2 | Computer Communications |
Citations | PageRank | References |
1 | 0.34 | 4 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Phil Stocks | 1 | 263 | 20.84 |
Kerry Raymond | 2 | 353 | 48.73 |
David Carrington | 3 | 1 | 0.34 |
Andrew Lister | 4 | 2 | 1.11 |