Skip to main content
SpringerLink
Log in

Generalized interface automata with multicast synchronization

  • Research Article
  • Published:
Frontiers of Computer Science Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  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–120

    Google Scholar 

  2. Alfaro L D, Henzinger T A. Interface-based design. Engineering Theories of Software-intensive Systems, 2005, 195: 83–104

    Article  Google Scholar 

  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–151

    Google Scholar 

  4. Lynch N A, Tuttle M R. An introduction to input/output automata. CWI-Quarterly, 1989, 2(3): 219–246

    MATH  MathSciNet  Google Scholar 

  5. Lynch N A. Distributed Algorithms. Morgan Kaufmann Publishers, San Mateo, CA, 1996.

    MATH  Google Scholar 

  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–177

    Google Scholar 

  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–114

    Article  Google Scholar 

  8. Wu S H, Smolka S A, Stark E W. Composition and behaviors of probabilistic I/O automata. Theoretical Computer Science, 1997, 176(1–2): 1–38

    Article  MATH  MathSciNet  Google Scholar 

  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–477

    Google Scholar 

  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–207

    Article  MathSciNet  Google Scholar 

  11. Lynch N A, Segala R, Vaandrager FW. Hybrid I/O automata. Information and Computation, 2003, 185(1): 105–157

    Article  MATH  MathSciNet  Google Scholar 

  12. Alfaro L D, Henzinger T A. Interface theories for component based design. Lecture Notes in Computer Science, 2001, 2211: 148–165

    Article  Google Scholar 

  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–273

    Google Scholar 

  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–187.

    Google Scholar 

  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–441

    Article  Google Scholar 

  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–427

    Article  Google Scholar 

  17. Alfaro L D, Henzinger T A, Stoelinga M. Timed interfaces. Lecture Notes in Computer Science, 2002, 2491: 108–122

    Article  Google Scholar 

  18. Chakrabarti A, Alfaro L D, Henzinger T A, Stoelinga M. Resource interfaces. Lecture Notes in Computer Science, 2003, 2855: 117–133

    Article  Google Scholar 

  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–105

    Article  Google Scholar 

  20. Alur R, Henzinger T A, Kupferman O, Vardi M. Alternating refinement relations. Lecture Notes in Computer Science, 1998, 1466: 163–178

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Tsinghua National Laboratory for Information Science and Technology (TNList), Tsinghua University, Beijing, 100084, China

    Fei He, Ming Gu & Jiaguang Sun

  2. Key Laboratory for Information System Security, Ministry of Education, Beijing, 100084, China

    Fei He, Ming Gu & Jiaguang Sun

  3. School of Software, Tsinghua University, Beijing, 100084, China

    Fei He, Ming Gu & Jiaguang Sun

  4. Department of Electrical & Computer Engineering, Portland State University, Oregon, 97207, USA

    Xiaoyu Song

Authors
  1. Fei He
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xiaoyu Song
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ming Gu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jiaguang Sun
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Fei He.

Additional information

Fei He received the BS degree from National University of Defense Technology in 2002, and the PhD degree from Tsinghua University in 2008. He is currently an associate professor in the School of Software at Tsinghua University, Beijing, China. His research interests include satisfiability, model checking, compositional reasoning, and their applications to embedded systems.

Xiaoyu Song received the PhD degree from the University of Pisa, Italy in 1991. From 1992 to 1999, he was on the faculty at the University of Montreal, Canada. In 1998, he worked as a senior technical staff in Cadence, San Jose. In 1999, he joined the faculty at Portland State University. He is currently a professor in the Department of Electrical & Computer Engineering at Portland State University, Portland. His current research interests include formal methods, design automation, embedded system design, and emerging technologies. He has been awarded as the Intel Faculty Fellow during 2000–2005. He served as an associate editor of IEEE Transactions on Circuits and Systems and IEEE Transactions on VLSI Systems.

Ming Gu received the BS degree in computer science from National University of Defence Technology, Changsha, China in 1984, and the MS degree in computer science from the Chinese Academy of Science at Shengyang in 1986. Since 1993, she has been working as a lectuer/associate professor/researcher in Tsinghua University. Her research interests include formal methods, middleware technology, and distributed applications.

Jiaguang Sun received the BS degree in automation science from Tsinghua University in 1970. He is currently a professor in Tsinghua University. He is an expert in computer graphics, computer-aided design, formal verification of software, software engineering, and system architecture. He was elected to the Chinese Academy of Engineering in 1999. He is currently serving as the dean of the School of Information Science & Technology in Tsinghua University, and the director of the National Laboratory for Information Science & Technology.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

He, F., Song, X., Gu, M. et al. Generalized interface automata with multicast synchronization. Front. Comput. Sci. 9, 1–14 (2015). https://doi.org/10.1007/s11704-014-4016-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11704-014-4016-7

Keywords

Search

Navigation