Typing the behavior of software components using session types

Fundamenta Informaticae

Volumn 73, Issue 4, 2006, Pages 583-598

  Vallecillo, Antonio ^a   Vasconcelos, Vasco T ^b   Ravara, António ^c  

^a UNIVERSITY OF MÁLAGA   (Spain)

^b UNIVERSITY OF LISBON   (Portugal)

^c UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX INTERACTIONS; HIGH LEVEL SPECIFICATIONS; PRAGMATIC NATURE; SUBSTITUTABILITY;

INFORMATION THEORY; INTEROPERABILITY; NETWORK PROTOCOLS; USER INTERFACES;

COMPUTER SOFTWARE;

EID: 33751098013     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (24)

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 that Plug AND Play, Proc. of the ECOOP 2000 Workshop on Object Interoperability (WOI'00) (A. Vallecillo, J. Hernández, J. M. Troya, Eds.), June 2000.
3. Bastide, R., Sy, O., Palanque, P.: Formal Specification and Prototyping of CORBA Systems, in: Proceedings of ECOOP'99, number 1628 in LNCS, Springer-Verlag, 1999, 474-494.
4. Bracciali, A., Brogi, A., Turini, F.: Coordinating Interaction Patterns, Proceedings of SAC'01, ACM Press, October 2001.
5. Canal, C., Fuentes, L., Pimentel, E., Troya, J. M., Vallecillo, A.: Extending CORBA Interfaces with Protocols, The Compute r Journal, 44(5), October 2001, 448-462.
6. Canal, C., Fuentes, L., Pimentel, E., Troya, J. M., Vallecillo, 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, P., 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 π-calculus, To appear.
11. 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,
12. An extended abstract appeared in Proceedings of ESOP'99, volume LNCS 1576, pages 74-90.
13. Honda, K.: Types for Dyadic Interaction, CONCUR'93, 715, Springer-Verlag, 1993.
14. Honda, K., Vasconcelos, V. T., Kubo, M.: Language primitives and type disciplines for structured communication-basedprogramming, ESOP'98, 1381, Springer-Verlag, 1998.
15. Lea, D.: Interface-Based Protocol Specification of Open Systems using PSL, in: Proc. of ECOOP'95, number 1241 in LNCS, Springer-Verlag, 1995.
16. Leavens, G. T., Sitaraman, M., Eds.: Foundations of Component-Based Systems, Cambridge University Press, 2000.
17. Magee, J., Kramer, J., Giannakopoulou, D.: Behaviour Analysis of Software Architectures, in: Software Architecture, Kluwer Academic Publishers, 1999, 35-49.
18. Nierstrasz, O.: Regular Types for Active Objects, Object-Oriented Software Composition (O. Nierstrasz, D. Tsichritzis, Eds.), Prentice-Hall, 1995.
19. OMG: The Common Object Request Broker: Architecture and Specification, Object Management Group, 2.4 edition, November 2000, http://www.omg.org/ technology/documents/formal/corbaiiop.htm.
20. Takeuchi, K., Honda, K., Kubo, M.: An Interaction-Based Language and its Typing System, PARLE '94 (C. Halatsis, D. G. Maritsas, G. Philokyprou, S. Theodoridis, Eds.), 817, Springer-Verlag, 1994.
21. Vasconcelos, V. T., Ravara, A., Gay, S.: Session types for functional multithreading, CONCUR'04, 3170, Springer-Verlag, 2004.
22. Wehrheim, H.: Behavioural Subtyping Relations for Active Objects, Formal Methods in System Design, 23, 2003,143-170.
23. Yellin, D. M., Strom, R. E.: Protocol Specifications and Components Adaptors, ACM Transactions on Programming Languages and Systems, 19(2), March 1997, 292-333.
24. Zaremski, A. M., Wing, J. M.: Specification Matching of Software Components, ACM Trans. on Software Engineering and Methodology, 6(4), October 1997, 333-369.