|
|||||
|
|
Generalized interface automata with multicast synchronization |
|
| Authors: | Fei He Xiaoyu Song Ming Gu Jiaguang Sun |
| Affiliation: | 1. Tsinghua National Laboratory for Information Science and Technology (TNList), Tsinghua University, Beijing 100084, China2. Key Laboratory for Information System Security, Ministry of Education, Beijing 100084, China3. School of Software, Tsinghua University, Beijing 100084, China4. Department of Electrical & Computer Engineering, Portland State University, Oregon 97207, USA |
| Abstract: | Interface automata are one of the prominent formalisms for specifying interface behaviors of componentbased systems. However, only one-to-one communication is allowed in the composition of interface automata. This paper presents multicast interface automata which generalize the classic interface automata and accommodate multicast communication mechanism. The multicast interface automata endorse both bottom-up and top-down design methodologies. Theoretical results on compatibility and refinement are established for incremental design and independent implementability. |
| Keywords: | interface automata multicast communication component interaction verification |
| 本文献已被 SpringerLink 等数据库收录！ | |
| 点击此处可从《Frontiers of Computer Science》浏览原始摘要信息 | |
| 点击此处可从《Frontiers of Computer Science》下载全文 | |