Back to University of Twente portal
Steps Towards a Method for the Formal Modeling of Dynamic Objects
Wieringa, Roel (1991) Steps Towards a Method for the Formal Modeling of Dynamic Objects. Data & Knowledge Engineering, 6 (6). pp. 509-540. ISSN 0169-023X
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 133Kb |
| 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. |
| Item Type: | Article |
| Copyright: | © 1991 Elsevier |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/67618 |
| Official URL: | http://dx.doi.org/10.1016/0169-023X(91)90026-T |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page