Generalized interface automata with multicast synchronization

详细信息    查看全文

• 作者：Fei He (1) (2) (3)
  Xiaoyu Song (4)
  Ming Gu (1) (2) (3)
  Jiaguang Sun (1) (2) (3)
  
  1. Tsinghua National Laboratory for Information Science and Technology (TNList) ; Tsinghua University ; Beijing ; 100084 ; China
  2. Key Laboratory for Information System Security ; Ministry of Education ; Beijing ; 100084 ; China
  3. School of Software ; Tsinghua University ; Beijing ; 100084 ; China
  4. Department of Electrical & Computer Engineering ; Portland State University ; Oregon ; 97207 ; USA
  
• 关键词：interface automata ; multicast communication ; component interaction ; verification
• 刊名：Frontiers of Computer Science in China
• 出版年：2015
• 出版时间：February 2015
• 年：2015
• 卷：9
• 期：1
• 页码：1-14
• 全文大小：622 KB
• 参考文献：1. Alfaro L D, Henzinger T A. Interface automata. In: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering. 2001, 109鈥?20
  2. Alfaro L D, Henzinger T A. Interface-based design. Engineering Theories of Software-intensive Systems, 2005, 195: 83鈥?04 20-3532-2_3" target="_blank" title="It opens in new window">CrossRef
  3. Lynch N A, Tuttle M R. Hierarchical correctness proofs for distributed algorithms. In: Proceedings of the 6th Annual ACM Symposium on Principles of Distributed Computing. 1987, 137鈥?51
  4. Lynch N A, Tuttle M R. An introduction to input/output automata. CWI-Quarterly, 1989, 2(3): 219鈥?46
  5. Lynch N A. Distributed Algorithms. Morgan Kaufmann Publishers, San Mateo, CA, 1996.
  6. Kaynar D K, Lynch N A, Segala R, Vaandrager F. Timed I/O automata: a mathematical framework for modeling and analyzing realtime systems. In: Proceedings of the 24th IEEE Real-Time Systems Symposium. 2003, 166鈥?77
  7. Kaynar D K, Lynch N A, Segala R, Vaandrager F. The theory of timed I/O automata. Synthesis Lectures on Computer Science, 2006, 1(1): 1鈥?14 2200/S00006ED1V01Y200508CSL001" target="_blank" title="It opens in new window">CrossRef
  8. Wu S H, Smolka S A, Stark E W. Composition and behaviors of probabilistic I/O automata. Theoretical Computer Science, 1997, 176(1鈥?): 1鈥?8 CrossRef
  9. Stark E W, Smolka S A. Compositional analysis of expected delays in networks of probabilistic I/O automata. In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science. 1998, 466鈥?77
  10. Stark E W, Cleaveland R, Smolka S A. A process-algebraic language for probabilistic I/O automata. Lecture Notes in Computer Science, 2003, 2761: 193鈥?07 CrossRef
  11. Lynch N A, Segala R, Vaandrager FW. Hybrid I/O automata. Information and Computation, 2003, 185(1): 105鈥?57 CrossRef
  12. Alfaro L D, Henzinger T A. Interface theories for component based design. Lecture Notes in Computer Science, 2001, 2211: 148鈥?65 CrossRef
  13. Wen Y J, Wang J, Qi Z C. Bridging refinement of interface automata to forward simulation of I/O automata. In: Proceedings of the 6th International Conference on Formal Engineering Methods. 2004, 259鈥?73
  14. Wen Y J, Wang J, Qi Z C. 2/3 alternating simulation between interface automata. In: Proceedings of 7th International Conference on Formal Engineering Methods. 2005, 173鈥?87.
  15. Chakrabarti A, Alfaro L D, Henzinger T A, Jurdzinski M, Mang F Y C. Interface compatibility checking for software modules. Lecture Notes in Computer Science, 2002, 2404: 428鈥?41 CrossRef
  16. Chakrabarti A, Alfaro L D, Henzinger T A, Mang F Y C. Synchronous and bidirectional component interfaces. Lecture Notes in Computer Science, 2002, 2404: 414鈥?27 CrossRef
  17. Alfaro L D, Henzinger T A, Stoelinga M. Timed interfaces. Lecture Notes in Computer Science, 2002, 2491: 108鈥?22 28-X_9" target="_blank" title="It opens in new window">CrossRef
  18. Chakrabarti A, Alfaro L D, Henzinger T A, Stoelinga M. Resource interfaces. Lecture Notes in Computer Science, 2003, 2855: 117鈥?33 212-6_9" target="_blank" title="It opens in new window">CrossRef
  19. Alfaro L D, Silva L D D, Faella M, Legay A, Roy P, Sorea M. Sociable interfaces. Lecture Notes in Computer Science, 2005, 3717: 81鈥?05 CrossRef
  20. Alur R, Henzinger T A, Kupferman O, Vardi M. Alternating refinement relations. Lecture Notes in Computer Science, 1998, 1466: 163鈥?78 22" target="_blank" title="It opens in new window">CrossRef
  
• 刊物类别：Computer Science
• 刊物主题：Computer Science, general
  Chinese Library of Science
  
• 出版者：Higher Education Press, co-published with Springer-Verlag GmbH
• ISSN：1673-7466

文摘

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.