Value-oriented design of service coordination processes: Correctness and trust

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2005, Pages 1320-1327

  Wieringa, Roel J ^a   Gordijn, Jaap ^b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Correctness; Service coordination; Trust; Value modeling

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; COMPUTER SUPPORTED COOPERATIVE WORK; DECISION SUPPORT SYSTEMS; MATHEMATICAL MODELS;

CORRECTNESS; SERVICE COORDINATION; TRUST; VALUE MODELING;

PROCESS CONTROL;

EID: 33644546005     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1066677.1066975     Document Type: Conference Paper

References (19)

1. W. v. d. Aalst. Don't go with the flow: Web services composition standards exposed. IEEE Intelligent Systems, 18(1):72-76, 2003.
2. G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services: Concepts, Architectures and Applications. Springer, 2004.
3. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawanara. Business Process Execution Language for Web Services Version 1.1. Technical report, BEA Systems, IBM, Microsoft, SAP, Siebel, 5 May 2003.
4. A. Arkin, S. Askary, S. Fordin, W. Jekeli, K. Kawaguchi, D. Orchard, S. Pogliani, K. Riener, S. Struble, P. Takasci-Nagy, I. Trickovic, and S. Zimek. Web Service Choreography Interface (WSCI) 1.0. Technical report, BEA Systems, Intalio, SAP, SUN Microsystems, 8 August 2002.
5. R. Bons, R. Lee, and R. Wagenaar. Implementing international electronic trade using open-edi. European Journal of Information Systems and Inter-Organizational Networks, 1994.
6. R. Bons, R. Lee, R. Wagenaar, and C. Wrigley. Modelling inter-organizational trade procedures using documentary Petri nets. In Proceedings of the Hawaii International Conference on System Sciences, 1995.
7. Business process modeling notation, working draft (1.0), August 25 2003. www.bpmi.org.
8. L. Cabrera, G. Copeland, W. Cox, M. Feingold, T. Freund, J. Johnson, C. Kaler, J. Klein, D. Langworthy, A. Nadalin, D. Orchard, I. Robinson, J. Shewchuk, and T. Storey. Web Services Coordinatioon (WS-Coordination). Technical report, BEA Systems, IBM, Microsoft, September 2003. ftp://wwv6.software.ibm. corn/software/developer/library/ws-coordination.pdf.
9. E. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 1999.
10. ebXML Business Process Specification Schema Version 1.01. http://www.ebxml.org/specs/ebBPSS.pdf, 11 May 2001.
11. R. Eshuis and R. Wieringa. Verification support for workflow design with UML activity graphs. In 24th International Conference on Software Engineering (ICSE 2002), pages 166-176, 2002.
12. R. Eshuis and R. Wieringa. Tool support for verifying UML activity diagrams. IEEE Transactions on Software Engineering, Accepted for publication.
13. T. Gardner. UML modelling of automated business processes with a mapping to BPEL4WS. In First European Workshop on Object Orientation and Web Service (EOOWS), Darmstadt, Germany, 21 July 2003.
14. J. Gordijn and J. Akkermans. Value-based requirements engineering: Exploring innovative e-commerce ideas. Requirements Engineering Journal, 8(2):114-134, 2003.
15. J. Gordijn, J. M. Akkermans, and J. C. van Vliet. Business modelling is not process modelling. In S. W. Liddle and H. C. Mayr, editors, Conceptual Modeling for E-Business and the Web, volume 1921 of LNCS, pages 40-51, Berlin, D, 2000c. Springer Verlag. Also available from http://www.ca.vu.nl/~gordijn/.
16. J. Gordijn and Y.-H. Tan. A design methodology for modeling trustworthy value webs. International Journal of Electronic Commerce, to appear.
17. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent System Specification. Springer, 1992.
18. RosettaNet. Rosettanet overview. www.rosettanet.org, Web site.
19. A. Schaad and J. D. Moffett. A framework for organisational control principles. In 18th Annual Computer Security Applications Conf., page paper 25, Las Vegas, Nevada, 2002. ACSAC, Columbia.