UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Model checking distributed objects

Emmerich, W; Kaveh, N; (2000) Model checking distributed objects. In: (Proceedings) 4th International Software Architecture Workshop. : Limerick, Ireland.

Full text not available from this repository.


We demonstrate how the use of synchronization primitives and threading policies in object middleware can lead to deadlocks. We identify that object middleware only has a few built-in synchronization and threading primitives and suggest to express them as stereotypes in UML models. We define the semantics of these stereotypes by a mapping to a process algebra. Finally, we apply model checkers to this process algebra notation and show that we are able to detect the possibility of deadlocks that can then be related back to the UML models.

Type: Proceedings paper
Title: Model checking distributed objects
Event: 4th International Software Architecture Workshop
Additional information: Imported via OAI, 7:29:01 3rd Aug 2005
UCL classification: UCL > School of BEAMS
UCL > School of BEAMS > Faculty of Engineering Science
URI: http://discovery.ucl.ac.uk/id/eprint/37175
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item