Structured object-Z software specification language

被引：0
|
作者：
Gao, XL [1 ]
Miao, HK
Chen, YH
机构：
[1] Shanghai Univ, Sch Engn & Comp Sci, Shanghai 200072, Peoples R China
[2] Xuzhou Normal Univ, Xuzhou 221116, Peoples R China
来源：
GRID AND COOPERATIVE COMPUTING, PT 1 | 2004年 / 3032卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, we review and compare strengths and weakness of the structure methods, object-oriented methods and formal methods. In order to overcome the disadvantages of each kind of methods and combine the advantages of these three kinds of methods, we propose a new software development methodology named SOFM that attempts to integrate structure method, object-oriented method and formal method. SOZRSL(Structured Object-Z Software Specification Language) is a language to support SOFM. The core of this language is Predicate Data Flow Diagram. We combine PDFD with Object-Z notation to define SOZRSL syntax and the related structures.
引用
收藏
页码：956 / 963
页数：8
相关论文
共 50 条
  • [1] Object-Z: a specification language advocated for the description of standards
    Univ of Queensland
    [J]. Comput Stand Interfaces, 5-6 (511-533):
  • [2] OBJECT-Z - A SPECIFICATION LANGUAGE ADVOCATED FOR THE DESCRIPTION OF STANDARDS
    DUKE, R
    ROSE, G
    SMITH, G
    [J]. COMPUTER STANDARDS & INTERFACES, 1995, 17 (5-6) : 511 - 533
  • [3] Abstract specification in object-Z and CSP
    Smith, G
    Derrick, J
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 108 - 119
  • [4] Mutation operators for Object-Z specification
    Liu, L
    Miao, HK
    [J]. ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 498 - 506
  • [5] The study of Object-Z specification format for specification animation
    Chen, YH
    Miao, HK
    Zhu, J
    [J]. PROCEEDINGS OF THE 11TH JOINT INTERNATIONAL COMPUTER CONFERENCE, 2005, : 738 - 741
  • [6] From Object-Z specification to Groovy implementation
    Zaker, F.
    Haghighi, H.
    Nazemi, E.
    [J]. SCIENTIA IRANICA, 2018, 25 (06) : 3415 - 3441
  • [7] An Instance to Extend Object-Z Formal Specification
    Hou, Xiaomao
    Ma, Ling
    Wen, Zhicheng
    [J]. ADVANCES IN MECHATRONICS, AUTOMATION AND APPLIED INFORMATION TECHNOLOGIES, PTS 1 AND 2, 2014, 846-847 : 1500 - 1504
  • [8] A Formal Requirement Specification Method Based On Object-Z
    Xia, Jianxun
    Xia, Liping
    [J]. PROCEEDINGS OF 2010 ASIA-PACIFIC YOUTH CONFERENCE ON COMMUNICATION, VOLS 1 AND 2, 2010, : 209 - +
  • [9] Formal specification of CORBA services using Object-Z
    Kreuz, D
    [J]. SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 180 - 189
  • [10] Reasoning about Object-Z formal specification with LTLC
    Huang, Haijun
    Wen, Zhicheng
    [J]. 2018 INTERNATIONAL SEMINAR ON COMPUTER SCIENCE AND ENGINEERING TECHNOLOGY (SCSET 2018), 2019, 1176
12345