Kaveh, N.;
(2001)
Using model checking to detect deadlocks in
distributed object systems.
In: Emmerich, W. and Tai, S., (eds.)
Proceedings of the 2nd International Workshop on Distributed Objects, Davis, California, USA, November 2000.
(pp. pp. 116-128).
Springer Verlag
![[thumbnail of 3.8_modelchecking.pdf]](https://discovery-pp.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
3.8_modelchecking.pdf Download (109kB) |
Abstract
We demonstrate how the use of synchronization primitives and threading policies in distributed object middleware can lead to deadlocks. We identify that object middleware only has a few built-in synchronization and threading primitives. We suggest to express them as stereotypes in UML models to allow designers to model synchronization and threading of distributed object systems at appropriate levels of ion. We define the semantics of these stereotypes by a mapping to a process algebra. This allows us to use model checking techniques that are available for process algebras to detect the presence or absence of deadlocks. We also discuss how the results of these model checks can be related back to the UML diagrams.
| Type: | Proceedings paper |
|---|---|
| Title: | Using model checking to detect deadlocks in distributed object systems |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | http://www.springerlink.com/openurl.asp?genre=arti... |
| Language: | English |
| Additional information: | The original publication is available at: http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=1999&spage=116 |
| Keywords: | software architecture, object middleware, model checking |
| URI: | https://discovery-pp.ucl.ac.uk/id/eprint/873 |
Archive Staff Only
 |
View Item |
