Structural refinement in Object-Z/CSP

被引:0
|
作者
Derrick, J [1 ]
Smith, G
机构
[1] Univ Kent, Comp Lab, Canterbury CT2 7NF, Kent, England
[2] Univ Queensland, Software Verificat Res Ctr, St Lucia, Qld 4072, Australia
来源
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would allow concurrency to be introduced during the development life-cycle. In this paper we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow a single Object-Z component to be refined to a number of communicating or interleaved classes. We prove soundness of these rules and illustrate them with a small example.
引用
收藏
页码:194 / 213
页数:20
相关论文
共 50 条
  • [21] Linking Object-Z with Spec#
    Qin, Shengchao
    He, Guanhua
    12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 185 - +
  • [22] 基于Object-Z多态推理
    文志诚
    缪淮扣
    孙军梅
    计算机科学, 2006, (07) : 230 - 232
  • [23] Formalizing UML models with object-Z
    Miao, HK
    Liu, L
    Li, L
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 523 - 534
  • [24] Integrating Object-Z with Timed Automata
    Dong, JS
    Duke, R
    Hao, P
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 488 - 497
  • [25] Static Class Elements for Object-Z
    Ruhroth, Thomas
    Wehrheim, Heike
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 259 (0C) : 193 - 205
  • [26] Formalizing object oriented design patterns with object-Z
    Rauf, Irum
    Nadeem, Aamer
    Khokhar, Masud
    10TH IEEE INTERNATIONAL MULTITOPIC CONFERENCE 2006, PROCEEDINGS, 2006, : 269 - +
  • [27] Implementing Object-Z with Perfect Developer
    Stevens, Brian
    JOURNAL OF OBJECT TECHNOLOGY, 2006, 5 (02): : 189 - 202
  • [28] Polymorphic extensions to Object-Z specifications
    Waheed, Tabinda
    Khan, Muhammad Uzair
    Nadeem, Aamer
    TENCON 2006 - 2006 IEEE REGION 10 CONFERENCE, VOLS 1-4, 2006, : 1971 - 1974
  • [29] Mutation operators for Object-Z specification
    Liu, L
    Miao, HK
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 498 - 506
  • [30] Slicing Object-Z specifications for verification
    Brückner, I
    Wehrheim, H
    ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 414 - 433