Abstract
In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that make up the overall business activity. These service-based business processes can then be combined to form loosely-coupled distributed applications where the participants interact by calling on each other’s services. A key concern is to ensure that these interacting service-based processes work correctly in all cases, including maintaining consistency of both their stored data and the status of the joint activities. We propose a new model and notation for expressing such business processes which helps the designer avoid many common sources of errors, including inconsistency. Unlike most existing orchestration or workflowa This work was completed while the author was working at CSIRO. languages used for expressing business processes, we do not separate the normal case from exceptional activity, nor do we treat exceptional activity as a form of failure that requires compensation. Our model has been demonstrated by developing prototype systems.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Business Process Execution Language for Web Services (BPEL4WS), Version 1.0, http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/
Web Service Choreography Interface (WSCI) 1.0 Specification, http://wwws.sun.com/software/xml/developers/wsci/
Alonso, G., El Abbadi, A., Kamath, M., Gunthor, R., Agrawal, D., Mohan, C.: Failure handling in large scale workflow management systems, Technical Report IBM RJ9913 (1994)
Alonso, G., Agrawal, D., El Abbadi, A., Kamath, M., Gunthor, R., Mohan, C.: Advanced transaction models in workflow contexts. In: IEEE Conference on Data Engineering, pp. 574–581 (1996)
Casati, F., Ceri, S., Parboschi, S., Pozzi, G.: Specification and Implementation of Exceptions in Workflow Management Systems. ACM Transactions on Database Systems 24(3), 405–451 (1999)
Ceri, S., Grefen, P., Sanchez, G.: WIDE – a distributed architecture for workflow management. In: Proc RIDE 1997, pp. 76–81 (1997)
Dayal, U., Hsu, M., Ladin, R.: Organizing Long-Running Activities with Triggers and Transactions. In: Proc. ACM International Conference on Management of Data (SIGMOD), pp. 204–214 (1990)
Eder, J., Liebhart, W.: The Workflow Activity Model WAMO. In: Proceedings of the 3rd International Conference on Cooperative Information Systems, Vienna, Austria (1995)
Garcia-Molina, H., Salem, K.: Sagas. In: ACM International Conference on Management of Data (SIGMOD), pp. 249–259 (1987)
Georgakopoulos, D., Hornick, M.F., Sheth, A.P.: An overview of workflow management: From process modeling to workflow automation infrastructure. Distributed and Parallel Databases 3(2), 119–153 (1995)
Geppert, A., Tombros, D., Dittrich, K.: Defining the Semantics of Reactive Components in Event-Driven Workflow Execution with Event Histories. Information Systems 23(3/4), 235–252 (1998)
Goodenough, J.B.: Exception Handling Issues and a Proposed Notation. Communications of the ACM 18(12), 683–696 (1975)
Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, San Francisco (1993)
Greenfield, P., Fekete, A., Jang, J., Kuo, D.: Compensation is Not Enough. In: 7th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2003), Brisbane, Australia, September 2003, pp. 232–239 (2003)
Hagen, C., Alonso, G.: Exception Handling in Workflow Management Systems. IEEE Transactions on Software Engineering 26(10), 943–958 (2000)
Hagen, C., Alonso, G.: Flexible Exception Handling in the OPERA Process Support System. In: Proc. IEEE International Conference on Distributed Computing Systems, pp. 526–533 (1998)
Hagen, C., Alonso, G.: Beyond the Black Box: Event-Based Inter-process Communication in Process Support Systems. In: Proc. IEEE International Conference on Distributed Computing Systems, pp. 450–457 (1999)
Knolmayer, G., Endl, R., Pfahrer, M.: Modeling Processes and Workflows by Business Rules. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 16–29. Springer, Heidelberg (2000)
Kuo, D., Fekete, A., Greenfield, P., Nepal, S.: Consistency for Service-Oriented Systems, Technical Report 05/017, CSIRO ICT Centre, Australia (2005)
Koschel, A., Kramer, R.: Applying Configurable Event-triggered Services in Heterogeneous, Distributed Information Systems. In: Engineering Dederated Information Systems, Proceedings of the 2nd Workshop EFIS 1999, Kühlungsborn, Germany, May 5-7, 1999, pp. 147–157 (1999)
Luo, Z., Sheth, A., Kochut, K., Miller, J.: Exception Handling in Workflow Systems. Applied Intelligence 13(2), 125–147 (2000)
Mourani, H., Antunus, P.: Exception Handling Through a Workflow. In: CoopIS 2004, pp. 37–54 (2004)
Muller, R., Greiner, U., Rahm, E.: AGENTWORK: a workflow system supporting rule-based workflow adaptation. Data and Knowledge Engineering 51(2), 223–256 (2004)
Nepal, S., Fekete, A., Greenfield, P., Jang, J., Kuo, D., Shi, T.: A Service-oriented Workflow Language for Robust Interacting Applications. CSIRO ICT Centre Technical Report 05/091 (2005)
Urban, S.D., Kambhampati, S., Dietrich, S.W., Jin, Y., Sundermier, A.: An Event Processing System for Rule-Based Component Integration. In: Proceedings of the International Conference on Enterprise Information Systems, Portugal, April 2004, pp. 312–319 (2004)
Tombros, D., Geppert, A.: Building Extensible Workflow Systems using an Event-Based Infrastructure. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 325–339. Springer, Heidelberg (2000)
Wächter, H., Reuter, A.: The ConTract Model. In: Elmagarmid, A.K. (ed.) Database Transaction Models for Advanced Applications. Morgan Kaufmann, San Francisco (1992)
Widom, J., Ceri, S.: Active Database Systems: Trigger and Rules For Advances Database Processing. Morgan Kaufmann, San Francisco (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nepal, S., Fekete, A., Greenfield, P., Jang, J., Kuo, D., Shi, T. (2005). A Service-Oriented Workflow Language for Robust Interacting Applications. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. OTM 2005. Lecture Notes in Computer Science, vol 3760. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11575771_6
Download citation
DOI: https://doi.org/10.1007/11575771_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29736-9
Online ISBN: 978-3-540-32116-3
eBook Packages: Computer ScienceComputer Science (R0)