Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Temporal Logic Based Workflow Service Modeling and Its Application

  • Conference paper
Computer Supported Cooperative Work in Design I (CSCWD 2004)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3168))

  • 1047 Accesses

Abstract

This paper proposes an approach to modeling workflow services based on temporal logic. This model supports the formal specifications of various entities and workflow services for a workflow system. The model can specify the workflow process and its evolution, which are difficult to be supported by the previous models. This model is used to design a workflow specification language. Based on this language, we have developed a workflow service editing tool, which is the kernel of an interactive workflow design environment.

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. WfMC. Workflow Management Coalition, http://www.wfmc.org

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

    Google Scholar 

  3. Tang, Z.S., Zhao, C.: A temporal logic language oriented toward software engineering. Journal of Software 5(12), 1–12 (1994)

    Google Scholar 

  4. Tang, Z.S.: Temporal Logic Programming and Software Engineering (I, II). Science Press, Beijing (1999)

    Google Scholar 

  5. Ma, H., Tang, X.: Design and implementation of multimedia authoring language MAL. Journal of Software 9(12), 889–893 (1998)

    Google Scholar 

  6. Ma, H., Liu, S.: Multimedia data modeling based on temporal logic and XYZ system. Journal of Computer Science and Technology 14(2), 188–193 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  7. Ma, H., Zhao, C.: Temporal logic based hypermedia specification. Journal of Computer Aided Design and Graphics 11(6) (1999)

    Google Scholar 

  8. Sadiq, W., Orlowska, M.: Analyzing process models using graph reduction techniques. Information Systems 25(2), 117–134 (2000)

    Article  Google Scholar 

  9. Ellis, C., Nutt, G.J.: Modeling and enactment of workflow system. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 1–16. Springer, Heidelberg (1993)

    Google Scholar 

  10. van der Aalst, W.: The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)

    Article  Google Scholar 

  11. Salimifard, K., Wright, M.: Petri net-based modeling of workflow systems: An overview. European Journal of Operational Research 134(3), 664–676 (2001)

    Article  MATH  Google Scholar 

  12. Endl, R., Knolmayer, G., Pfahrer, M.: Modeling processes and workflows by business rules. In: Proc of the 1st European Workshop on Workflow and Process Management, Zurich, Switzerland, pp. 47–56 (1998)

    Google Scholar 

  13. Davulcu, H., Kifer, M., Ramakrishran, C., Ramakrishran, I.: Logic based modeling and analysis of workflows. In: Proc. ACM Symposium in PODS 1998, Seattle, USA, pp. 25–33 (1998)

    Google Scholar 

  14. Haake, J., Wang, W.: Flexible support for business process: Extending cooperative hypermedia with process support. In: Proc. ACM SIGGroup 1997, Arizona, USA, pp. 341–350 (1997)

    Google Scholar 

  15. Medina-Mora, R., Winograd, T., et al.: The action workflow approach to workflow management technology. In: Proc. ACM CSCW 1992, Toronto, pp. 281–288 (1992)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science & Technology, Beijing University of Posts and Telecommunications, Beijing, 100876, China

    Huadong Ma

Authors
  1. Huadong Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Integrated Manufacturing Technologies Institute, National Research Council of Canada, 800 Collip Circle, N6G 4X8, London, ON, Canada

    Weiming Shen

  2. Institute of Computing Technology, Chinese Academy of Sciences, 100080, Beijing, China

    Zongkai Lin

  3. CNRS, Heudiasyc, Centre de Recherches de Royallieu, University of Compiègne, 60205, Compiègne, France

    Jean-Paul A. Barthès

  4. College of Information Science and Technology, Xiamen University, 361005, Xiamen, China

    Tangqiu Li

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ma, H. (2005). Temporal Logic Based Workflow Service Modeling and Its Application. In: Shen, W., Lin, Z., Barthès, JP.A., Li, T. (eds) Computer Supported Cooperative Work in Design I. CSCWD 2004. Lecture Notes in Computer Science, vol 3168. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11568421_35

Download citation

  • DOI: https://doi.org/10.1007/11568421_35

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29400-9

  • Online ISBN: 978-3-540-31740-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation