Formal considerations of rule-based messaging for business process integration

Cybernetics and Systems

Volumn 37, Issue 2-3, 2006, Pages 171-196

  Ma, Dat C ^a   Orlowska, Maria E ^a   Sadiq, Shazia W ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; INDUSTRIAL ECONOMICS; INFORMATION DISSEMINATION; SOCIETIES AND INSTITUTIONS;

BUSINESS PROCESS INTEGRATION (BPI); FIRST ORDER LANGUAGE; RULE BASED MESSAGING; TECHNOLOGICAL CHALLENGES;

KNOWLEDGE BASED SYSTEMS;

EID: 30944437271     PISSN: 01969722     EISSN: 10876553     Source Type: Journal    
DOI: 10.1080/01969720500425871     Document Type: Review

References (29)

1. Aalst, W., M. P. van der, A. P. Barros, A. H. M. ter Hofstede, and B. Kiepuszewski. 2000. Advanced Workflow Patterns. Paper read at Proceedings of the 7th International Conference on Cooperative Information Systems (CoopIS 2000), at Berlin, Germany.
2. Abadi, M. and A. Z. Manna. 1989. Temporal logic programming. Journal of Symbolic Computation, 8(3):277-295.
3. Andrews, T., F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. 2003. Business Process Execution Language for Web Services (BPEL4WS) 1.1. IBM, BEA Systems, Microsoft, SAP AG, Siebel Systems [accessed 10/09 2005]. URL: http://www-106.ibm.com/developerworks/library/ws-bpel/
4. Chomicki, J., and T. Imieli. 1988. Temporal deductive databases and infinite objects. Paper read at Proceedings of the seventh of ACM on Symposium on Principles of Database Systems (SIGMOD), at Austin, Texas, United States.
5. ebPML.org. 2005. Automata, State, Actions, and Interactions [accessed 10/09 2005]. URL: http://www.ebpml.org/pi-calculus.htm.
6. Fischer, L. 2004. Workflow handbook 2004: published in association with the work-flow management coalition. Lighthouse Point, Florida: Future Strategies Inc.
7. Forbes. 2004. Beyond the Extended Enterprise: An Executive Report on Enabling Collaborative Business Processes with.NET. Larstan Business Reports [accessed 16/08 2004]. URL: http://itresearch.forbes.com/detail/RES/1083953002_257.html.
8. Gruber, R. E., B. Krishnamurthy, and E. Panagos. 1999. The architecture of the READY event notification service. Paper read at Proceedings 19th IEEE International Conference on Distributed Computing Systems, at Austin, Texas, USA.
9. Kreger, H., 2001. Web Services Conceptual Architecture (WSCA) 1.0. IBM Software Group [accessed 10/09 2005]. URL: http://www.ibm.com/software/solutions/webservices/pdf/WSCA.pdf.
10. Luckham, D. C. 2002. The power of events: an introduction to complex event processing in distributed enterprise systems. Boston, USA: Addison-Wesley.
11. Milner, R. 1989. Communication and concurrency. Hertfordshire: Prentice Hall International (UK) Ltd.
12. Milner, R., J. Parrow., and D. Walker. 1990a. A Caculus of Mobile Processes, Part 1 [accessed 03/09 2003]. URL: http://www.lfcs.informatics.ed.ac.uk/reports/89/ECS-LFCS-89-85/.
13. Milner, R., J. Parrow, and D. Walker. 1990b. A Caculus of Mobile Processes, Part 2 [accessed 03/09 2003]. URL: http://www.lfcs.informatics.ed.ac.uk/reports/89/ECS-LFCS-89-86/.
14. OASIS. 2005a. Electronic Business using extensible Markup Language (ebXML) [accessed 20/09 2005]. URL: http://www.ebxml.org.
15. OASIS. 2005b. The Universal Description, Discovery and Integration (UDDI) 3.0 [accessed 03/09 2005]. URL: http://www.uddi.org.
16. Papazoglou, M. P., Dubray, and J. Jean. 2004. A Survey of Web service technologies. Trento, Italy: University of Trento.
17. Rahm, E., U. Greiner, R. Müller, J. Ramsch, B. Heller, and M. Löffler. 2005. Adaptive Workflow Management [accessed 02/08 2005]. URL: http://dbs.uni-leipzig.de/en/Research/workflow.html.
18. Reiter, R. 1980. Equality and domain closure in first-order databases. Journal of the ACM (JACM), 27(2):235-249.
19. Rosettanet. 2005. Rossettanet [accessed 05/07 2005]. URL: http://www. rosettanet.org/.
20. Sadiq, S., M. Orlowska, W. Sadiq, and K. Schulz. 2004. Facilitating Business Process Management with Harmonized Messaging. Paper read at 6th International Conference on Enterprise Information Systems (ICEIS 2004), 14-17, April 2004, at Universidade Portucalense, Porto, Portugal.
21. Sadiq, S., M. Orlowska, W. Sadiq, and K. Schulz. 2005. When workflows will not deliver - The case of contradicting work practice. Paper read at 8th International Conference on Business Information Systems (BIS 2005), April 20-22 2005, at Poznan, Poland.
22. Segall, B. and D. Arnold. 1997. Elvin has left the building: A publish/subscribe notification service with quenching. Paper read at The Conference for Unix, Linux and Open Source Professionals AUUG97, at Brisbane, Australia.
23. Smith, H., and P. Fingar. 2004. Workflow is just a Pi Process. Computer Sciences Corporation [accessed 28/12 2004]. URL: http://www.fairdene.com/picalculus/workflow-is-just-a-pi-process.pdf.
24. Strom, R., G. Banavar, T. Chandra, M. Kaplan, K. Miller, B. Mukherjee, and M. W. D. Sturman. 1998. Gryphon: An Information Flow Based Approach to Message Brokering. Paper read at International Symposium on Software Reliability Engineering (ISSRE) 98, at Paderborn, Germany.
25. Ullman, J. D. 1988. Principles of database and knowledge-base systems, Principles of computer science series; 14. Rockville, MD: Computer Science Press.
26. W3C. 2001a. Simple Object Access Protocol (SOAP) 1.2 [accessed 04/05 2004]. URL: http://www.w3.org/TR/SOAP/.
27. W3C. 2001b. Web Services Description Language (WSDL) 1.1 [accessed 04/05 2004]. URL: http://www.w3.org/TR/wsdl.
28. W3C. 2004. Web Services Choreography Description Language Version (WS-CDL) 1.0 [accessed 04/05 2004]. URL: http://www.w3.org/TR/2004/WD-ws-cdl-10-20040427/.
29. Widom, J., and S. Ceri. 1996. Active database systems: triggers and rules for advanced database processing. San Francisco, California, USA: Morgan Kaufmann Publishers.