跳到主要导航 跳到搜索 跳到主要内容

Probabilistic coordination language for component dynamic composition

  • Du Dehui*
  • , Yin Ling
  • *此作品的通讯作者
  • East China Normal University

科研成果: 书/报告/会议事项章节会议稿件同行评审

摘要

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.

源语言英语
主期刊名Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
317-318
页数2
DOI
出版状态已出版 - 2009
活动2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 - Tianjin, 中国
期限: 29 7月 200931 7月 2009

出版系列

姓名Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

会议

会议2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
国家/地区中国
Tianjin
时期29/07/0931/07/09

指纹

探究 'Probabilistic coordination language for component dynamic composition' 的科研主题。它们共同构成独一无二的指纹。

引用此