Title :
Probabilistic Coordination Language for Component Dynamic Composition
Author :
Du, Dehui ; Yin, Ling
Author_Institution :
Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China
Abstract :
Coordination model facilitates the composition of components by separating the coordination aspects of an application from its computation aspects. In this paper we present a probabilistic coordination language based on the Linda model to describe the dynamic composition of components. In the language, sequence composition, parallel composition, conditional choice and probabilistic choice are defined. Operational semantics of the language is given. Finally, we demonstrate the language with an example.
Keywords :
high level languages; object-oriented programming; parallel programming; probability; sequences; Linda model; component dynamic composition; conditional choice; coordination model; parallel composition; probabilistic choice; probabilistic coordination language; sequence composition; Application software; Availability; Calculus; Computer applications; Concurrent computing; Distribution functions; Helium; Power system modeling; Software engineering; Testing; component; coordination; dynamic composition; probability model;
Conference_Titel :
Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on
Conference_Location :
Tianjin
Print_ISBN :
978-0-7695-3757-3
DOI :
10.1109/TASE.2009.37
