Composition contracts for service interaction

Journal of Universal Computer Science

Volumn 10, Issue 4, 2004, Pages 375-390

  Andrade, Luís Filipe ^a   Fiadeiro, José Luiz ^b  

^a ATX Software SA   (Portugal)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

Architectural connectors; Composition; Coordination; Interaction; Service oriented computing; Software architecture; Web services

Indexed keywords

EID: 23844439540     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (25)

1. [Allen and Garlan, 1997] Allen, R. and Garlan, D. (1997). A formal basis for architectural connectors. ACM TOSEM, 6(3):213-249.
2. [Andrade and Fiadeiro, 1999] Andrade, L. and Fiadeiro, J. (1999). Interconnecting objects via contracts. In France, R. and Rumpe, B., editors, Proc. of UML'99 - Beyond the Standard, number 1723 in LNCS, pages 566-583. Springer.
3. [Andrade and Fiadeiro, 2003a] Andrade, L. and Fiadeiro, J. (2003a). Architecture based evolution of software systems. In Bernardo, M. and Inverardi, P., editors, Proc. of Formal Methods for Software Architectures, number 2804 in LNCS, pages 148-181. Springer.
4. [Andrade and Fiadeiro, 2003b] Andrade, L. and Fiadeiro, J. (2003b). Service-oriented business and system specification: Beyond object-orientation. In Kilov, H. and Baclwaski, K., editors, Practical Foundations of Business and System Specifications, pages 1-23. Kluwer Academic Publishers.
5. [Andrade et al., 2002] Andrade, L., Fiadeiro, J., Gouveia, J., Koutsoukos, G., and Wermelinger, M. (2002). Coordination for orchestration. In Arbab, F. and Talcott, C., editors, Proc. of COORDINATION'02, number 2315 in LNCS, pages 5-13. Springer.
6. [Corchuelo et al., 2003] Corchuelo, R., Pérez, J., and Ruiz-Cortés, A. (2003). Aspect-oriented interaction in multi-organizational web-based systems. Computer Networks, 41(4):385-406.
7. [Curbera et al., 2003] Curbera, F., Khalaf, R., Mukhi, N., Tai, S., and Weerewarana, S. (2003). The next step in web services. Communications of the ACM, 46(10):41-47.
8. [Elrad et al., 2001] Elrad, T., Filman, R., and Bader, A. (2001). Special issue on aspect oriented programming. Communications of the ACM, 44(10).
9. [Fiadeiro et al., 2003] Fiadeiro, J., Lopes, A., and Wermelinger, M. (2003). A mathematical semantics for architectural connectors. In Backhouse, R. and Gibbons, J., editors, Generic Programming, number 2793 in LNCS, pages 190-234. Springer.
10. [Gamma, 1995] Gamma, E. (1995). Design patterns: elements of reusable object-oriented software, Addison-Wesley professional computing series. Addison-Wesley.
11. [Gelernter and Carriero, 1992] Gelernter, D. and Carriero, N. (1992). Coordination languages and their significance. Communications ACM, 35(2):97-107.
12. [IBM, 2003a] IBM (2003a). Business process execution language for web services, version 1.1. http://www.ibm.com/developerworks/web/library/ws-bpel/.
13. [IBM, 2003b] IBM (2003b). Web services architecture overview: the next stage of evolution for e-business. http://www.ibm.com/developerworks/web/ library/w-ovr/.
14. [IBM, 2003c] IBM (2003c). Web services coordination, version 1.0. http://www.ibm. com/developerworks/web/library/ws-coor/.
15. [IBM, 2003d] IBM (2003d). Web services transaction, version 1.0. http://www.ibm.com/developerworks/web/library/ws-transpec/.
16. [Katz, 1993] Katz, S. (1993). A superimposition control construct for distributed systems. ACM Transactions on Programming Languages and Systems, 15(2):337-356.
17. [Kent, 1993] Kent, W. (1993). Participants and performers: A basis for classifying object models. In Proc. of OOPSLA 1993 Workshop on Specification of Behavioral Semantics in Object-Oriented Information Modeling.
18. [Kleppe et al., 2003] Kleppe, Z., Warmer, J., and Bast, W. (2003). MDA Explained: The Model Driven Architecture -Practice and Promise. Addison-Wesley.
19. [Little, 2003] Little, M. (2003). Transactions and web services. Communications of the ACM, 46(10):49-54.
20. [Magee and Kramer, 1996] Magee, J. and Kramer, J. (1996). Dynamic structure in software architectures. In Proc. of the. 4th Symposium on Foundations of Software Engineering, pages 3-14. ACM Press.
21. [Meyer, 1992] Meyer, B. (1992). Applying design by contract. IEEE Computer, 25(10):40-51.
22. [Microsoft, 2000] Microsoft (2000). BizTalk Orchestration - a new technology for orchestrating business interactions. Microsoft Press.
23. [Notkin et al., 1993] Notkin, D., Garlan, D., Griswold, W., and Sullivan, K. (1993). Adding implicit invocation to languages: Three approaches. In Nishio, S. and Yonezawa, A., editors, Object Technologies for Advanced Software, number 742 in LNCS, pages 489-510. Springer.
24. [Shaw, 1996] Shaw, M. (1996). Procedure calls are the assembly language of software interconnection: Connectors deserve first-class status. In Lamb, D., editor, Studies of Software Design, number 1078 in LNCS. Springer.
25. [Yang, 2003] Yang, J. (2003). Web service componentization. Communications of the ACM, 46(10):35-40.