Static Class Elements for Object-Z

被引：1
|
作者：
Ruhroth, Thomas [1 ]
Wehrheim, Heike [1 ]
机构：
[1] Univ Paderborn, Inst Informat, D-33098 Paderborn, Germany
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2009年 / 259卷 / 0C期
关键词：
Object-Z; Class; Static Variables;
D O I：
10.1016/j.entcs.2009.12.025
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Static variables and methods are part of almost every modern object-oriented programming language. Static elements are for instance indispensable for certain kinds of design patterns applied during programming. Object-oriented specification formalisms on the other hand lack such concepts. This can prevent writing formal specifications close to the actual implementation, and can thus hamper a refinement-based stepwise development. In this paper, we extend the state-based object-oriented specification language Object-Z with a concept for static class elements. We furthermore show how refinement can introduce static elements into a specification.
引用
收藏
页码：193 / 205
页数：13
相关论文
共 50 条
  • [1] Compositional class refinement in Object-Z
    McComb, Tim
    Smith, Graeme
    [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 205 - 220
  • [2] Formalizing the UML class diagram using Object-Z
    Kim, SK
    Carrington, D
    [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 83 - 98
  • [3] Comparison of formalisation approaches of UML class constructs in Z and Object-Z
    Amálio, N
    Polack, F
    [J]. ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 339 - 358
  • [4] Formal specification of OWL-S with Object-Z: the static aspect
    Wang, Hai H.
    Saleh, Ahmed
    Payne, Terry
    Gibbins, Nick
    [J]. PROCEEDINGS OF THE IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE: WI 2007, 2007, : 431 - 434
  • [5] UML/OCL or Object-Z?
    Bettaz, Mohamed
    Maouche, Mourad
    [J]. 2017 INTERNATIONAL CONFERENCE ON INFOCOM TECHNOLOGIES AND UNMANNED SYSTEMS (TRENDS AND FUTURE DIRECTIONS) (ICTUS), 2017, : 78 - 83
  • [6] Modular reasoning in Object-Z
    Griffiths, A
    [J]. ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 140 - 149
  • [7] Compositional verification for Object-Z
    Winter, K
    Smith, G
    [J]. ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 280 - 299
  • [8] Refactoring object-Z specifications
    McComb, T
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 69 - 83
  • [9] Timed CSP and Object-Z
    Derrick, J
    [J]. ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 300 - 318
  • [10] Architectural design in object-Z
    McComb, T
    Smith, G
    [J]. 2004 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 77 - 86
12345