Specification and verification of harmonized business-process collaborations

Information Systems Frontiers

Volumn 12, Issue 4, 2010, Pages 457-479

  Norta, Alex ^a   Eshuis, Rik ^b  

^a UNIVERSITY OF HELSINKI   (Finland)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

b2b; Business process; Collaboration; e business; eSourcing; Inter organizational; Service orientation; Supply chain; Visibilities

Indexed keywords

B2B; BUSINESS PROCESS; COLLABORATION; E-SOURCING; EBUSINESS; INTER-ORGANIZATIONAL; SERVICE ORIENTATION;

ELECTRONIC COMMERCE; FORMAL LOGIC; SUPPLY CHAIN MANAGEMENT; VISIBILITY;

SUPPLY CHAINS;

EID: 78650178297     PISSN: 13873326     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10796-009-9164-1     Document Type: Article

References (57)

1. Alonso, G., Fiedler, SU., Hagen, C., Lazcano, A., Schuldt, H. & Weiler, N. (1999). WISE: business to business e-commerce. In Proc. of the 9th international workshop on research issues on data engineering (pp. 132-139). Sydney, Australia.
2. Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., et al. (2007). Web services business process execution lan-guage version 2.0 (OASIS standard). WS-BPELTC OASIS, http://docs.oasis-open.org/wsbpel/2.0/wsbpel- v2.0.html.
3. ATHENA (2009) Advanced technologies for interoperability of heterogenous enterprise networks and their application. http://www.athena-ip.org/index.php.
4. Basten, T. (1998). In terms ofnets: System design with Petri nets and process algebra. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands.
5. Basten, T., & van der Aalst, W. M. P. (2001). Inheritance of be-havior. Journal ofLogic and Algebraic Programming, 47(2), 47-145.
6. Benatallah, B., Casati, F., & Toumani, F. (2006) Represent-ing, analysing and managing web service protocols. Data & Knowledge Engineering, 58(3), 327-357.
7. Berthelot, G. (1987). Transformations and decompositions of nets. In W. Brauer, W. Reisig, & G. Rozenberg (Eds.), Ad-vances in Petri nets 1986 part I: Petri nets, central models and their properties. Lecture notes in computer science (Vol. 254, pp. 360-376). Berlin: Springer.
8. Bonchi, F., Brogi, A., Corfini, S., & Gadducci, F. (2007). A behav-ioural congruence for web services. In F. Arbab, & M. Sirjani (Eds.), Proc. int. symposium on fundamentals of software engineering (FSEN 2007). Lecture notes in computer science (Vol. 4767, pp. 240-256). Berlin: Springer.
9. Bravetti, M., & Zavattaro, G (2007). Contract based multi-party service composition. In F. Arbab, & M. Sirjani (Eds.), Proc. int. symposium on fundamentals of software engineer-ing (FSEN2007) (Vol 4767, pp. 207-222). Berlin: Springer.
10. Bussler, C. (Ed.) (2002a). B2B integration: Concepts and architec-ture. Berlin: Springer.
11. Bussler, C. (2002b). The application of workflow technology in semantic B2B integration. Distributed and Parallel Data-bases, 12,163-191.
12. Carbone, M., Honda, K., & Yoshida, N. (2007). Structured communication-centred programming for web services. In R. De Nicola (Ed.) Proc. 16th European symposium on pro-gramming (ESOP 2007). Lecture notes in computer science (Vol. 4421, pp. 2-17). Berlin: Springer.
13. Chiu, D. K. W., Cheung, S. C., Till, S., Karlapalem, K., Li, Q., & Kafeza, E. (2004). Workflow view driven cross-organizational interoperability in a web service en-vironment. Information Technology Management, 5(3-4), 221-250.
14. Colom, J. M. & Silva, M. (1990). Improving the linearly based characterization of P/T nets. In G. Rozenberg (Ed.), Advances in Petri nets 1990. Lecture notes in computer science (Vol. 483, pp. 113-146). Berlin: Springer.
15. CrossWork (2009) Cross-organisational workflow formation and enactment, IST no. 507590. http://www.crosswork.info/.
16. IBM (2009) IBM MQSeries workflow. http://www-4.ibm.com/software/mqseries/ workflow.
17. IBM Research (1999). CrossFlow architecture description, Tech-nical report, ESPRIT CrossFlow EP 28653.
18. Ellis, C. A., & Nutt, G. J. (1993) Modelling and enactment of workflow systems. In M. A. Marsan (Ed.), Application and theory ofPetri nets 1993. Lecture notes in computer science (Vol. 691, pp. 1-16). Berlin: Springer-Verlag.
19. Eshuis, R., & Grefen, P. (2008). Constructing customized process views. Data and Knowledge Engineering, 64(2), 419-438.
20. Gomez, J. M., Haller, A., & Bussler, C. (2005). A conversa-tion oriented language for B2B integration based on se-mantic web services. web service semantics. In Towards dynamic business integration workshop. In conjunction with the 14th international world wide web conference (WWW 2005), Chiba, Japan, May 2005.
21. Grefen, P., Ludwig, H., & Angelov, S. (2003). A three-level framework for process and data management of complex e-services. International Journal ofCooperative Information Systems, 12(4), 487-531.
22. Grefen, P., Mehandjiev, N., Kouvas, G., Weichhart, G., & Eshuis, R. (2009). Dynamic business network process man-agement in instant virtual enterprise. Computers in Industry, 60,86-103.
23. Hoffner, Y., Ludwig, H., C. Gülcü, & Grefen, P. (2005). Architecture for cross-organizational business processes. In Procs. 2nd int. workshop on advanced issues of e-commerce and web-based Information systems (pp. 2-11). Milpitas, CA, USA.
24. Jordan, D., Evdemon, J., Alves, A., & Arkin, A. (2007). Web services choreography description language 1.0. http://www.w3.org/TR/2004/WD-ws-cdl-10- 20041217/.
25. Kiepuszewski, B. (2002). Expressiveness and suitability of languages for controlflow modelling in workflows. PhD the-sis, Queensland University of Technology, Queensland University of Technology, Brisbane, Australia.
26. Kiepuszewski, B., ter Hofstede, A. H. M., & van der Aalst, W. M. P. (2003). Fundamentals of control flow in workflows. Acta Informatica, 39(3), 143-209.
27. Kindler, E., Billington, J., & Christensen, S., et al. (2003a). The Petri net markup language: Concepts, technology, and tools. In W. M. P., van der Aalst, E. Best (Eds.), Proc. of the 24th international conference, ICATPN 2003. Lecture notes in computer science (Vol. 2679, pp. 483-505). Eindhoven: Springer. (Pubitemid 137638402)
28. Kindler, E., et al. (2003b). Petri net markup language (PNML) home page. http://www.informatik.hu-berlin.de/top/pnml/.
29. Lazcano, A., Schuldt, H., Alonso, G., & Schek, H. (2001). WISE: Process based e-commerce. IEEE Data Engineering Bulletin, 24(1), 46-51.
30. Leymann, F., & Roller, D. (1999) Production workflow: Concepts and techniques. Upper Saddle River: Prentice-Hall PTR.
31. Martens, A. (2003a). On compatibility of web services. Petri Net Newsletter, 65,12-20.
32. Martens, A. (2003b). On usability of web services. In C. Calero, O. Díaz, & M. Piattini (Eds.) Proc. of1st web services quality workshop (WQW2003). Rome, Italy.
33. Mehandjiev, N., & Grefen, P. (Eds.) (2009). Dynamic business process formation for instant virtual enterprises. Berlin: Springer (in press).
34. Milner, R. (1989). Communication and concurrency. Englewood Cliffs: Prentice-Hall.
35. Norta, A. (2005). eSML (electronic Sourcing Markup Language). In R. Eshuis, & I. Stalker (Eds.) CrossWork: Requirements and concepts for agent-based workflowconfiguration, work package 2: Workflow modelling, task 2.2: Agent-based workflow configuration.
36. Norta, A. (2007). eSourcing: Electronic sourcing for business to business. http://www.cs.helsinki.fi/u/anorta/research/eSourcing/.
37. Norta, A. (2008). Exploring dynamic inter-organizational business process collaboration: Privacy protecting concepts for choreographing eSourcing in B2B with service-oriented computing. VDM.
38. Norta, A. (2009). XRL home page. http://www.cs.helsinki.fi/u/anorta/ research/XRL/xrlHome.html.
39. Reisig, W., & Rozenberg, G (Eds.) (1998). Lectures on Petri nets I: Advances in Petri nets. Lecture notes in computer science (Vol. 1491). Berlin: Springer.
40. Reisig, W., Schmidt, K., & Stahl, C. (2005). Kommunizierende Workflow-Services modellieren und analysieren. In Informatik-Forschung und Entwicklung (pp. 90-101).
41. Van der Aalst, W. M. P. (1997). Verification of workflow nets. In P. Azéma, & G Balbo (Eds.), Application and theory of Petri nets 1997. Lecture notes in computerscience (Vol. 1248, pp. 407-426). Berlin: Springer.
42. Van der Aalst, W. M. P. (1998). The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1), 21-66.
43. Van der Aalst, W. M. P. (2002). Inheritance ofinterorganizational workflows: How to agree to disagree without loosing control? Information Technology and Management, 2(3).
44. Van der Aalst, W. M. P., & Basten, T. (2002). Inheritance ofworkflows: An approach to tackling problems related to change. Theoretical Computer Science, 270(1-2), 125-203.
45. Van der Aalst, W. M.P.,& Kumar, A. (2003). XML based schema definition for support of inter-organizational workflow. Information Systems Research, 14(1), 23-47.
46. Van der Aalst, W. M. P., & van Hee, K. M. (2002). Workflow management: Models, methods, and systems. Cambridge: MIT.
47. Van der Aalst, W. M. P., Ter Hofstede, A. H. M., Kiepuszewski, B., & Barros, A. P. (2000). Advanced workflow patterns. In O. Etzion & P. Scheuermann (Eds.) 7th international conference on cooperative information systems (CoopIS 2000). Lecture notes in computer science (Vol. 1901, pp. 18-29). Berlin: Springer.
48. Van der Aalst, W. M. P., Verbeek, H. M. W., & Kumar, A. (2001). XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows (best paper award). In K. Altinkemer & K. Chari (Eds.) Proceedings of the 6th informs conference on information systems and technology (CIST-2001) (pp. 30-45). Linthicum: Informs.
49. Van der Aalst, W. M. P., ter Hofstede, A. H. M., Kiepuszewski, B., & Barros, A. P. (2007). Workflow patterns home page. http://www.workflowpatterns. com.
50. Van der Aalst, W. M. P., Lohmann, N., Massuthe, P., Stahl, C., & Wolf, K. (2008). From public views to private views-Correctness-by-design for services. In M. Dumas & R. Heckel (Eds.) Proc. WS-FM 2007. Lecture notes in computerscience (Vol. 4937, pp. 139-153). Berlin: Springer.
51. Van Glabbeek, R. J., & Weijland, W. P. (1996). Branching time and abstraction in bisimulation semantics. Journal of the ACM, 43(3), 555-600.
52. Verbeek, H. M. W., & van der Aalst, W. M. P. (2000). Woflan 2.0: A Petri-net-based workflow diagnosis tool. In M. Nielsen & D. Simpson (Eds.) Application and theory ofPetri nets 2000. Lecture notes in computer science (Vol. 1825, pp. 475-484). Berlin: Springer.
53. Verbeek, H. M.W.,& van der Aalst, W. M. P. (2009). Woflan home page. Eindhoven, The Netherlands: Eindhoven Uni-versity of Technology. http://www.tm.tue.nl/it/woflan.
54. Verbeek, H. M. W., Basten, T., & van der Aalst, W. M. P. (2001a). Diagnosing work flow processes using Woflan. The Computer Journal, British Computer Society, 44(4), 246-279.
55. Verbeek, H. M. W., Basten, T., & van der Aalst, W. M. P. (2001b). Diagnosing work flow processes usingWoflan. The Computer Journal, 44(4), 246-279.
56. Verbeek, H. M. W., Hirnschall, A., & van der Aalst, W. M. P. (2002). XRL/Flower: Supporting inter-organizational work-flows using XML/Petri-net technology. In C. Bussler, R. Hull, S. McIlraith, M. E. Orlowska, B. Pernici, & J. Yang (Eds.) Web services, e-business, andthesemanticweb. CAiSE 2002 international workshop, WES 2002, Toronto, Canada (pp. 93-109). LNCS Springer, May 2002.
57. Weber, M., & Kindler, E. (2003). The Petri net markup language. In H. Ehrig, W. Reisig, G. Rozenberg, & H. Weber (Eds.) Petri net technology for communication-based systems ad-vances in Petri nets, Lecture notes in computer science (Vol. 2472, 455 p.). Berlin: Springer.