Title: Formal deadlock elimination in an object-oriented conceptual schema
Authors: Dedene, Guido ×
Snoeck, Monique #
Issue Date: Mar-1995
Publisher: Elsevier science bv
Series Title: Data & knowledge engineering vol:15 issue:1 pages:1-30
Abstract: Object oriented models model structural and behavioural aspects of objects in the Universe of Discourse. As the dynamic aspects of objects include parallelism and synchronisation of object life cycles, conceptual schemes must be verified for problematic behaviour like deadlock. In this paper we will present fragments of a method for object oriented analysis and the process algebra that allows to formally verify a conceptual schema build according to this method for deadlock behaviour.
ISSN: 0169-023X
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Research Center for Management Informatics (LIRIS), Leuven
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science