Title :
Modelling multi-threading in Java
Author :
Wabenhorst, Axel ; Potter, John
Author_Institution :
Sch. of Inf. Technol., Queensland Univ., Brisbane, Qld., Australia
Abstract :
We show how formal methods can be used to model multithreading in Java and provide useful insights into developing programs using multithreaded objects. In particular, we give an example of how deadlock can be avoided. The formalism used is that of action systems
Keywords :
concurrency control; formal specification; object-oriented languages; parallel programming; system recovery; Java; action systems; deadlock; formal methods; multi-threading modelling; multithreaded objects; multithreading; Algebra; Australia; Concurrent computing; Information technology; Java; Object oriented modeling; Programming profession; System recovery; Testing; Yarn;
Conference_Titel :
Technology of Object-Oriented Languages and Systems, 1997. TOOLS 25, Proceedings
Conference_Location :
Melbourne, Vic.
Print_ISBN :
0-8186-8485-2
DOI :
10.1109/TOOLS.1997.681868
