Service Typing in Collaborative Systems

1. Ruokolainen, T., Kutvonen, L.: Interoperability in Service-based Communities. In Bussler, C., ed.: Business Process Management — BPM 2005 Workshops, Springer-Verlag (2005).

   Google Scholar 

2. Kutvonen, L., Metso, J., Ruokolainen, T.: Inter-enterprise collaboration management in dynamic business networks. In: OTM Confederated International Conferences. Volume 3760 of LNCS., Springer-Verlag (2005)

   Google Scholar 

3. Metso, J., Kutvonen, L.: Managing Virtual Organizations with Contracts. In: Workshop on Contract Architectures and Languages (CoALa2005), (2005).

   Google Scholar 

4. OASIS: The Universal Description, Discovery, and Integration protocol (UDDI) http://uddi.org (2005).

   Google Scholar 

5. Kutvonen, L., Ruokolainen, T., Metso, J., Haataja, J.: Interoperability middleware for federated enterprise applications in web-Pilarcos. In: Interoperability of Enterprise Software and Applications, Springer-Verlag (2005)

   Google Scholar 

6. ISO/IEC JTC1/SC7: ISO/IEC 14769: Information technology-Open distributed processing-Type repository function. (1999)

   Google Scholar 

7. Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Computing. OMG Press (2003)

   Google Scholar 

8. Vallecillo, A., Vasconcelos, V.T., Ravara, A.: Typing the behavior of objects and components using session types. Electronic Notes in Theoretical Computer Science 68 (2003).

   Google Scholar 

9. Muenke, M., Lamersdorf, W., Christiansen, B.O., Mueller-Jones, K.: Type management: A key to software reuse in open distributed systems. In: 1st International Enterprise Distributed Object Computing Conference (EDOC’ 97). (1997)

   Google Scholar 

10. Kutvonen, L.: Trading services in open distributed environments. PhD thesis, University of Helsinki (1998)

    Google Scholar 

11. W3C: XML Schema Documentation; Parts 1 and 2. 2nd edn. (2004) W3C Recommendation, http://www.w3.org/XML/Schema.

    Google Scholar 

12. Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: 7th European Symposium on Programming, Springer-Verlag (1998) 122–138

    Google Scholar 

13. Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM Transactions on Programming Languages and Systems 15 (1993) 575–631

    Article  Google Scholar 

14. Brown, A., Laneve, C., Meredith, G.: PiDuce: A process calculus with native XML datatypes. In: 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005), Springer-Verlag (2005) To appear.

    Google Scholar 

15. Berners-Lee, T., Fielding, R., Masinter, L.: Uniform Resource Identifiers (URI): Generic Syntax (1998) RFC 2396.

    Google Scholar 

16. Object Management Group: Meta Object Facility (MOF) 2.0 Core Specification. 2.0 edn. (2003)

    Google Scholar 

Download references