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 条
  • [41] An object-oriented approach to educational software in building physics
    Reichard, G
    PROCEEDINGS OF THE APL99 CONFERENCE - APL99: ON TRACK TO THE 21ST CENTURY, 1999, 29 (02): : 94 - 97
  • [42] BATOOM: A practical approach to testing object-oriented software
    Deng, Y
    He, ZT
    TOOLS 27: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, : 328 - 337
  • [43] Object-oriented approach to bioinformatics software resources integration
    Miginsky, D. S.
    Sokolov, S. A.
    Labuzhsky, V. V.
    Nikitin, A. G.
    Tarancev, I. G.
    PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON BIOINFORMATICS OF GENOME REGULATION AND STRUCTURE, VOL 3, 2006, : 288 - +
  • [44] Object-oriented modeling approach of universal education software
    Petkovic, Dalibor
    Jovic, Srdjan
    Golubovic, Zoran
    COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, 2018, 26 (03) : 543 - 558
  • [45] An object-oriented approach to the design of fluid mechanics software
    Calvin, C
    Cueto, O
    Emonot, P
    ESAIM-MATHEMATICAL MODELLING AND NUMERICAL ANALYSIS-MODELISATION MATHEMATIQUE ET ANALYSE NUMERIQUE, 2002, 36 (05): : 907 - 921
  • [46] OBJECT-ORIENTED APPROACHES IN SOFTWARE ENGINEERING AND ARTIFICIAL-INTELLIGENCE
    KAINDL, H
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1994, 6 (08): : 38 - 45
  • [47] A software complexity measurement technique for object-oriented reverse engineering
    Kim, J
    Hwang, CS
    Choi, JH
    SERP '05: Proceedings of the 2005 International Conference on Software Engineering Research and Practice, Vols 1 and 2, 2005, : 663 - 669
  • [48] Software/Hardware Engineering with the Parallel Object-Oriented Specification Language
    Theelen, B. D.
    Florescu, O.
    Geilen, M. C. W.
    Huang, J.
    van der Putten, P. H. A.
    Voeten, J. P. M.
    MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2007, : 139 - +
  • [49] ENHANCING SOFTWARE ENGINEERING CAPABILITIES OF PROLOG BY OBJECT-ORIENTED CONCEPTS
    MULLER, B
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 604 : 127 - 138
  • [50] IMPACTS OF OBJECT-ORIENTED TECHNOLOGIES - 7 YEARS OF SOFTWARE ENGINEERING
    STARK, M
    JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 23 (02) : 163 - 169
12345