BPEL-TIME - WS-BPEL Time Management Extension

Amirreza Tahamtan, Christian Oesterle, A Min Tjoa, Abdelkader Hameurlain

2011

Abstract

Temporal management and assurance of temporal compatibility is an important quality criteria for processes within and across organizations. Temporal conformance increases QoS and reduces process execution costs. WS-BPEL as the accpetd industry standard lacks sufficient temporal management capabilities. In this paper we introduce BPEL-TIME, a WS-BPEL extension for time management purposes. It allows the definition, execution and monitoring of business processes with time management capabilities. This extension makes a fixed, variable and probabilistic representation of temporal constraints possible and checks if the model is temporally compliant. Our approach avoids temporal failures by the prediction of the future temporal behavior of business processes.

References

  1. Allen, J. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832- 843.
  2. Allen, J. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832- 843.
  3. Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Guzar, A., Kartha, N., Liu, C., Khalaf, R., Koenig, D., Marin, M., Mehta, V., Thatte, S., Rijn, D., Yendluri, P., and Yiu., A. (2007). Web services business process execution language version 2.0. Technical report, OASIS.
  4. Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Guzar, A., Kartha, N., Liu, C., Khalaf, R., Koenig, D., Marin, M., Mehta, V., Thatte, S., Rijn, D., Yendluri, P., and Yiu., A. (2007). Web services business process execution language version 2.0. Technical report, OASIS.
  5. Barros, A., Dumas, M., and Oaks, P. (2005). A critical overview of the web services choreography description language(ws-cdl). Technical report, Business Process Trends.
  6. Barros, A., Dumas, M., and Oaks, P. (2005). A critical overview of the web services choreography description language(ws-cdl). Technical report, Business Process Trends.
  7. Benatallah, B., Casati, F., Ponge, J., and Toumani, F. (2005). On temporal abstractions of web service protocols. In Proc. of CAiSE Forum.
  8. Benatallah, B., Casati, F., Ponge, J., and Toumani, F. (2005). On temporal abstractions of web service protocols. In Proc. of CAiSE Forum.
  9. Bettini, C., Wang, X. S., and Jajodia, S. (2002). Temporal reasoning in workflow systems. Distrib. Parallel Databases, 11:269-306.
  10. Bettini, C., Wang, X. S., and Jajodia, S. (2002). Temporal reasoning in workflow systems. Distrib. Parallel Databases, 11:269-306.
  11. Decker, G., Overdick, H., and Zaha, J. (2006). On the suitability of ws-cdl for choreography modeling. In Proc. of EMISA'06.
  12. Decker, G., Overdick, H., and Zaha, J. (2006). On the suitability of ws-cdl for choreography modeling. In Proc. of EMISA'06.
  13. Dijkman, R. and Dumas, M. (2004). Service-oriented design: A multi-viewpoint approach. Int. J. Cooperative Inf. Syst., 13(4):337-368.
  14. Dijkman, R. and Dumas, M. (2004). Service-oriented design: A multi-viewpoint approach. Int. J. Cooperative Inf. Syst., 13(4):337-368.
  15. Eder, J., Gruber, W., and Panagos, E. (2000). Temporal modeling of workflows with conditional execution paths. In Proc. of the 11th International Conference on Database and Expert Systems Applications.
  16. Eder, J., Gruber, W., and Panagos, E. (2000). Temporal modeling of workflows with conditional execution paths. In Proc. of the 11th International Conference on Database and Expert Systems Applications.
  17. Eder, J., Lehmann, M., and Tahamtan, A. (2006). Choreographies as federations of choreographies and orchestrations. In Proc. of CoSS'06.
  18. Eder, J., Lehmann, M., and Tahamtan, A. (2006). Choreographies as federations of choreographies and orchestrations. In Proc. of CoSS'06.
  19. Eder, J., Lehmann, M., and Tahamtan, A. (2007). Conformance test of federated choreographies. In Proc. of I-ESA'07.
  20. Eder, J., Lehmann, M., and Tahamtan, A. (2007). Conformance test of federated choreographies. In Proc. of I-ESA'07.
  21. Eder, J. and Panagos, E. (2001). WfMC WorkFlow Handbook 2001, chapter Managing Time in Workflow Systems. J. Wiley & Sons.
  22. Eder, J. and Panagos, E. (2001). WfMC WorkFlow Handbook 2001, chapter Managing Time in Workflow Systems. J. Wiley & Sons.
  23. Eder, J., Panagos, E., and Rabinovich, M. (1999). Time constraints in workflow systems. In Proc. of the 11th International Conference on Advanced Information Systems Engineering (CAiSE).
  24. Eder, J., Panagos, E., and Rabinovich, M. (1999). Time constraints in workflow systems. In Proc. of the 11th International Conference on Advanced Information Systems Engineering (CAiSE).
  25. Eder, J. and Pichler, H. (2002). Duration histograms for workflow systems. In Proc. of the IFIP TC8 / WG8.1 Working Conference on Engineering Information Systems in the Internet Context.
  26. Eder, J. and Pichler, H. (2002). Duration histograms for workflow systems. In Proc. of the IFIP TC8 / WG8.1 Working Conference on Engineering Information Systems in the Internet Context.
  27. Eder, J., Pichler, H., and Tahamtan, A. (2008). Probabilistic time management of choreographies. In Proc. of QSWS-08.
  28. Eder, J., Pichler, H., and Tahamtan, A. (2008). Probabilistic time management of choreographies. In Proc. of QSWS-08.
  29. Eder, J. and Tahamtan, A. (2008). Temporal conformance of federated choreographies. In Proc. of DEXA'08.
  30. Eder, J. and Tahamtan, A. (2008). Temporal conformance of federated choreographies. In Proc. of DEXA'08.
  31. Guermouche, N., Perrin, O., and Ringeissen, C. (2008). Timed specification for web services compatibility analysis. Electron. Notes Theor. Comput. Sci., 3:155- 170.
  32. Guermouche, N., Perrin, O., and Ringeissen, C. (2008). Timed specification for web services compatibility analysis. Electron. Notes Theor. Comput. Sci., 3:155- 170.
  33. Kallel, S., Charfi, A., Dinkelaker, T., Mezini, M., and Jmaiel, M. (2009). Specifying and monitoring temporal properties in web services compositions. In Proc. of the Seventh IEEE European Conference on Web Services.
  34. Kallel, S., Charfi, A., Dinkelaker, T., Mezini, M., and Jmaiel, M. (2009). Specifying and monitoring temporal properties in web services compositions. In Proc. of the Seventh IEEE European Conference on Web Services.
  35. Kazhamiakin, R., Pandya, P., and Pistore, M. (2006a). Representation, verification, and computation of timed properties in web service compositions. In Proc. of ICWS 06.
  36. Kazhamiakin, R., Pandya, P., and Pistore, M. (2006a). Representation, verification, and computation of timed properties in web service compositions. In Proc. of ICWS 06.
  37. Kazhamiakin, R., Pandya, P., and Pistore, M. (2006b). Timed modelling and analysis in web service compositions. In Proc. of ARES06.
  38. Kazhamiakin, R., Pandya, P., and Pistore, M. (2006b). Timed modelling and analysis in web service compositions. In Proc. of ARES06.
  39. Marjanovic, O. (2000). Dynamic verification of temporal constraints in production workflows. In Proc. of the Australasian Database Conference.
  40. Marjanovic, O. (2000). Dynamic verification of temporal constraints in production workflows. In Proc. of the Australasian Database Conference.
  41. Panagos, E. and Rabinovich, M. (1997). Predictive workflow management. In Proc. of the 3rd Int. Workshop on Next Generation Information Technologies and Systems.
  42. Panagos, E. and Rabinovich, M. (1997). Predictive workflow management. In Proc. of the 3rd Int. Workshop on Next Generation Information Technologies and Systems.
  43. Peltz, C. (2003). Web services orchestration and choreography. IEEE Computer, 36(10):4653.
  44. Peltz, C. (2003). Web services orchestration and choreography. IEEE Computer, 36(10):4653.
  45. Pichler, H. (2006). Time Management for Workflow Systems. A probabilistic Approach for Basic and Advanced Control Flow Structures. PhD thesis, Alpen-Adria-Universitaet Klagenfurt. Fakultaet fuer Wirtschaftswissenschaften und Informatik.
  46. Pichler, H. (2006). Time Management for Workflow Systems. A probabilistic Approach for Basic and Advanced Control Flow Structures. PhD thesis, Alpen-Adria-Universitaet Klagenfurt. Fakultaet fuer Wirtschaftswissenschaften und Informatik.
  47. Song, W., Ma, X., Ye, C., Dou, W., and Lu, J. (2009). Timed modeling and verification of bpel processes using time petri nets. In Proc. of the International Conference on Quality Software.
  48. Song, W., Ma, X., Ye, C., Dou, W., and Lu, J. (2009). Timed modeling and verification of bpel processes using time petri nets. In Proc. of the International Conference on Quality Software.
  49. Tahamtan, A. (2009). Modeling and Verification of Web Service Composition Based Interorganizational Workflows. PhD thesis, University of Vienna.
  50. Tahamtan, A. (2009). Modeling and Verification of Web Service Composition Based Interorganizational Workflows. PhD thesis, University of Vienna.
  51. Tahamtan, A. and Eder, J. (2011). View driven interorganizational workflows. Int. J. Intelligent Information and Database Systems, To Appear.
  52. Tahamtan, A. and Eder, J. (2011). View driven interorganizational workflows. Int. J. Intelligent Information and Database Systems, To Appear.
