A formal approach to object-oriented software engineering

被引：7
|
作者：
Wirsing, M [1 ]
Knapp, A [1 ]
机构：
[1] Univ Munich, Inst Informat, D-80538 Munich, Germany
来源：
THEORETICAL COMPUTER SCIENCE | 2002年 / 285卷 / 02期
关键词：
integrated formal software engineering; OOSE; rewriting logic; Maude; reflection; process algebra;
D O I：
10.1016/S0304-3975(01)00367-X
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "object-oriented software engineering" process is combined with object-oriented algebraic specifications by extending object and interaction diagrams with formal annotations. The specifications are based on Meseguer's rewriting logic and are written in a meta-level extension of the language Maude by process expressions. As a result any such diagram can be associated with a formal specification, proof obligations ensuring invariant properties can be automatically generated, and the refinement relations between documents at different abstraction levels can be formally stated and proved. (C) 2002 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：519 / 560
页数：42
相关论文
共 50 条
  • [1] SOFTWARE ENGINEERING - OBJECT-ORIENTED APPROACH
    PAPAZOGLOU, M
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 239 - 240
  • [2] Generation of object-oriented formal software specifications
    Hartrum, TC
    Karagias, T
    [J]. PROCEEDINGS OF THE IEEE 1997 AEROSPACE AND ELECTRONICS CONFERENCE - NAECON 1997, VOLS 1 AND 2, 1997, : 660 - 667
  • [3] A formal foundation for object-oriented software evolution
    Mens, T
    [J]. IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 549 - 552
  • [4] Agents in object-oriented software engineering
    Garcia, AF
    de Lucena, CJP
    Cowan, DD
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2004, 34 (05): : 489 - 521
  • [5] An object-oriented approach to language compositions for software language engineering
    Mernik, Marjan
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2013, 86 (09) : 2451 - 2464
  • [6] A reverse engineering approach for software testing of object-oriented programs
    Kung, D
    Hsia, P
    [J]. ASSET'99: 1999 IEEE SYMPOSIUM ON APPLICATION-SPECIFIC SYSTEMS AND SOFTWARE ENGINEERING & TECHNOLOGY - PROCEEDINGS, 1999, : 42 - 49
  • [7] Comparison between Traditional Approach and Object-Oriented Approach in Software Engineering Development
    Munassar, Nabil Mohammed Ali
    Govardhan, A.
    [J]. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2011, 2 (06) : 70 - 76
  • [8] OBJECT-ORIENTED APPROACH AND NETWORK SOFTWARE
    ILYUSHIN, AI
    DERYABIN, NB
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1990, 16 (06) : 263 - 268
  • [9] Quantitative Approaches in Object-Oriented Software Engineering
    Abreu, FBE
    Henderson-Sellers, B
    Piattini, M
    Poels, G
    Sahraoui, HA
    [J]. OBJECT-ORIENTED TECHNOLOGY, PROCEEDINGS, 2002, 2323 : 174 - 183
  • [10] EIFFEL - OBJECT-ORIENTED DESIGN FOR SOFTWARE ENGINEERING
    MEYER, B
    NERSON, JM
    MATSUO, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 221 - 229
12345