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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1007/s11704-014-4016-7 | Frontiers of Computer Science |
Keywords | Field | DocType |
interface automata,multicast communication,component interaction,verification | Synchronization,Machine theory,Incremental design,Computer science,Automaton,Theoretical computer science,Multicast communication,Component-based software engineering,Multicast,Rotation formalisms in three dimensions,Distributed computing | Journal |
Volume | Issue | ISSN |
9 | 1 | 2095-2228 |
Citations | PageRank | References |
2 | 0.37 | 14 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fei He | 1 | 175 | 28.32 |
Xiaoyu Song | 2 | 318 | 46.99 |
Ming Gu | 3 | 7 | 1.31 |
Jia-guang Sun | 4 | 1807 | 134.30 |