OASIS - AN OBJECT-ORIENTED SPECIFICATION LANGUAGE

被引：0
|
作者：
LOPEZ, OP [1 ]
HAYES, F [1 ]
BEAR, S [1 ]
机构：
[1] HEWLETT PACKARD LABS BRISTOL, BRISTOL BS12 6QZ, ENGLAND
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 593卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper introduces Oasis, a language for specifying object-oriented information systems using a deductive (temporal) approach ([3]). Oasis extends first versions of OBLOG ([17]) and MOL([12]), a trace based specification languages, with: 1. triggered relationships which enable specification of active objects 2. supporting rapid prototyping by generating the First Order Theory formally equivalent to a specification. 3. introducing class operators within an algebraic formal environment to deal with object reification.
引用
收藏
页码：348 / 363
页数：16
相关论文
共 50 条
  • [1] Object-oriented software specification language
    Quan, Bingzhe
    Jin, Chunzhao
    [J]. Ruan Jian Xue Bao/Journal of Software, 1995, 6 (12):
  • [2] 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
  • [3] OOZS: an Object-Oriented Structured Formal Specification Language
    李刚
    缪淮扣
    朱关铭
    [J]. Advances in Manufacturing, 1997, (01) : 70 - 74
  • [4] TROLL - A language for object-oriented specification of information systems
    Jungclaus, R
    Saake, G
    Hartmann, T
    Sernadas, C
    [J]. ACM TRANSACTIONS ON INFORMATION SYSTEMS, 1996, 14 (02) : 175 - 211
  • [5] 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
  • [6] SLOGAN - AN OBJECT-ORIENTED LANGUAGE FOR NEURAL NETWORK SPECIFICATION
    ANGENIOL, B
    LETEXIER, JY
    MATEU, JB
    [J]. NEURAL NETWORKS FROM MODELS TO APPLICATIONS, 1989, : 641 - 652
  • [7] AN OBJECT-ORIENTED LOGIC LANGUAGE FOR MODULAR SYSTEM SPECIFICATION
    MORZENTI, A
    PIETRO, PS
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 512 : 39 - 58
  • [8] CSL - A CLASS SPECIFICATION LANGUAGE FOR OBJECT-ORIENTED DESIGN
    BUCCI, G
    CECCHINI, R
    DELBIMBO, A
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1990, 28 (1-5): : 201 - 204
  • [9] Object-oriented software specification in programming language design and implementation
    Bryant, BR
    Vaidyanathan, V
    [J]. TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS, 1998, : 387 - 392
  • [10] AN OBJECT-ORIENTED SPECIFICATION FOR COMPILER
    WU, PC
    WANG, FJ
    [J]. SIGPLAN NOTICES, 1992, 27 (01): : 85 - 94
12345