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

fYear

2009

fDate

29-31 July 2009

Firstpage

317

Lastpage

318

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/TASE.2009.37

Filename

5198529