Behavioural Types for Service Integration: Achievements and Challenges

Electronic Notes in Theoretical Computer Science

Volumn 180, Issue 2, 2007, Pages 41-54

  Brogi, Antonio ^a   Canal, Carlos ^b   Pimentel, Ernesto ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

behavioral types; Service integration; web services

Indexed keywords

BEHAVIORAL RESEARCH; COMPUTER SOFTWARE; PROBLEM SOLVING;

BEHAVIORAL TYPES; SERVICE INTEGRATION; STATE-OF-THE-ART;

WEB SERVICES;

EID: 34250188426     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.10.045     Document Type: Article

References (16)

1. Allen R., and Garlan D. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 6 3 (1997) 213-249
2. Brogi A., Canal C., and Pimentel E. Behavioural Types and Component Adaptation. 10th International Conference on Algebraic Methodology And Software Technology. LNCS (August 2004), Springer-Verlag
3. Honda K., Vasconcelos V.T., and Kubo M. Language primitives and type disciplines for structured communication-based programming. European Symposium on Programming. (ESOP'98). LNCS volume 1381 (1998), Springer-Verlag 122-138
4. Igarashi A., and Kobayashi N. A generic type system for the Pi-calculus. Theoretical Computer Science 311 1-2 (2004) 121-163
5. Kobayashi N.A. A type system for lock-free processes. Information and Computation 177 2 (2002) 122-159
6. Keller A., and Ludwig H. The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services. Journal of Network and System Management 11 1 (2003) 57-81
7. Meredith L.G., and Bjorg S. Contract and types. CACM 46 10 (2003)
8. Morel B., and Alexander P. Automating component adaptation for reuse. Proc. IEEE International Conference on Automated Software Engineering. (ASE 2003) (2003), IEEE Computer Society Press 142-151
9. Nierstrasz O. Regular Types for Active Objects. In: Nierstrasz O., and Tsichritzis D. (Eds). Object-Oriented Software Composition (1995), Prentice Hall 99-121
10. Papazoglou M.P., and Georgakopoulos D. Service-Oriented Computing. Communications of the ACM 46 10 (2003)
11. Pierce B., and Sangiorgi D. Typing and Subtyping for Mobile Processes. Eighth Annual IEEE Symposium on Logic in Computer Science (1993), IEEE Computer Society Press 376-385
12. Vallecillo A., Hernández J., and Troya J.M. New issues in object interoperability. Object-Oriented Technology. LNCS 1964 (2000), Springer 256-269
13. Vallecillo A., Vasconcelos V.T., and Ravara A. Typing the behavior of objects and components using session types. ENTCS 68 3 (2003)
14. Yellin D.M., and Strom R.E. Protocol specifications and components adaptors. ACM Transactions on Programming Languages and Systems 19 2 (1997) 292-333
15. N. Yoshida, K. Honda, M. Berger. Strong Normalisation in the π-Calculus. Available as Technical Report at http://www.doc.ic.ac.uk/~yoshida/paper-ic.html#TYPES. 2001. To appear in Journal of Information and Computation
16. Yoshida N., Honda K., and Berger M. Linearity and bisimulation. Proc. of FoSSaCS02. LNCS 2303 (2002) 417-434