Skip to main content
Springer Nature Link
Log in

Using Simulation to Improve the Flexibility of Adaptive Workflow Models Based on Temporal Logic

  • Conference paper
Simulated Evolution and Learning (SEAL 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4247))

Included in the following conference series:

  • 1554 Accesses

Abstract

Many researchers focus on enhancing the flexibility of the workflow management system. This paper shows how simulation plays an important role in improving the flexibility of temporal logic based workflow specification (TLWS) model. Detecting the TLWS model’s demand for changing and deciding what changes to carry out are very difficult. Simulation analysis can help to do these. After a task is finished, its time, cost and quality will be computed. And each will be compared with dual threshold values. If the value is below the bottom threshold, an exception will be thrown. If it is above this threshold, but below the top threshold, a warning will be sent out. If the value is above the top threshold, the execution is excellent. Workflow specification documents also need to be translated into simulation specification documents by using XLST. The utility of using simulation in improving the flexibility of TLWS model is outstanding.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Herbst, J., Karagiannis, D.: Integrating Machine Learning and Workflow Management to Support Acquisition and Adaptation of Workflow Models. In: Proceedings of the Ninth IEEE Conference on Database and Expert Systems Applications (1998)

    Google Scholar 

  2. Huadong, M.: A Workflow Model Based on Temporal Logic. In: CSCWID 2004, Xiamen, China, May 2004, pp. 327–332 (2004)

    Google Scholar 

  3. Li, H., Shi, M.: Workflow models and their formal descriptions. Chinese Journal of Computers 26(11), 1456–1463 (2003)

    Google Scholar 

  4. Manna, Z., Pnueli, A.: Temporal Logic for Reactive and Concurrent System. Springer, Heidelberg (1992)

    Google Scholar 

  5. Tang, Z.S., Zhao, C.: A Temporal Logic Language Oriented Toward Software Engineering. Journal of Software 5(12), 1–12 (1994)

    Google Scholar 

  6. Duan, Y., Ma, H.: Modeling Flexible Workflow Based on Temporal Logic. In: The 9th Conference on Computer Supported Cooperative Work in Design Proceedings, Convertry, UK, pp. 508–513 (2005)

    Google Scholar 

  7. Miller, J.A., Cardoso, J., Silver, G.: Using Simulation to Facilitate Effective Workflow Adaptation. In: Proceedings of the 35th Annual Simulation Symposium(SS 2002) (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer, Sichuan University, Chengdu, 610065, China

    Jianchuan Xing, Zhishu Li & Liangyin Chen

  2. Development Center (Chengdu), Forlink Technologies, Chengdu, 610016, China

    Jianchuan Xing

Authors
  1. Jianchuan Xing
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhishu Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Liangyin Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Industrial Engineering and Management, Cheng Shiu University, Kaohsiung County Taiwan, ROC

    Tzai-Der Wang

  2. School of Computer Science and information Technology, RMIT University, VIC 3001, Melbourne, Australia

    Xiaodong Li

  3. AI-ECON Research Center, Department of Economics, National Chengchi University, 11623, Taipei, Taiwan

    Shu-Heng Chen

  4. Department of Computer Science and Technology, University of Sci. & Tech. of China, 230026, Hefei, Anhui, P.R. China

    Xufa Wang

  5. School of Information Technology and Electrical Engineering, University of New South Wales, Australian Defence Force Academy, Canberra, Australia

    Hussein Abbass

  6. The Univertity of Tokyo, Japan

    Hitoshi Iba

  7. Department of Computer, University of Science and Technology of China, 230027, Hefei, China

    Guo-Liang Chen

  8. University of Birmingham, Birmingham, UK

    Xin Yao

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Xing, J., Li, Z., Chen, L. (2006). Using Simulation to Improve the Flexibility of Adaptive Workflow Models Based on Temporal Logic. In: Wang, TD., et al. Simulated Evolution and Learning. SEAL 2006. Lecture Notes in Computer Science, vol 4247. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11903697_79

Download citation

  • DOI: https://doi.org/10.1007/11903697_79

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-47331-2

  • Online ISBN: 978-3-540-47332-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics