Skip to main content
SpringerLink
Log in

Discrete-Event Semantics for Tools for Business Process Modeling in Web-Service Era

  • Conference paper
Artificial Intelligence and Simulation (AIS 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3397))

Abstract

A business process itself is artificial, and is a discrete-event system. This paper uses the business transaction system, which is a multicomponent DEVS proposed by Sato and Praehofer, as a device to design business proc-esses in which web-service like software components are part of the processes.

The static model of business transaction system, called activity interaction diagram (AID, for short), plays a fundamental role in developing a unified framework for universal modeling language (UML), architecture of integrated information systems (ARIS) and event-driven process chain (EPC), and data flow diagram (DFD). The framework provides us with both the meaning of those tools and possibility of automatic transformation of the models described by any of them. Furthermore, it is a guideline for a modeling method to have a validated business process.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baccelli, F.L., Cohen, G., Olsder, G.J., Quadrat, J.P.: Synchronization and Linearity – An algebra for discrete event systems. John Wiley, Chichester (1992)

    MATH  Google Scholar 

  2. Eriksson, H.-E., Penker, M.: Business Modeling with UML - Business Patterns at Work. John Wiley & Sons, Chichester (2000)

    Google Scholar 

  3. Hopp, W., Spearman, M.L.: Factory Physics, 2nd edn. McGraw-Hill, New York (2000)

    Google Scholar 

  4. Hotaka, R.: Database systems and data model, ohom-sya (1989) (in Japanese)

    Google Scholar 

  5. Ida, A.: Design and Implementation of “Customized Clothes” Business Process on Web Service Network, Graduation Thesis of University of Tsukuba (2003) (in Japanese)

    Google Scholar 

  6. Keller, Teufel: SAP R/3 process oriented implementation. Addison-Wesley, Reading (1998)

    Google Scholar 

  7. Nishizawa, H., et al.: Web Service: A Guide for Analysis and Design. Soft Bank Publishing (2002) (in Japanese)

    Google Scholar 

  8. Sato, R., Praehofer, H.: A discrete event model of business system - A Systems Theoretic for Information Systems Analysis: Part 1. IEEE Trans. Systems, Man, and Cybernetics 27(1), 1–10 (1997)

    Google Scholar 

  9. Sato, R.: Meaning of Dataflow Diagram and Entity Life History - A Systems Theoretic Foundation for Information Systems Analysis: Part 2. IEEE Transactions on Systems, Man, and Cybernetics 27(1), 11–22 (1997)

    Article  Google Scholar 

  10. Sato, R., Tsai, T.L.: An Agile Production Planning and Control System with Advance Notification to Change Schedule. Int. J. Production Research 42(2), 321–336 (2004)

    Article  Google Scholar 

  11. Sato, R.: Modeling and Simulation of Business-Logistics with Business Process Equation. In: Proceedings for 2000 AI, Simulation and Planning in High Autonomy Systems, The Society for Computer Simulation International, pp. 259–264 (2000)

    Google Scholar 

  12. Sato, R.: On control mechanism for business processes. Journal of Japan Society for Management Information 8(1), 17–28 (1999) (in Japanese)

    Google Scholar 

  13. Scheer, A.W.: Business Process Engineering, 2nd edn. Springer, Heidelberg (1994)

    Google Scholar 

  14. Scheer, A.W.: ARIS-Business Process Framework, 2nd edn. Springer, Heidelberg (1998)

    Google Scholar 

  15. Tsai, T.L., Sato, R.: A UML model of agile production planning and control system. Computers in Industry 53, 133–152 (2004)

    Article  Google Scholar 

  16. Yoshida, Y., et al.: Guide for Object-Oriented Development Using UML, Gijutsu Hyoronsha (1999) (in Japanese)

    Google Scholar 

  17. Zeigler, B.P.: Theory of modelling and simulation. John Wiley, Chichester (1976)

    MATH  Google Scholar 

  18. Zeigler, B.P.: Multifaceted modeling and discrete event simulation. Academic, London (1984)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Policy and Planning Sciences, University of Tsukuba, Tsukuba, Ibaraki, 305-8573, Japan

    Ryo Sato

Authors
  1. Ryo Sato
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of EECS, Korea Advanced Institute of Science and Technology (KAIST), 373-1 Guseong-dong, Yuseong-gu, Daejeon, Republic of Korea

    Tag Gon Kim

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sato, R. (2005). Discrete-Event Semantics for Tools for Business Process Modeling in Web-Service Era. In: Kim, T.G. (eds) Artificial Intelligence and Simulation. AIS 2004. Lecture Notes in Computer Science(), vol 3397. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30583-5_67

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30583-5_67

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-30583-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation