FORMAL DEADLOCK ELIMINATION IN AN OBJECT-ORIENTED CONCEPTUAL SCHEMA

Authors
DEDENE G SNOECK M
Citation
G. Dedene et M. Snoeck, FORMAL DEADLOCK ELIMINATION IN AN OBJECT-ORIENTED CONCEPTUAL SCHEMA, Data & knowledge engineering, 15(1), 1995, pp. 1-30
Citations number
35
Categorie Soggetti
Computer Science Artificial Intelligence","Computer Science Information Systems
Journal title
Data & knowledge engineering → ACNP
ISSN journal
0169023X
Volume
15
Issue
1
Year of publication
1995
Pages
1 - 30
Database
ISI
SICI code
0169-023X(1995)15:1<1:FDEIAO>2.0.ZU;2-F
Abstract
Object oriented models model structural and behavioural aspects of obj ects in the Universe of Discourse. As the dynamic aspects of objects i nclude parallelism and synchronisation of object life cycles, conceptu al schemes must be verified for problematic behaviour like deadlock. I n this paper we will present fragments of a method for object oriented analysis and the process algebra that allows to formally verify a con ceptual schema build according to this method for deadlock behaviour.