OBJECT-Z - A SPECIFICATION LANGUAGE ADVOCATED FOR THE DESCRIPTION OF STANDARDS

被引：70

作者：

DUKE, R ^{[1
]}

ROSE, G ^{[1
]}

SMITH, G ^{[1
]}

机构：

[1] UNIV QUEENSLAND,DEPT COMP SCI,SOFTWARE VERIFICAT RES CTR,ST LUCIA,QLD 4067,AUSTRALIA

来源：

COMPUTER STANDARDS & INTERFACES | 1995年 / 17卷 / 5-6期

基金：

澳大利亚研究理事会;

关键词：

OBJECT-ORIENTATION; FORMAL SPECIFICATION; FORMAL SEMANTICS; STANDARDS;

D O I：

10.1016/0920-5489(95)00024-O

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The importance of formalising the specification of standards has been recognised for a number of years. This paper advocates the use of the formal specification language Object-Z in the definition of standards. Object-Z is an extension to the Z language specifically to facilitate specification in an object-oriented style. First, the syntax and semantics of Object-Z are described informally. Then the use of Object-Z in formalising standards is demonstrated by presenting a case study based on the ODP Trader. Finally, a formal semantics is introduced that suggests an approach to the standardisation of Object-Z itself. Because standards are typically large complex systems, the extra structuring afforded by the Object-Z class construct and operation expressions enables the various hierarchical relationships and the communication between objects in a system to be succinctly specified.

引用

页码：511 / 533

页数：23

共 20 条

[1]

BRIEN SM, 1992, PRG107 OXF U COMP LA

[2]

DONG J, 1993, TECHNOLOGY OBJECT OR, P181

[3]

DONG J, 1994, 17TH P ANN COMP SCI, P767

[4]

DONG J, 1994, IN PRESS OBJECT ORIE

[5]

DUKE R, 1991, 911 U QUEENSL DEP CO

[6]

DUKE R, 1993, 16TH P AUSTR COMP SC, P93

[7]

GRIFFITHS A, 1994, 9421 U QUEENSL DEP C

[8]

HYAES I, 1990, PROTOCOL SPECIFICATI, V9, P3

[9]

KING P, 1989, 4TH P AUSTR SOFTW EN, P113

[10]

Moszkowski B., 1986, EXECUTING TEMPORAL L

← 1 2 →