Institutional Repository
| connectors as designs: the time dimension | |
| Meng Sun | |
| 2012 | |
| Conference Name | IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 |
| Source | Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 |
| Pages | 201-208 |
| Conference Date | July 4, 2012 - July 6, 2012 |
| Conference Place | Beijing, China |
| Indexed Type | EI |
| ISBN | 9780769547510 |
| Department | (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 |
| English Abstract | 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. |
| Keyword | Software Engineering |
| Sponsorship | IFIP; Beijing University of Technology |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15795 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Meng Sun. connectors as designs: the time dimension[C],2012:201-208. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment