Abstract
Interface automata is a light-weight formalism to be used for describing the temporal interface behaviors of software components. This paper investigates the refinement of interface automatons and shows its application to serve as a semantic foundation for software architectural description languages. Firstly, inspired by 2/3 simulation, the 2/3alternating simulation between interface automaton is presented, and the corresponding refinement relation is also derived between interface automaton. The distinguished feature is that it can preserve deadlock-freedom. Then, a concise formal semantics is provided for the architectural description language Wright, based on interface automaton, where the checking of compatibility and deadlock-freedom becomes simpler.
Supported by National Natural Science Foundation of China under the grants 60233020 and 60303013, National Hi-Tech Programme (863) of China under the grant 2005AA113130, and Program for New Century Excellent Talents in University.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
de Alfaro, L., Henzinger, T.A.: Interface automata. In: 9th Symposium on Foundations of Software Engineering. ACM Press, New York (2001)
Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Jurdzinski, M., Mang, F.Y.C.: Interface compatibility checking for software modules. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, p. 428. Springer, Heidelberg (2002)
de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148–165. Springer, Heidelberg (2001)
Jin, Y., Esser, R., Lakos, C., Janneck, J.W.: Modular analysis of dataflow process networks. In: Pezzé, M. (ed.) FASE 2003. LNCS, vol. 2621, pp. 184–199. Springer, Heidelberg (2003)
Lee, E.A., Xiong, Y.: Behavioral types for component-based design. In: Memorandum UCB/ERL M02/29. University of California, Berkeley, CA 94720, USA (2002)
Jifeng, H., Hoare, T.: Equating bisimulation with refinement. Technical Report 282, UNU-IIST, P.O. Box 3058, Macau (2003)
Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput. 94, 1–28 (1991)
Milner, R.: Communication and Concurrency. Prentice-Hall, Inc., Englewood Cliffs (1989)
Allen, R., Garlan, D.: Formalizing architectural connection. In: Proceedings of the Sixteenth International Conference on Software Engineering, Sorrento, Italy, pp. 71–80 (1994)
Allen, R., Garlan, D.: The Wright architectural specification language. Technical report, Draft Report CMU-CS-96-TBD, Carnegie Melon University, School of Computer Science, Pittsburgh PA (1996)
Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 6, 213–249 (1997)
Clarke, L.A.: Improving architectural description languages to support analysis better. In: Proceedings of the International Workshop on the Role of Software Architecture in Testing and Analysis (ROSATEA 1998), Marsala, Sicily, Italy, pp. 78–80 (1998)
Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the ACM (JACM) 31, 560–599 (1984)
de Alfaro, L., Henzinger, T.: Interface-based design. In: Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer Schoo. Kluwer, Dordrecht (2004)
Lynch, N., Tuttle, M.: An introduction to input/output automata. CWI Quarterly 2, 219–246 (1989)
Wen, Y., Wang, J., Qi, Z.C.: Bridging refinement of interface automata to forward simulation of I/O automata. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 259–273. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wen, Y., Wang, J., Qi, Z. (2005). 2/3 Alternating Simulation Between Interface Automata. In: Lau, KK., Banach, R. (eds) Formal Methods and Software Engineering. ICFEM 2005. Lecture Notes in Computer Science, vol 3785. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11576280_13
Download citation
DOI: https://doi.org/10.1007/11576280_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29797-0
Online ISBN: 978-3-540-32250-4
eBook Packages: Computer ScienceComputer Science (R0)