Steps Towards a Method for the Formal Modeling of Dynamic Objects

Roelf J. Wieringa

doi:10.1016/0169-023X(91)90026-T

Steps Towards a Method for the Formal Modeling of Dynamic Objects

Roelf J. Wieringa

Research output: Contribution to journal › Article › Academic › peer-review

11 Citations (Scopus)

189 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 language	Undefined
Article number	10.1016/0169-023X(91)90026-T
Pages (from-to)	509-540
Number of pages	32
Journal	Data & knowledge engineering
Volume	6
Issue number	6
DOIs	https://doi.org/10.1016/0169-023X(91)90026-T
Publication status	Published - Oct 1991

Keywords

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

Access to Document

10.1016/0169-023X(91)90026-T

Cite this

@article{27607c51b6e1466db2bda6f154b5fcaf,

title = "Steps Towards a Method for the Formal Modeling of Dynamic Objects",

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.",

keywords = "SCS-Services, IR-67618, EWI-10675, object-oriented modeling methods, Formal Specification",

author = "Wieringa, {Roelf J.}",

note = "Internal report version.",

year = "1991",

month = oct,

doi = "10.1016/0169-023X(91)90026-T",

language = "Undefined",

volume = "6",

pages = "509--540",

journal = "Data & knowledge engineering",

issn = "0169-023X",

publisher = "Elsevier",

number = "6",

}

TY - JOUR

T1 - Steps Towards a Method for the Formal Modeling of Dynamic Objects

AU - Wieringa, Roelf J.

N1 - Internal report version.

PY - 1991/10

Y1 - 1991/10

N2 - 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.

AB - 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.

KW - SCS-Services

KW - IR-67618

KW - EWI-10675

KW - object-oriented modeling methods

KW - Formal Specification

U2 - 10.1016/0169-023X(91)90026-T

DO - 10.1016/0169-023X(91)90026-T

M3 - Article

SN - 0169-023X

VL - 6

SP - 509

EP - 540

JO - Data & knowledge engineering

JF - Data & knowledge engineering

IS - 6

M1 - 10.1016/0169-023X(91)90026-T

ER -