Abstract
Surveying results from [5] and [6], we motivate and introduce the theory behind formalizing rich interfaces for software and hardware components. Rich interfaces specify the protocol aspects of component interaction. Their formalization, called interface automata, permits a compiler to check the compatibility of component interaction protocols. Interface automata support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can proceed for partial system descriptions, without knowing the interfaces of all components. Independent implementability means that compatible interfaces can be refined separately, while still maintaining compatibility.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
R. Alur, T.A. Henzinger, O. Kupferman, and M. Vardi. Alternating refinement relations. In Proc. Concurrency Theory, Lecture Notes in Computer Science 1466, pages 163–178. Springer-Verlag, 1998.
A. Chakrabarti, L. de Alfaro, T.A. Henzinger, M. Jurdzinski, and F.Y.C. Mang. Interface compatibility checking for software modules. In Proc. Computer-Aided Verification, Lecture Notes in Computer Science 2404, pages 428–441. Springer-Verlag, 2002.
A. Chakrabarti, L. de Alfaro, T.A. Henzinger, and F.Y.C. Mang. Synchronous and bidirectional component interfaces. In Proc. Computer-Aided Verification, Lecture Notes in Computer Science 2404, pages 414–427. Springer-Verlag, 2002.
A. Chakrabarti, L. de Alfaro, T.A. Henzinger, and M. Stoelinga. Resource interfaces. In Proc. Embedded Software, Lecture Notes in Computer Science 2855, pages 117–133. Springer-Verlag, 2003.
L. de Alfaro and T.A. Henzinger. Interface automata. In Proc. Foundations of Software Engineering, pages 109–120. ACM Press, 2001.
L. de Alfaro and T.A. Henzinger. Interface theories for component-based design. In Proc. Embedded Software, Lecture Notes in Computer Science 2211, pages 148–165. Springer-Verlag, 2001.
L. de Alfaro, T.A. Henzinger, and M. Stoelinga. Timed interfaces. In Proc. Embedded Software, Lecture Notes in Computer Science 2491, pages 108–122. Springer-Verlag, 2002.
N.A. Lynch. Distributed Algorithms. Morgan-Kaufmann, 1996.
J. Reif. The complexity of two-player games of incomplete information. J. Computer and System Sciences, 29:274–301, 1984.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer
About this paper
Cite this paper
de Alfaro, L., Henzinger, T.A. (2005). Interface-Based Design. In: Broy, M., Grünbauer, J., Harel, D., Hoare, T. (eds) Engineering Theories of Software Intensive Systems. NATO Science Series, vol 195. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3532-2_3
Download citation
DOI: https://doi.org/10.1007/1-4020-3532-2_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-3530-2
Online ISBN: 978-1-4020-3532-6
eBook Packages: Computer ScienceComputer Science (R0)