connectors as designs: the time dimension

ISCAS OpenIR

	connectors as designs: the time dimension
	Meng Sun
	2012
会议名称	IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
会议录名称	Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
页码	201-208
会议日期	July 4, 2012 - July 6, 2012
会议地点	Beijing, China
收录类别	EI
ISBN	9780769547510
部门归属	(1) Department of Informatics School of Mathematical Science Peking University Beijing China; (2) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China
摘要	Compositional coordination models and languages serve as a means to formally specify and implement component and service connectors. They support large-scale distributed applications by allowing construction of complex component connectors out of simpler ones. In this paper, we extend the design model for the channel-based coordination language Reo by introducing designs for timed connectors. Design is a key concept in Unifying Theories of Programming (UTP), which is used to describe the contract between programmer and client. The model developed in this paper specifies properties of timed channels and timed component connectors properly. Implementation of the design model developed in JTom is provided. © 2012 IEEE.; Compositional coordination models and languages serve as a means to formally specify and implement component and service connectors. They support large-scale distributed applications by allowing construction of complex component connectors out of simpler ones. In this paper, we extend the design model for the channel-based coordination language Reo by introducing designs for timed connectors. Design is a key concept in Unifying Theories of Programming (UTP), which is used to describe the contract between programmer and client. The model developed in this paper specifies properties of timed channels and timed component connectors properly. Implementation of the design model developed in JTom is provided. © 2012 IEEE.
关键词	Software Engineering
主办者	IFIP; Beijing University of Technology
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/15795
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Meng Sun. connectors as designs: the time dimension[C],2012:201-208.