Steps Towards a Method for the Formal Modeling of Dynamic Objects

Roelf J. Wieringa

    Research output: Contribution to journalArticleAcademicpeer-review

    11 Citations (Scopus)
    65 Downloads (Pure)

    Abstract

    Fragments of a method to formally specify object-oriented models of a universe of discourse are presented. The task of finding such models is divided into three subtasks, object classification, event specification, and the specification of the life cycle of an object. Each of these subtasks is further subdivided, and for each of the subtasks heuristics are given that can aid the analyst in deciding how to represent a particular aspect of the real world. The main sources of inspiration are Jackson System Development, algebraic specification of data- and object types, and algebraic specification of processes.
    Original languageUndefined
    Article number10.1016/0169-023X(91)90026-T
    Pages (from-to)509-540
    Number of pages32
    JournalData & knowledge engineering
    Volume6
    Issue number6
    DOIs
    Publication statusPublished - Oct 1991

    Keywords

    • SCS-Services
    • IR-67618
    • EWI-10675
    • object-oriented modeling methods
    • Formal Specification

    Cite this