Typing the behavior of objects and components using session types

Electronic Notes in Theoretical Computer Science

Volumn 68, Issue 3, 2003, Pages 439-456

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

^a UNIVERSITY OF MÁLAGA   (Spain)

^b UNIVERSITY OF LISBON   (Portugal)

^c INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL DESCRIPTION LANGUAGES (ADL); COMPONENT BASED SOFTWARE DEVELOPMENT (CBSD); OBJECT INTERFACES; TEMPORAL LOGIC;

COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE REUSABILITY; INTERFACES (COMPUTER); INTEROPERABILITY; SEMANTICS; SYSTEMS ENGINEERING;

SOFTWARE ENGINEERING;

EID: 17044383882     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80382-2     Document Type: Conference Paper

References (14)

1. Bastide Rémi., Sy Ousmane, Palanque Philippe. Formal specification and prototyping of CORBA systems. Proceedings of ECOOP'99 number 1628 in LNCS. 1999;474-494 Springer-Verlag
2. Bracciali Andrea, Brogi Antonio, Turini Franco. Coordinating interaction patterns. Proceedings of SAC'01. October 2001;ACM Press
3. Canal C., Pimentel E., Troya J.M. Compatibility and inheritance in software architectures. Science of Computer Programming. 41:105-138:2001
4. Canal Carlos, Fuentes Lidia, Pimentel Ernesto, Troya Jose M., Vallecillo Antonio. Extending CORBA interfaces with protocols. The Computer Journal. 44:(5):October 2001;448-462
5. Gay Simon J., Hole Malcom. Types for correct communication in client-server systems. Technical report, Department of Computer Science, Royal Holloway, University of London, 2000. Extended version of Types and Subtypes for Client-Server Interactions, in Proceedings of the European Symposium on Programming Languages and Systems, Springer-Verlag LNCS. 1576:1999
6. Honda Kohei, Vasconcelos Vasco T., Kubo Makoto. Language primitives and type disciplines for structured communication-based programming. ESOP'98, volume 1381 of LNCS. 1998;22-138 Springer-Verlag
7. Lea Doug. Interface-based protocol specification of open systems using PSL. Proc. of ECOOP'95 number 1241 in LNCS. 1995;Springer-Verlag
8. Leavens Gary T., Sitaraman Murali. Foundations of Component-Based Systems. 2000;Cambridge University Press
9. Magee J., Kramer J., Giannakopoulou D. Behaviour analysis of software architectures. Software Architecture. 1999;35-49 Kluwer Academic Publishers
10. Oscar Nierstrasz. Regular types for active objects. In Oscar Nierstrasz and Dennis Tsichritzis, editors, Object-Oriented Software Composition. 1995;99-121 Prentice-Hall
11. 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.
12. António Ravara. Typing non-uniform concurrent objects. 2000;PhD thesis, Technical University of Lisbon, Portugal
13. Yellin Daniel M., Strom Robert E. Protocol specifications and components adaptors. ACM Transactions on Programming Languages and Systems. 19:(2):March 1997;292-333
14. Zaremski Amy Moormann, Jeannette M. Wing. Specification matching of software components. ACM Trans, on Software Engineering and Methodology. 6:(4):October 1997;333-369