Title

Generalized Interface Automata with Multicast Synchronization

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.

Description

© Higher Education Press and Springer-Verlag Berlin Heidelberg

Locate the Document

PSU affiliates use Find in PSU library link at top.

Unaffiliated researchers can access the work here: http://dx.doi.org/10.1007/s11704-014-4016-7

Share

COinS