Journal of Internet Computing and Services (인터넷정보학회논문지)

Korean Society for Internet Information (한국인터넷정보학회)
권호 표지
DOI QR코드

DOI QR Code

A Visual Approach for Data-Intensive Workflow Validation

  • Received : 2016.05.11
  • Accepted : 2016.07.04
  • Published : 2016.10.31
Download PDF
⟨ Previous Next ⟩

Abstract

This paper presents a workflow validation method for data-intensive graphical workflow models using real-time workflow tracing mode on data-intensive workflow designer. In order to model and validate workflows, we try to divide as modes have editable mode and tracing mode on data-intensive workflow designer. We could design data-intensive workflow using drag and drop in editable-mode, otherwise we could not design but view and trace workflow model in tracing mode. We would like to focus on tracing-mode for workflow validation, and describe how to use workflow tracing on data-intensive workflow model designer. Especially, it is support data centered operation about control logics and exchange variables on workflow runtime for workflow tracing.

Keywords

References

  1. Hollingsworth, David, and U. K. Hampshire. "Workflow management coalition the workflow reference model." Workflow Management Coalition 68, 26, 1993. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.198.5206&rep=rep1&type=pdf
  2. Barker, Adam, and Jano Van Hemert. "Scientific workflow: a survey and research directions." Parallel Processing and Applied Mathematics. Springer Berlin Heidelberg, 746-753, 2008. http://dx.doi.org/10.1007/978-3-540-68111-3_78
  3. Yildiz, Ustun, Adnene Guabtni, and Anne HH Ngu. "Business versus scientific workflows: A comparative study." Services-I, 2009 World Conference on. IEEE, 2009. http://dx.doi.org/10.1109/SERVICES-I.2009.60
  4. Qin, Jun, and Thomas Fahringer. "Scientific Workflows: Programming, Optimization, and Synthesis with ASKALON and AWDL." Springer Science & Business Media, 2012. http://dx.doi.org/10.1007/978-3-642-30715-7
  5. Ahn, Hyun, Minjae Park, and Kwanghoon Pio Kim. "scICN: Scientific information control nets." Advanced Communication Technology (ICACT), 2014 16th International Conference on. IEEE, 2014. http://dx.doi.org/10.1109/ICACT.2014.6779140
  6. Minjae Park, Hyukjun Na, Ahn, Hyun and Kwanghoon Pio Kim. "A Scientific Workflow Model Designer based on Scientific Information Control Nets." Advanced Communication Technology (ICACT), 2015 17th International Conference on. IEEE, 2015. http://dx.doi.org/10.1109/ICACT.2015.7224897
  7. Hyung-Jin Ahn and Kwang -Hoon Kim, "Design and Implementation of Very Large-Scale Workflow Management System", Journal of Internet Computing and Services, Vol.10, No.6, pp. 205-217, 2009. http://society.kisti.re.kr/sv/SV_svpsbs03V.do?method=view&art_no=1&id=0&iSet_id=22652&totalCount=3&menuid=1&subid=11
  8. Jablonski, Stefan, and Christoph Bussler. "Workflow management: modeling concepts, architecture and implementation," 1996. http://www.citeulike.org/group/6987/article/3401448
  9. Taylor, Ian J., et al. Workflows for e-Science: scientific workflows for grids. Springer Publishing Company, Incorporated, 2014. http://dl.acm.org/citation.cfm?id=1196459
  10. Sadiq, S., Orlowska, M., Sadiq, W., & Foulger, C.. Data flow and validation in workflow modelling. In Proceedings of the 15th Australasian database conference, Volume 27, pp. 207-214, January 2004. Australian Computer Society, Inc. http://dl.acm.org/citation.cfm?id=1012317
  11. Van der Aalst, Wil MP., "Verification of workflow nets," Application and Theory of Petri Nets 1997, Springer Berlin Heidelberg, 407-426, 1997. http://dx.doi.org/10.1007/3-540-63139-9_48
  12. Chen, Jinjun, and Yun Yang. "A taxonomy of grid workflow verification and validation." Concurrency and Computation: Practice and Experience 20.4, pp. 347-360, 2008. http://dx.doi.org/10.1002/cpe.1220
  13. Chen, Jinjun, and Yun Yang. "Key research issues in grid workflow verification and validation." Proceedings of the 2006 Australasian workshops on Grid computing and e-research-Volume 54. Australian Computer Society, Inc., 2006. http://dl.acm.org/citation.cfm?id=1151841
  14. Haq, I. U., Paschke, A., Schikuta, E., & Boley, H. (2009, May). Rule-based workflow validation of hierarchical service level agreements. In Grid and Pervasive Computing Conference, GPC'09. Workshops at the IEEE, pp. 96-103, 2009. http://dx.doi.org/10.1109/GPC.2009.25
  15. Wong, Sylvia C., et al. "Provenance-based validation of e-science experiments," The Semantic Web-ISWC 2005. Springer Berlin Heidelberg, 801-815, 2005. http://dx.doi.org/10.1007/11574620_57
  16. Jansen-Vullers, Monique, and Mariska Netjes. "Business process simulation-a tool survey," Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark. Vol. 38. 2006. http://dx.doi.org/10.1.1.87.8291
  17. Van Der Aalst, Wil MP. "Woflan: a Petri-net-based workflow analyzer," Systems Analysis Modelling Simulation 35.3, pp. 345-358, 1993. http://dl.acm.org/citation.cfm?id=316234
  18. Woo-Jin Jeong and Kwang-Hoon Kim, "A Colored Workflow Model for Business Process Analysis", Journal of Internet Computing and Services, Vol. 10, No. 3, pp. 113-129, 2009. http://www.dbpia.co.kr/Article/NODE01210913
  19. Hyun Ahn and Kwanghoon Kim, "An Activity-Performer Bipartite Matrix Generation Algorithm for Analyzing Workflow-supported Human-Resource Affiliations", Journal of Internet Computing and Services, Vol.14, No.2, pp.25-34, 2013. http://www.dbpia.co.kr/Article/NODE02162420
  20. Sungjoo Park and Kwanghoon Pio Kim, "A Closeness Centrality Analysis Algorithm for Workflow-supported Social Networks", Journal of Internet Computing and Services, Vol.14, No.5, pp.77-85, 2013. http://www.dbpia.co.kr/Article/NODE02277043 https://doi.org/10.7472/jksii.2013.14.5.77