Generalized Interface Automata with Multicast Synchronization
Sponsor
This work was supported by the Chinese National 973 Plan (2010CB328003), the National Natural Science Foundation of China (Grant Nos. 61272001, 60903030, 91218302), the Chinese National Key Technology R&D Program (SQ2012BAJY4052), the Importation and Development of High-Caliber Talents Project of Beijing Municipal Institutions (YETP0167), and the Tsinghua University Initiative Scientific Research Program.
Published In
Frontiers of Computer Science
Document Type
Citation
Publication Date
2-2015
Subjects
Machine theory, Multicasting (Computer networks), Component software, Computer systems -- Verification
Abstract
Interface automata are one of the prominent formalisms for specifying interface behaviors of component-based 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.
Rights
© Higher Education Press and Springer-Verlag Berlin Heidelberg
Locate the Document
Persistent Identifier
http://archives.pdx.edu/ds/psu/20913
Citation Details
He, Fei, Xiaoyu Song, Ming Gu, and Jiaguang Sun. Generalized interface automata with multicast synchronization." Frontiers of Computer Science 9, no. 1 (2015): 1-14.