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 条
  • [31] The use of formal and informal models in object-oriented requirements engineering
    Dawson, L
    [J]. ENTERPRISE INFORMATION SYSTEMS III, 2002, : 223 - 230
  • [32] Engineering of IE systems: An object-oriented approach
    Basili, R
    Di Nanni, M
    Pazienza, MT
    [J]. INFORMATION EXTRACTION: TOWARDS SCALABLE, ADAPTABLE SYSTEMS, 1999, 1714 : 134 - 164
  • [33] Object-oriented formal specifications
    Periyasamy, K
    [J]. TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, : 428 - 441
  • [34] From object-oriented to agent-oriented software engineering methodologies
    Henderson-Sellers, B
    [J]. SOFTWARE ENGINEERING FOR MULTI-AGENT SYSTEMS III: RESEARCH ISSUES AND PRACTICAL APPLICATIONS, 2004, 3390 : 1 - 18
  • [35] An object-oriented approach to educational software in building physics
    Reichard, G
    [J]. PROCEEDINGS OF THE APL99 CONFERENCE - APL99: ON TRACK TO THE 21ST CENTURY, 1999, 29 (02): : 94 - 97
  • [36] An object-oriented design approach to switching software development
    Hong, J
    Mi, ZK
    Cheng, YR
    [J]. 1996 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOLUMES 1 AND 2 - PROCEEDINGS, 1996, : 977 - 980
  • [37] OBJECT-ORIENTED APPROACHES IN SOFTWARE ENGINEERING AND ARTIFICIAL-INTELLIGENCE
    KAINDL, H
    [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1994, 6 (08): : 38 - 45
  • [38] Object-oriented approach to bioinformatics software resources integration
    Miginsky, D. S.
    Sokolov, S. A.
    Labuzhsky, V. V.
    Nikitin, A. G.
    Tarancev, I. G.
    [J]. PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON BIOINFORMATICS OF GENOME REGULATION AND STRUCTURE, VOL 3, 2006, : 288 - +
  • [39] BATOOM: A practical approach to testing object-oriented software
    Deng, Y
    He, ZT
    [J]. TOOLS 27: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, : 328 - 337
  • [40] 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.
    [J]. MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2007, : 139 - +
12345