A METHODOLOGY FOR DERIVING AN OBJECT-ORIENTED DESIGN FROM FUNCTIONAL SPECIFICATIONS

被引：1
|
作者：
ALAGAR, VS
PERIYASAMY, K
机构：
[1] CONCORDIA UNIV,DEPT COMP SCI,MONTREAL H3G 1M8,QUEBEC,CANADA
[2] UNIV MANITOBA,DEPT COMP SCI,WINNIPEG R3T 2N2,MANITOBA,CANADA
来源：
SOFTWARE ENGINEERING JOURNAL | 1992年 / 7卷 / 04期
关键词：
D O I：
10.1049/sej.1992.0026
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A recent paradigm in software engineering is object-oriented software development. However, object-oriented methods still remain ad hoc, and the process of deriving an object-oriented design from the early analysis has not yet been formalised. In this paper, we advocate deriving a formal specification from informal requirements, conducting static analysis on the formal functional specifications to reason about the intended behaviour of the system, and then transforming the flat specification to an object-oriented design. The transformations discussed in this paper can be formalised and can be applied to any model-oriented specification to get a corresponding object-oriented design. The methodology is illustrated for a simple library management system using the model-oriented specification technique VDM.
引用
收藏
页码：247 / 263
页数：17
相关论文
共 50 条
  • [1] DESIGN METHODOLOGY FOR OBJECT-ORIENTED PROGRAMMING
    SOWIZRAL, HA
    SMITH, R
    CUNNINGHAM, W
    KERTH, N
    KICZALES, G
    MEYER, B
    MEYROWITZ, N
    [J]. SIGPLAN NOTICES, 1988, 23 (05): : 91 - 95
  • [2] Object-oriented formal specifications
    Periyasamy, K
    [J]. TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, : 428 - 441
  • [3] Towards a functional size measure for object-oriented systems from requirements specifications
    Condori-Fernández, N
    Abrahao, S
    Pastor, O
    [J]. QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 94 - 101
  • [4] Methodology for object-oriented design of information systems
    Anhaniani, K.
    Vijayalakshmi, M.
    [J]. Journal of the Institution of Engineers (India), Part CP: Computer Engineering Division, 1994, 75
  • [5] Research on object-oriented SOC design methodology
    Luo, Juan
    Cao, Yang
    [J]. High Technology Letters, 2005, 11 (03) : 235 - 239
  • [6] An object-oriented design methodology for distributed services
    Born, M
    Hoffmann, A
    [J]. TOOLS 28: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, 28 : 52 - 64
  • [7] METHODOLOGY AND TOOL FOR OBJECT-ORIENTED DATABASE DESIGN
    ROLLAND, C
    CAUVET, C
    PROIX, C
    [J]. PROCEEDINGS OF THE SEVENTH BRITISH NATIONAL CONFERENCE ON DATABASES ( BNCOD 7 ), 1989, : 209 - 240
  • [8] Object-oriented design methodology based on functional layers for distributed communications systems
    Nagayama, Y
    Nabeta, N
    Fujimoto, H
    Takeuchi, A
    [J]. ECBS '99, IEEE CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1999, : 210 - 216
  • [9] The metis design methodology - An object-oriented methodology for information systems
    Perez, CAG
    Boado, PC
    [J]. DR DOBBS JOURNAL, 2000, 25 (06): : 21 - +
  • [10] Object-oriented action semantics specifications
    Carvilhe, C
    Musicante, MA
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (08) : 910 - 934
12345