A framework for object identification and refinement process in object-oriented analysis and design

被引：5
|
作者：
Wahono, RS [1 ]
Far, BH [1 ]
机构：
[1] Saitama Univ, Dept Informat & Comp Sci, Urawa, Saitama, Japan
来源：
FIRST IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS, PROCEEDINGS | 2002年
关键词：
requirements engineering; object identification; object refinement;
D O I：
10.1109/COGINF.2002.1039317
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain limitations to such solutions, such as, they are concentrated on object-oriented notation and forward/reverse engineering, and the methodology for object identification and refinement are not implemented well. This paper presents a methodology for object identification and refinement from the software requirements, which is based on object-based formal specification (OBFS). This methodology provides the mean of understanding the object-oriented paradigm easily, and supports us with identifying and refining the objects. As a case study for a comprehensive explanation about how to use this methodology, an example of software project for an air traffic control system is given.
引用
收藏
页码：351 / 360
页数：10
相关论文
共 50 条
  • [21] RESEARCH IN OBJECT-ORIENTED ANALYSIS AND DESIGN
    SHLAER, S
    MELLOR, SJ
    [J]. COMMUNICATIONS OF THE ACM, 1994, 37 (01) : 109 - 111
  • [22] Object-oriented design
    Holland, IM
    Lieberherr, KJ
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (01) : 273 - 275
  • [23] OBJECT-ORIENTED DESIGN
    CUSACK, EL
    CLOUGH, C
    RICHARDS, K
    [J]. BRITISH TELECOMMUNICATIONS ENGINEERING, 1990, 9 : 71 - 77
  • [24] Entities in the object-oriented design process model
    Pavkovic, N
    Marjanovic, D
    [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL DESIGN CONFERENCE: DESIGN 2000, 2000, : 29 - 34
  • [25] A refinement algebra for object-oriented programming
    Borba, P
    Sampaio, A
    Cornélio, M
    [J]. ECOOP 2003 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2003, 2743 : 457 - 482
  • [26] A Refinement Methodology for Object-Oriented Programs
    Tafat, Asma
    Boulme, Sylvain
    Marche, Claude
    [J]. FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE, 2011, 6528 : 153 - +
  • [27] OBJECT-ORIENTED SPECIFICATION AND STEPWISE REFINEMENT
    SAAKE, G
    JUNGCLAUS, R
    EHRICH, HD
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 1 : 99 - 121
  • [28] Graph transformations for object-oriented refinement
    Zhao, Liang
    Liu, Xiaojian
    Liu, Zhiming
    Qiu, Zongyan
    [J]. FORMAL ASPECTS OF COMPUTING, 2009, 21 (1-2) : 103 - 131
  • [29] An object-oriented analysis and design approach for safe object sharing
    Izuru, K
    [J]. SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2001, : 122 - 132
  • [30] An object-oriented framework for evolutionary pangenome analysis
    Ferres, Ignacio
    Iraola, Gregorio
    [J]. CELL REPORTS METHODS, 2021, 1 (05):
12345