loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Technology of Object-Oriented Languages and Systems
A Compositional Approach to Concurrent Objects
Beijing, China
September 22-September 25
ISBN: 0-8186-9096-8
Xiaogang Zhang, Macquarie University
John Potter, Macquarie University
This paper presents an approach to modelling concurrent objects in the pi-calculus, in which the behaviour of a concurrent object is described by the composition of a process representing its functionality that allows maximum concurrency amongst method invocations, and a controller process constraining the permissible concurrency for the object. The ability to separately specify concurrent and functional behaviours will enable us to isolate and solve problems and difficulties involved with concurrency. The ?-calculus provides a reason foundation to analyse and identify the principle and properties of the separation and composition. For a particular form of controller, the normalised control process, the result of the composition is bisimilar to a process with the same pattern of control structure as the controller. Issues and examples for non- normalised control process are also discussed.Key-words: object models, p-calculus, concurrency constraints, concurrency controls, composition, synchronisation, concurrent objects, concurrency patterns
Citation:
Xiaogang Zhang, John Potter, "A Compositional Approach to Concurrent Objects," tools, pp.116, Technology of Object-Oriented Languages and Systems, 1998
Usage of this product signifies your acceptance of the Terms of Use.