OOZS: an Object-Oriented Structured Formal Specification Language

被引：0
|
作者：
李刚
缪淮扣
朱关铭
机构：
来源：
Advances in Manufacturing | 1997年 / 01期
关键词：
OOZS; class; schema; specification;
D O I：
暂无
中图分类号：
TP312 [程序语言、算法语言];
学科分类号：
081202 ; 0835 ;
摘要：
OOZS, which stands for ’Object-Oriented Z Structured’, is an extension of the formal specification language Z to accommodate object orientation. It extends Z with a number of features that provide support for object-oriented design and management of specifications of very large systems. In addition to the usual object-oriented structures such as encapsulation into classes and inheritance, OOZS has some distinctive features : the Include facility, Import&Export mechanism, Pre&Post predicate, and the improved Delta&Xi list. This paper gives a brief description of this language.
引用
收藏
页码：70 / 74
页数：5
相关论文
共 50 条
  • [1] Structuring mechanisms for an object-oriented formal specification language
    Cornélio, M
    Borba, P
    [J]. SOFTWARE REUSE: ADVANCES IN SOFTWARE REUSABILITY, 2000, 1844 : 402 - 419
  • [2] FORMAL SPECIFICATION AND OBJECT-ORIENTED DESIGN
    BUCHANAN, M
    BRITTON, C
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1992, 34 (1-5): : 19 - 22
  • [3] OASIS - AN OBJECT-ORIENTED SPECIFICATION LANGUAGE
    LOPEZ, OP
    HAYES, F
    BEAR, S
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 593 : 348 - 363
  • [4] Comparison of formal specification methods and object-oriented paradigms
    Iglewski, M
    Muldner, T
    [J]. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 1997, 20 (04) : 355 - 377
  • [5] AN OBJECT-ORIENTED APPROACH TO THE FORMAL SPECIFICATION OF ODP TRADER
    DONG, JS
    DUKE, R
    [J]. OPEN DISTRIBUTED PROCESSING, II, 1994, 20 : 341 - 352
  • [6] Formal specification of object-oriented meta-modelling
    Övergaard, G
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 193 - 207
  • [7] A formal specification framework for object-oriented distributed systems
    Buchs, D
    Guelfi, N
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (07) : 635 - 652
  • [8] An executable specification language for specification understanding in object-oriented specification reuse
    Chou, SC
    Chen, JY
    Chung, CG
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (06) : 419 - 434
  • [9] Towards a formal specification of an object-oriented architecture for parallel computing
    Bavan, S
    Berki, E
    Georgiadou, E
    Milankovic-Atkinson, M
    Walker, MJ
    [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-III, PROCEEDINGS, 1997, : 1054 - 1060
  • [10] Life-cycle for formal object-oriented specification models
    Bruno, MA
    Bucci, G
    Nesi, P
    [J]. 23RD EUROMICRO CONFERENCE - NEW FRONTIERS OF INFORMATION TECHNOLOGY, PROCEEDINGS: SHORT CONTRIBUTIONS, 1997, : 2 - 7
12345