Download


Paper Citation


in Harvard Style

Tahamtan A., Oesterle C., Min Tjoa A. and Hameurlain A. (2011). BPEL-TIME - WS-BPEL Time Management Extension . In Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-55-3, pages 34-45. DOI: 10.5220/0003471000340045


in Harvard Style

Tahamtan A., Oesterle C., Min Tjoa A. and Hameurlain A. (2011). BPEL-TIME - WS-BPEL Time Management Extension . In Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-55-3, pages 34-45. DOI: 10.5220/0003471000340045


in Bibtex Style

@conference{iceis11,
author={Amirreza Tahamtan and Christian Oesterle and A Min Tjoa and Abdelkader Hameurlain},
title={BPEL-TIME - WS-BPEL Time Management Extension},
booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2011},
pages={34-45},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003471000340045},
isbn={978-989-8425-55-3},
}


in Bibtex Style

@conference{iceis11,
author={Amirreza Tahamtan and Christian Oesterle and A Min Tjoa and Abdelkader Hameurlain},
title={BPEL-TIME - WS-BPEL Time Management Extension},
booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2011},
pages={34-45},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003471000340045},
isbn={978-989-8425-55-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - BPEL-TIME - WS-BPEL Time Management Extension
SN - 978-989-8425-55-3
AU - Tahamtan A.
AU - Oesterle C.
AU - Min Tjoa A.
AU - Hameurlain A.
PY - 2011
SP - 34
EP - 45
DO - 10.5220/0003471000340045


in EndNote Style

TY - CONF
JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - BPEL-TIME - WS-BPEL Time Management Extension
SN - 978-989-8425-55-3
AU - Tahamtan A.
AU - Oesterle C.
AU - Min Tjoa A.
AU - Hameurlain A.
PY - 2011
SP - 34
EP - 45
DO - 10.5220/0003471000340045