Service-oriented design: A multi-viewpoint approach

International Journal of Cooperative Information Systems

Volumn 13, Issue 4, 2004, Pages 337-368

  Dijkman, Remco ^a   Dumas, Marlon ^b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Design; Formal method; Methodology; Service oriented design; Viewpoint

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DESIGN; INTEGRATION; LEGACY SYSTEMS; PETRI NETS; STANDARDS;

FORMAL METHOD; METHODOLOGY; SERVICE-ORIENTED DESIGN; VIEWPOINT;

WORLD WIDE WEB;

EID: 10444259688     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843004001012     Document Type: Article

References (36)

1. C. Bussler, B2B Integration - Concepts and Architecture (Springer Verlag, 2003).
2. G. Alonso, F. Casati, H. Kuno and V. Machiraju, Web Services: Concepts, Architectures and Applications (Springer Verlag, 2003).
3. F. Casati and M.-C. Shan, Dynamic and adaptive composition of e-services, Information Systems 26(3) (2001) 143-162.
4. B. Benatallah, Q. Sheng and M. Dumas, The Self-Serv environment for web services composition, IEEE Internet Computing 7(1) (2003) 40-48.
5. C. Szyperski, Component technology -what, where, and how?, in Proc. 25th Int. Conf. Software Engineering (ICSE) (2003), pp. 684-693.
6. W. van der Aalst, Don't, go with the flow: Web services composition standards exposed, IEEE Intelligent Systems 18 (2003).
7. ITU-T/ISO, Open distributed processing reference model, Technical Report ITU-T X.901.904 - ISO/IEC 10746-1.4 (ITU-T/ISO, 1994-1997).
8. IEEE Architecture Working Group, IEEE recommended practice for architectural description of software-intensive systems, Technical Report IEEE-Std 1471-2000 (IEEE Computer Society, 2000).
9. R. Milner, Communication and Concurrency (Prentice Hall, 1989).
10. P. van Eijk, C. Vissers and M. Diaz (eds.), The Formal Description Technique LOTOS (Elsevier Science, 1989).
11. R. Milner, Communicating with Mobile Agents: The Pi-Calculus (Cambridge University Press, 1999).
12. C. Pelz, Web services orchestration and choreography, IEEE Computer 36(8) (2003) 46-52.
13. B. Benattallah, F. Casati, F. Toumani and R. Hamadi, Conceptual modeling of web service conversations, in Proc. 15th Int. Conf. Advanced Information Systems (CAiSE), Lecture Notes in Computer Science, Vol. 2681 (Springer Verlag, 2003), pp. 449-467.
14. W3C, Web Services Description Language (WSDL): Core Language 1.2 - Part 1 (2003), http://www.w3.org/TR/2003/WD-wsdl20-20031110.
15. A. Arkin et al, Web Services Choreography Interface (WSCI) 1.0 (2002), http://www.w3.org/TR/2002/NOTE-wsci-20020808.
16. S. Thatte (ed.), Business Process Execution Language for Web Services (BPEL4WS) 1.1 (2003), http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/.
17. N. Kavantzas, D. Burdett and G. Ritzinger (eds.), Web Services Choreography Description Language (WS-CDL) 1.0 (2004), http://www.w3.org/TR/ws-cdl-10.
18. UN/CEFACT and OASIS, ebXML Business Process Specification Schema (BPSS) 1.01 (2001), http://www.ebxml.org/specs/ebBPSS.pdf.
19. G. Hohpe and B. Woolf, Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions (Addison-Wesley, 2004).
20. K. Jensen, Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, 2nd edn. (Springer Verlag, 1997).
21. D. Quartel, L. F. Pires, M. van Sinderen, H. Franken and C. Vissers, On the role of basic design concepts in behaviour structuring, Computer Networks and ISDN Systems 29(4) (1997) 413-436.
22. R. van Glabbeek and W. Weijland, Branching time and abstraction in bisimulation semantics, J. ACM 43(3) (1996) 555-600.
23. CTIT, EPSULon for Web Services (2004), http://arco.ctit.utwente.nl/tool_support.html.
24. J.-P. Katoen, Causal behaviours and nets, in Proc. 16th Int. Conf. Application and Theory of Petri Nets (APN), Lecture Notes in Computer Science, Vol. 935 (Springer Verlag, 1995), pp. 258-278.
25. D. Quartel, L. Ferreira Piresand M. van Sinderen, On architectural support for behaviour refinement in distributed systems design, J. Integrated Design and Process Science 6(1) (2002).
26. R. van Glabbeek, The linear time-branching time spectrum I: The semantics of concrete sequential processes, Handbook of Process Algebra (Elsevier Science, 2001), pp. 3-99.
27. P. Jančar, Decidability questions for bismilarity of Petri nets and some related problems, in Proc. 11th Ann. Symp. Theoretical Aspects of Computer Science, eds. P. Enjalbert, E. Mayr and K. Wagner (1994), pp. 581-192.
28. C. Alvarez, J. Balcazar, J. Gabarro and M. Santha, Parallel complexity in the design and analysis of concurrent systems, in Proc. Conf. Parallel Architectures and Languages Europe (PARLE), Lecture Notes in Computer Science, Vol. 505 (Springer Verlag, 1991).
29. A. Martens, Verteilte Geschäftsprozesse - Modellierung und Verifikation Mit Hilfe von Web Services, PhD thesis, Humboldt Universität, Berlin, Germany (2003).
30. T. Bultan, X. Fu, R. Hull and J. Su, Conversation specification: A new approach to design and analysis of e-service composition, in Proc. Int. Conf. World Wide Web (WWW) (ACM Press, 2003), pp. 403-410.
31. S. Frølund and K. Govindarajan, Cl: A language for formally defining web services interactions, Technical Report HPL-2003-208 (Hewlett-Packard, 2003).
32. M. Mecella, B. Pernici and P. Craca, Compatibility of e-services in a cooperative multi-platform environment, in Proc. 2nd Int. Workshop on Technologies for E-Services, Lecture Notes in Computer Science, Vol. 2193 (Springer Verlag, 2001), pp. 44-57.
33. A. Wombacher and B. Mahleko, Finding trading partners to establish ad-hoc business processes, in Proc. Int. Conf. Coop. Information Systems, Lecture Notes in Computer Science, Vol. 2519 (Springer Verlag, 2002).
34. P. Grefen, K. Aberer, Y. Hoffner and H. Ludwig, CrossFlow: Cross-organizational workflow management in dynamic virtual enterprises, Int. J. Computer Systems Science and Engineering 15(5) (2000) 277-290.
35. W. van der Aalst and M. Weske, The P2P approach to interorganizational workflows, Lecture Notes in Computer Science, Vol. 2068 (2001), pp. 140-155.
36. W. van der Aalst, Inheritance of interorganizational workflows to enable business-to-business e-commerce, Electronic Commerce Research 2(3) (2002) 195-231.