Structuring mechanisms for an object-oriented formal specification language

被引：0
|
作者：
Cornélio, M [1 ]
Borba, P [1 ]
机构：
[1] Univ Fed Pernambuco, Ctr Informat, BR-50740540 Recife, PE, Brazil
来源：
SOFTWARE REUSE: ADVANCES IN SOFTWARE REUSABILITY | 2000年 / 1844卷
关键词：
formal methods; Z; object-oriented specification; parameterized programming; language design;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this work we propose an extension of the MooZ formal specification language with support for parameterized packages. This enhances MooZ's capabilities for software reuse and maintenance in the large. We discuss several design issues for MooZ's structuring mechanisms: the distinction between inheritance and subtyping, values and objects, vertical and horizontal composition, packages and classes. We also analyse the impact of our design decisions on software reuse.
引用
收藏
页码：402 / 419
页数：18
相关论文
共 50 条
  • [1] FORMAL SPECIFICATION AND OBJECT-ORIENTED DESIGN
    BUCHANAN, M
    BRITTON, C
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 34 (1-5): : 19 - 22
  • [2] Object-oriented software specification language
    Quan, Bingzhe
    Jin, Chunzhao
    Ruan Jian Xue Bao/Journal of Software, 1995, 6 (12):
  • [3] OASIS - AN OBJECT-ORIENTED SPECIFICATION LANGUAGE
    LOPEZ, OP
    HAYES, F
    BEAR, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 593 : 348 - 363
  • [4] Comparison of formal specification methods and object-oriented paradigms
    Iglewski, M
    Muldner, T
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 1997, 20 (04) : 355 - 377
  • [5] Formal specification of object-oriented meta-modelling
    Övergaard, G
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 193 - 207
  • [6] A formal specification framework for object-oriented distributed systems
    Buchs, D
    Guelfi, N
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (07) : 635 - 652
  • [7] AN OBJECT-ORIENTED APPROACH TO THE FORMAL SPECIFICATION OF ODP TRADER
    DONG, JS
    DUKE, R
    OPEN DISTRIBUTED PROCESSING, II, 1994, 20 : 341 - 352
  • [8] An executable specification language for specification understanding in object-oriented specification reuse
    Chou, SC
    Chen, JY
    Chung, CG
    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
    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
    23RD EUROMICRO CONFERENCE - NEW FRONTIERS OF INFORMATION TECHNOLOGY, PROCEEDINGS: SHORT CONTRIBUTIONS, 1997, : 2 - 7
12345