APPROACH FOR VERIFYING WORKFLOW VALIDITY

Yuan Lin, Thérèse Libourel, Isabelle Mougenot, Runtong Zhang, Rongqian Ni

2011

Abstract

This article presents the solution adopted for tackling the problem of incompatibility inherent in process compositions during a workflow’s construction. The proposed approach is based on a context of pre-constructed resource hierarchies (data and processes) and consists of finding possible composition “paths” between processes within GRSYN and GRSEM resource graphs constructed from the context. We explain the stage of constructing the context from a simple formal description of resources. The stage for resolving the incompatibility is then covered in detail. We briefly present the implemented prototype before highlighting future avenues of research.

References

  1. Altintas, I., Ludäscher, B., Klasky, S., and Vouk, M. A. (2006). S04 - introduction to scientific workflow management and the kepler system. In SC, page 205.
  2. Altintas, I., Ludäscher, B., Klasky, S., and Vouk, M. A. (2006). S04 - introduction to scientific workflow management and the kepler system. In SC, page 205.
  3. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., and Weerawarana, S. (5 May 2003). Business process execution language for web services, version 1.1. http://www.ibm.com/developerworks/library/specific ation/ws-bpel/.
  4. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., and Weerawarana, S. (5 May 2003). Business process execution language for web services, version 1.1. http://www.ibm.com/developerworks/library/specific ation/ws-bpel/.
  5. Beauche, S. and Poizat, P. (2008). Automated service composition with adaptive planning. In ICSOC 7808: Proceedings of the 6th International Conference on Service-Oriented Computing, pages 530-537, Berlin, Heidelberg. Springer-Verlag.
  6. Beauche, S. and Poizat, P. (2008). Automated service composition with adaptive planning. In ICSOC 7808: Proceedings of the 6th International Conference on Service-Oriented Computing, pages 530-537, Berlin, Heidelberg. Springer-Verlag.
  7. Christensen, E., Curbera, F., Meredith, G., and Weerawarana, S. (2001). Web Services Description Language (WSDL) 1.1. W3C, 1.1 edition.
  8. Christensen, E., Curbera, F., Meredith, G., and Weerawarana, S. (2001). Web Services Description Language (WSDL) 1.1. W3C, 1.1 edition.
  9. CLARO, D. B. (2006). SPOC - Un canevas pour la composition automatique de services web deédieés à la réalisation de devis. PhD thesis, Université d'Angers.
  10. CLARO, D. B. (2006). SPOC - Un canevas pour la composition automatique de services web deédieés à la réalisation de devis. PhD thesis, Université d'Angers.
  11. Claro, D. B., Licchelli, O., Albers, P., and Macedo, J. D. A. (2008). Personalized reliable web service compositions. In WONTO.
  12. Claro, D. B., Licchelli, O., Albers, P., and Macedo, J. D. A. (2008). Personalized reliable web service compositions. In WONTO.
  13. Comerio, M., Truong, H.-L., Paoli, F., and Dustdar, S. (2009). Evaluating contract compatibility for service composition in the seco2 framework. In Proceedings of the 7th International Joint Conference on ServiceOriented Computing, ICSOC-ServiceWave 7809, pages 221-236, Berlin, Heidelberg. Springer-Verlag.
  14. Comerio, M., Truong, H.-L., Paoli, F., and Dustdar, S. (2009). Evaluating contract compatibility for service composition in the seco2 framework. In Proceedings of the 7th International Joint Conference on ServiceOriented Computing, ICSOC-ServiceWave 7809, pages 221-236, Berlin, Heidelberg. Springer-Verlag.
  15. Cunningham, S. and Denize, P. (1993). A tool for model generation and knowledge acquisition. In Proc International Workshop on Artificial Intelligence and Statistics, pages 213-222, Fort Lauderdale, Florida, USA.
  16. Cunningham, S. and Denize, P. (1993). A tool for model generation and knowledge acquisition. In Proc International Workshop on Artificial Intelligence and Statistics, pages 213-222, Fort Lauderdale, Florida, USA.
  17. Group, W. O. W. (2004). OWL 2 : Web Ontology Language. W3C.
  18. Group, W. O. W. (2004). OWL 2 : Web Ontology Language. W3C.
  19. Hamadi, R. and Benatallah, B. (2003). A petri net-based model for web service composition. In Proceedings of the 14th Australasian database conference - Volume 17, ADC 7803, pages 191-200, Darlinghurst, Australia, Australia. Australian Computer Society, Inc.
  20. Hamadi, R. and Benatallah, B. (2003). A petri net-based model for web service composition. In Proceedings of the 14th Australasian database conference - Volume 17, ADC 7803, pages 191-200, Darlinghurst, Australia, Australia. Australian Computer Society, Inc.
  21. Hull, D., Wolstencroft, K., Stevens, R., Goble, C., Pocock, M., Li, P., and Oinn, T. (2006). Taverna: a tool for building and running workflows of services. Nucleic Acids Research, 34(Web-Server-Issue):729-732.
  22. Hull, D., Wolstencroft, K., Stevens, R., Goble, C., Pocock, M., Li, P., and Oinn, T. (2006). Taverna: a tool for building and running workflows of services. Nucleic Acids Research, 34(Web-Server-Issue):729-732.
  23. Joel Farrell, IBM Holger Lausen, D. I. (2007). Semantic Annotations for WSDL and XML Schema. W3C.
  24. Joel Farrell, IBM Holger Lausen, D. I. (2007). Semantic Annotations for WSDL and XML Schema. W3C.
  25. Julien Bourdon, P. B. and Fiorino, H. (2007). Architecture multi-agents pour la composition automatique de web services.
  26. Julien Bourdon, P. B. and Fiorino, H. (2007). Architecture multi-agents pour la composition automatique de web services.
  27. Kay, M. (23 January 2007). Xsl transformations (xslt) version 2.0. http://www.w3.org/TR/xslt.
  28. Kay, M. (23 January 2007). Xsl transformations (xslt) version 2.0. http://www.w3.org/TR/xslt.
  29. Kiepuszewski, B., ter Hofstede, A., and van der Aalst, W. (2003). Fundamentals of control flow in workflows. Acta Informatica, 39:143-209.
  30. Kiepuszewski, B., ter Hofstede, A., and van der Aalst, W. (2003). Fundamentals of control flow in workflows. Acta Informatica, 39:143-209.
  31. Klusch, M. and Gerber, A. (2005). Semantic web service composition planning with owls-xplan. In In Proceedings of the 1st Int. AAAI Fall Symposium on Agents and the Semantic Web, pages 55-62.
  32. Klusch, M. and Gerber, A. (2005). Semantic web service composition planning with owls-xplan. In In Proceedings of the 1st Int. AAAI Fall Symposium on Agents and the Semantic Web, pages 55-62.
  33. Libourel, T., Lin, Y., Mougenot, I., Pierkot, C., and Desconnets, J.-C. (2010). A platform dedicated to share and mutualize environmental applications. In ICEIS (1), pages 50-57.
  34. Libourel, T., Lin, Y., Mougenot, I., Pierkot, C., and Desconnets, J.-C. (2010). A platform dedicated to share and mutualize environmental applications. In ICEIS (1), pages 50-57.
  35. Limthanmaphon, B. and Zhang, Y. (2003). Web service composition with case-based reasoning.
  36. Limthanmaphon, B. and Zhang, Y. (2003). Web service composition with case-based reasoning.
  37. Lin, Y., Libourel, T., and Mougenot, I. (2009). A workflow language for the experimental sciences. In ICEIS (3), pages 372-375.
  38. Lin, Y., Libourel, T., and Mougenot, I. (2009). A workflow language for the experimental sciences. In ICEIS (3), pages 372-375.
  39. Liu, Z., Ranganathan, A., and Riabov, A. (2007). Modelingweb services using semantic graph transformations to aid automatic composition. Web Services, IEEE International Conference on, 0:78-85.
  40. Liu, Z., Ranganathan, A., and Riabov, A. (2007). Modelingweb services using semantic graph transformations to aid automatic composition. Web Services, IEEE International Conference on, 0:78-85.
  41. Ludäscher, B., Altintas, I., Berkley, C., Higgins, D., Jaeger, E., Jones, M. B., Lee, E. A., Tao, J., and Zhao, Y. (2006). Scientific workflow management and the kepler system. Concurrency and Computation: Practice and Experience, 18(10):1039-1065.
  42. Ludäscher, B., Altintas, I., Berkley, C., Higgins, D., Jaeger, E., Jones, M. B., Lee, E. A., Tao, J., and Zhao, Y. (2006). Scientific workflow management and the kepler system. Concurrency and Computation: Practice and Experience, 18(10):1039-1065.
  43. Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., and Sycara, K. (2004). OWL-S: Semantic Markup for Web Services. W3C.
  44. Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., and Sycara, K. (2004). OWL-S: Semantic Markup for Web Services. W3C.
  45. Milanovic, N. (2005). Contract-based web service composition framework with correctness guarantees. In Malek, M., Nett, E., and Suri, N., editors, Service Availability, volume 3694 of Lecture Notes in Computer Science, pages 52-67. Springer Berlin / Heidelberg.
  46. Milanovic, N. (2005). Contract-based web service composition framework with correctness guarantees. In Malek, M., Nett, E., and Suri, N., editors, Service Availability, volume 3694 of Lecture Notes in Computer Science, pages 52-67. Springer Berlin / Heidelberg.
  47. Nau, D. S., Au, T.-C., Ilghami, O., Kuter, U., Murdock, J. W., Wu, D., and Yaman, F. (2003). Shop2: An htn planning system. J. Artif. Intell. Res. (JAIR), 20:379- 404.
  48. Nau, D. S., Au, T.-C., Ilghami, O., Kuter, U., Murdock, J. W., Wu, D., and Yaman, F. (2003). Shop2: An htn planning system. J. Artif. Intell. Res. (JAIR), 20:379- 404.
  49. Oinn, T., Greenwood, M., Addis, M., Alpdemir, N., Ferris, J., Glover, K., Goble, C., Goderis, A., Hull, D., Marvin, D., Li, P., Lord, P., Pocock, M., Senger, M., Stevens, R., Wipat, A., and Wroe, C. (2006). Taverna: lessons in creating a workflow environment for the life sciences. Concurrency and Computation: Practice & Experience - Workflow in Grid Systems.
  50. Oinn, T., Greenwood, M., Addis, M., Alpdemir, N., Ferris, J., Glover, K., Goble, C., Goderis, A., Hull, D., Marvin, D., Li, P., Lord, P., Pocock, M., Senger, M., Stevens, R., Wipat, A., and Wroe, C. (2006). Taverna: lessons in creating a workflow environment for the life sciences. Concurrency and Computation: Practice & Experience - Workflow in Grid Systems.
  51. Sirin, E., Parsia, B., Wu, D., Hendler, J. A., and Nau, D. S. (2004). Htn planning for web service composition using shop2. J. Web Sem., 1(4):377-396.
  52. Sirin, E., Parsia, B., Wu, D., Hendler, J. A., and Nau, D. S. (2004). Htn planning for web service composition using shop2. J. Web Sem., 1(4):377-396.
  53. van der Aalst, W. M. P. and ter Hofstede, A. H. M. (2005). Yawl: yet another workflow language. Inf. Syst., 30(4):245-275.
  54. van der Aalst, W. M. P. and ter Hofstede, A. H. M. (2005). Yawl: yet another workflow language. Inf. Syst., 30(4):245-275.
  55. W3C (2004). RDF Primer. W3C.
  56. W3C (2004). RDF Primer. W3C.
