Typing the Behavior of Software Components using Session Types

• Autorzy: Vallecillo A. , Vasconcelos V.T. , Ravara A.
• Języki publikacji: EN

Abstrakty

EN

This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session types allow not only high level specifications of complex interactions, but also the definition of powerful interoperability tests at the protocol level, namely compatibility and substitutability of components. We present a decidable proof system to verify these notions, which makes our approach of a pragmatic nature.

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2006
• Tom: Vol. 73, nr 4
• Strony: 583--598
• Opis fizyczny: bibliogr. 23 poz.

Twórcy

autor

Vallecillo A.

autor

Vasconcelos V.T.

autor

Ravara A.

• University of Malaga, ETSI Informtica, Campus de Teatinos, 29071 Malaga, Spain,

Bibliografia

• [1] Allen, R., Garlan, D.: A Formal Basis for Architectural Connection, ACM Trans, on Software Engineering and Methodology, 6(3), July 1997, 213-249.
• [2] Bastide, R., Sy, O.: Towards Components thal Pług AND Play, Proc. of the ECOOP 2000 Workshop on Object Interoperability (WO1'00) (A. Yallecillo, J. Hernandez, J. M. Troya, Eds.), June 2000.
• [3] Bastide, R., Sy, O., Palanque, P.: Formal Specification and Prototypingof CORBA Systems, in: Proceedings ofECOOP'99, number 1628 in LNCS, Springer-Yerlag, 1999, 474-494.
• [4] Bracciali, A., B rogi, A., Turini, E: Coordinating Interaction Patterns, Proceedings ofSAC'0!, ACM Press. October2001.
• [5] Canal, C., Fuentes, L., Pimentel, E., Troya, J. M., Yallecillo, A.: Extending CORBA Interfaces with Proto-cols, The Computer Journal, 44(5), October 2001,448-462.
• [6] Canal, C., Fuentes, L., Pimentel, E., Troya, J. M., Yallecillo, A.: Adding Roles to CORBA Objects, IEEE Transactions on Software Engineering, 29(2), February 2003, 242-260.
• [7] Canal, C., Pimentel, E., Troya, J. M.: Compatibility and Inheritance in Software Architectures, Science of Computer Programming, 41, 2001, 105-138.
• [8] Compare, D., Inverardi, R, Wolf, A. L.: Uncovering architectural mismatch in component behavior, Science of Computer Programming, 33(2), February 1999, 101-131, ISSN 0167-6423.
• [9] Garlan, D., Allen, R., Ockerbloom, J.: Architectural Mismatch: Why Reuse is So Hard, IEEE Software, 12(6), November 1995, 17-26.
• [10] Gay, S., Hole, M.: Subtyping Session Types in the ir-calculus, To appear.
• [l 1] Gay, S., Hole, M.: Types and Subtypes for Correct Communications in Client-Server Systems, Technical report TR-2003-131, Department of Computing Science, University of Glasgow, 2003, Ań extended abstract appeared in Proceedings ofESOP'99, volume LNCS 1576, pages 74-90.
• [12] Honda, K.: Types for Dyadic Interaction, CONCUR'93, 715, Springer-Yerlag, 1993.
• [13] Honda, K., Yasconcelos, V. T., Kubo, M.: Language primitives and type disciplines for structured communication-based programming, ESOP'98, 1381, Springer-Yerlag, 1998.
• [14] Lea, D.: Interface-Based Protocol Specification of Open Systems usingPSL, in: Proc. of ECOOP'95, number 1241 in LNCS, Springer-Yerlag, 1995.
• [15] Leavens, G. T., Sitaraman, M., Eds.: Foundations of Component-Based Systems, Cambridge University Press, 2000.
• [16] Magee, J., Kramer, J., Giannakopoulou, D.: Behaviour Analysis of Software Architectures, in: Software Architecture, Kluwer Academic Publishers, 1999, 35-49.
• [17] Nierstrasz, O.: Regular Types for Active Objects, Object-Oriented Software Composition (O. Nierstrasz, D. Tsichritzis, Eds.), Prentice-Hall, 1995.
• [18] OMG: The Common Object Reqitest Broker: Architecture and Specification, Object Management Group, 2.4 edition, November 2000, łittp: //www.omg.org/tecłmology/documents/f ormal/corbaiiop.łitm.
• [19] Takeuchi, K., Honda, K., Kubo, M.: Ań Interaction-Based Language and its Typing System, PARLE '94 (C. Halatsis, D. G. Maritsas, G. Philokyprou, S. Theodoridis, Eds.), 817, Springer-Yerlag, 1994.
• [20] Yasconcelos, V. T., Ravara, A., Gay, S.: Session types for functional multithreading, CONCUR'04, 3170, Springer-Yerlag, 2004.
• [21 ] Wehrheim, H.: Behavioural Subtyping Relations for Active Objects, Formal Methods in System Design, 23, 2003,143-170.
• [22] Yellin, D. M., Strom, R. E.: Protocol Specifications and Components Adaptors, ACM Transacńons on Programming Languages and Systems, 19(2), March 1997, 292-333.
• [23] Zaremski, A. M., Wing, J. M.: Specification Matching of Software Components, ACM Trans, on Software Engineering and Methodology, 6(4), October 1997, 333-369.