Probabilistic coordination language for component dynamic composition

  • Du Dehui*
  • , Yin Ling
  • *Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

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.

Original languageEnglish
Title of host publicationProceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
Pages317-318
Number of pages2
DOIs
StatePublished - 2009
Event2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 - Tianjin, China
Duration: 29 Jul 200931 Jul 2009

Publication series

NameProceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

Conference

Conference2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
Country/TerritoryChina
CityTianjin
Period29/07/0931/07/09

Keywords

  • Component
  • Coordination
  • Dynamic composition
  • Probability model

Fingerprint

Dive into the research topics of 'Probabilistic coordination language for component dynamic composition'. Together they form a unique fingerprint.

Cite this