Download


Paper Citation


in Harvard Style

Lin Y., Libourel T., Mougenot I., Zhang R. and Ni R. (2011). APPROACH FOR VERIFYING WORKFLOW VALIDITY . In Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-55-3, pages 66-75. DOI: 10.5220/0003498900660075


in Harvard Style

Lin Y., Libourel T., Mougenot I., Zhang R. and Ni R. (2011). APPROACH FOR VERIFYING WORKFLOW VALIDITY . In Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-55-3, pages 66-75. DOI: 10.5220/0003498900660075


in Bibtex Style

@conference{iceis11,
author={Yuan Lin and Thérèse Libourel and Isabelle Mougenot and Runtong Zhang and Rongqian Ni},
title={APPROACH FOR VERIFYING WORKFLOW VALIDITY},
booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2011},
pages={66-75},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003498900660075},
isbn={978-989-8425-55-3},
}


in Bibtex Style

@conference{iceis11,
author={Yuan Lin and Thérèse Libourel and Isabelle Mougenot and Runtong Zhang and Rongqian Ni},
title={APPROACH FOR VERIFYING WORKFLOW VALIDITY},
booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2011},
pages={66-75},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003498900660075},
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 - APPROACH FOR VERIFYING WORKFLOW VALIDITY
SN - 978-989-8425-55-3
AU - Lin Y.
AU - Libourel T.
AU - Mougenot I.
AU - Zhang R.
AU - Ni R.
PY - 2011
SP - 66
EP - 75
DO - 10.5220/0003498900660075


in EndNote Style

TY - CONF
JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - APPROACH FOR VERIFYING WORKFLOW VALIDITY
SN - 978-989-8425-55-3
AU - Lin Y.
AU - Libourel T.
AU - Mougenot I.
AU - Zhang R.
AU - Ni R.
PY - 2011
SP - 66
EP - 75
DO - 10.5220/0003498900660075