Skip to main content
SpringerLink
Log in

Transformation of UML Activity Diagram for Enhanced Reasoning

  • Conference paper
  • First Online:
Proceedings of the Future Technologies Conference (FTC) 2018 (FTC 2018)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 881))

Included in the following conference series:

Abstract

IT industry has adopted unified modeling language activity diagram (UML-AD) as a de facto standard. UML AD facilitates modelers to graphically represent and document business processes to show the flow of activities and behavior of a system. However, UML AD has many drawbacks such as lack of formal semantics i.e. ontology used for the constructs based on intuition that vaguely describes processes and no provision for verifiability. Petri Net (PN) has been around for decades and used to model the workflow systems but PNs and its variants are too complex for business process modelers with no prior experience. A logical foundation is desirable to construct a business process with a precision that facilitates in transforming UML AD into a formal mechanism supported by verifiability capabilities for enhanced reasoning. Therefore, in this paper, we will provide a framework that will provide formal definitions for UML AD core terms and constructs used for modeling, and subsequently transform them to formal representation called point graph (PG). This will provide an insight into UML AD and will improve the overall functionality required from a modeling tool. A case study is conducted at King’s College Hospital trust to improve their patient flows of an accident and emergency (A&E) department.

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 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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

References

  1. Object Management Group (OMG). Unified Modeling Language (UML), OMG (2015). http://www.omg.org/spec/UML/2.5/format/2015-03-01. Accessed 04 Apr 2018

  2. Nitto, E.D., Lavazza, L., Schiavoni, M., Tracanella, E., Trombetta, M.: Deriving executable process descriptions from UML. In: Proceedings of the 24th International Conference on Software Engineering, pp. 155–165. ACM (2002)

    Google Scholar 

  3. Van der Aalst, W.M.P.: Process mining: a research agenda. Comput. Industr. 53, 231–44 (2004a)

    Google Scholar 

  4. Van der Aalst, W.M.P.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128–1142 (2004b)

    Google Scholar 

  5. Dumas, M., Ter Hofstede, A.H.: UML activity diagrams as a workflow specification language. In: International Conference on the Unified Modeling Language. Springer, Berlin, Heidelberg (2001)

    Chapter  Google Scholar 

  6. Russell, N., van der Aalst, W.M., Ter Hofstede, A.H., Wohed, P.: On the suitability of UML 2.0 activity diagrams for business process modeling. In: Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modeling, vol. 53, pp. 95–104. Australian Computer Society, Inc. (2006)

    Google Scholar 

  7. Sarshar, K., Loos, P.: Modeling the resource perspective of business processes by UML activity diagram and object petri net. In: Enterprise Modeling and Computing with UML, pp. 203–229. IGI Global (2007)

    Google Scholar 

  8. Wohed, P., van der Aalst, W.M., Dumas, M., ter Hofstede, A.H., Russell, N.: Pattern-based analysis of UML activity diagrams. In: Beta, Research School for Operations Management and Logistics, Eindhoven (2005)

    Google Scholar 

  9. Zaidi, A.K., Levis, A.H.: TEMPER: a temporal programmer for time-sensitive control of discrete event systems. IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 31(6), 485–496 (2001)

    Article  Google Scholar 

  10. Vergidis, K., Tiwari, A., Majeed, B.: Business process analysis and optimization: beyond reengineering. IEEE Trans. Syst. Man Cybern. Part C (Appl. Rev.) 38(1), 69–82 (2008)

    Article  Google Scholar 

  11. Zakarian, A.: Analysis of process models: a fuzzy logic approach. Int. J. Adv. Manuf. Technol. 17(6), 444–452 (2001)

    Article  Google Scholar 

  12. Valiris, G., Glykas, M.: Critical review of existing BPR methodologies: the need for a holistic approach. Bus. Process Manag. J. 5(1), 65–86 (1999)

    Article  Google Scholar 

  13. Van der Aalst, W.M.P., Van Hee, K.M.: Business process redesign: a petri-net-based approach. Comput. Industr. 29(1), 15–26 (1996)

    Article  Google Scholar 

  14. Chishti, I.: A grounding of business process modeling based on temporal logic. In: International Conference on Information Society (i-Society), pp. 266–273. IEEE, USA (2014)

    Google Scholar 

  15. Phalp, K., Shepperd, M.: Quantitative analysis of static models of processes. J. Syst. Softw. 52(2–3), 105–112 (2000)

    Article  Google Scholar 

  16. Aguilar-Saven, R.S.: Business process modelling: review and framework. Int. J. Prod. Econ. 90(2), 129–149 (2004)

    Article  Google Scholar 

  17. Hofacker, I., Vetschera, R.: Algorithmical approaches to business process design. Comput. Oper. Res. 28(13), 1253–1275 (2001)

    Article  Google Scholar 

  18. Powell, S.G., Schwaninger, M., Trimble, C.: Measurement and control of business processes. Syst. Dyn. Rev. 17(1), 63–91 (2001)

    Article  Google Scholar 

  19. Valiris, G., Glykas, M.: Business analysis metrics for business process redesign. Bus. Process Manag. J. 10(4), 445–480 (2004)

    Article  Google Scholar 

  20. Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: The temporal perspective in business process modeling: a survey and research challenges. Serv. Oriented Comput. Appl. 9(1), 75–85 (2015)

    Article  Google Scholar 

  21. Baresi, L., Pezze, M.: On formalizing UML with high-level Petri nets. In: Concurrent Object-Oriented Programming and Petri Nets, pp. 276–304. Springer, Berlin, Heidelberg (2001)

    Chapter  Google Scholar 

  22. Kristensen, M.R., Jørgensen, J.B., Thomsen, P.G., Jørgensen, S.B.: Efficient sensitivity computation for nonlinear model predictive control. IFAC Proc. Vol. 37(13), 567–572 (2004)

    Article  Google Scholar 

  23. Petriu, D.C., Shen, H.: Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications. In: International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, pp. 159–177. Springer, Berlin, Heidelberg, April 2002

    Chapter  Google Scholar 

  24. Korherr, B.: Business Process Modelling-Languages, Goals, and Variabilities. Doctoral dissertation. Vienna University of Technology (2008)

    Google Scholar 

  25. Van der Aalst, W.M.P., Arthur, H.M.T.H., Mathias, W.: Business Process Management: A Survey, pp. 1–12. Springer, Heidelberg (2003)

    Book  Google Scholar 

  26. Bell, A.E.: Death by UML fever: self-diagnosis and early treatment are crucial in the fight against UML fever. ACM Queue 2(1), 72–80 (2004)

    Article  Google Scholar 

  27. Chishti, I.: Towards a general framework for business process modeling. Infonomics Soc. 5(3), 443–453 (2014)

    Google Scholar 

  28. Allen, J., Hayes, J.: Moments and points in an interval-based temporal based logic. Comput. Intell. 5(4), 225–238 (1989)

    Article  Google Scholar 

  29. Allen, J.: Towards a general theory of action and time. Artif. Intell. 23, 123–154 (1984)

    Article  Google Scholar 

  30. Ma, J., Knight, B., Nissan, E.: Temporal representation of state transitions. AI EDAM 13(2), 67–78 (1999)

    Google Scholar 

  31. Konar, A.: Artificial intelligence and soft computing: behavioral and cognitive modeling of the human brain. CRC Press, Boca Raton (1999)

    Book  Google Scholar 

  32. Chishti, I., Basukoski, A., Chaussalet, T.J.: Modeling and optimizing patient flows. In: 8th Annual International Conference on ICT: Big Data, Cloud & Security, GSTF, Singapore (2017)

    Google Scholar 

  33. Zaidi, A.K., Wagenhals, L.W.: Planning temporal events using point–interval logic. Math. Comput. Modell. 43(9), 1229–1253 (2006)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Westminster, London, UK

    Irfan Chishti, Artie Basukoski & Thierry Chaussalet

  2. King’s College Hospital, NHS Foundation Trust, London, UK

    Neeraj Beeknoo

Authors
  1. Irfan Chishti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Artie Basukoski
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Thierry Chaussalet
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Neeraj Beeknoo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Irfan Chishti .

Editor information

Editors and Affiliations

  1. Saga University, Saga, Japan

    Kohei Arai

  2. The Science and Information (SAI) Organization, Bradford, West Yorkshire, UK

    Rahul Bhatia

  3. The Science and Information (SAI) Organization, Bradford, West Yorkshire, UK

    Supriya Kapoor

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Chishti, I., Basukoski, A., Chaussalet, T., Beeknoo, N. (2019). Transformation of UML Activity Diagram for Enhanced Reasoning. In: Arai, K., Bhatia, R., Kapoor, S. (eds) Proceedings of the Future Technologies Conference (FTC) 2018. FTC 2018. Advances in Intelligent Systems and Computing, vol 881. Springer, Cham. https://doi.org/10.1007/978-3-030-02683-7_33

Download citation

Publish with us

Policies and ethics

Search

Navigation