Advertisement

Categorical Modeling Method of Intelligent WorkFlow

  • Daniel-Cristian CrăciuneanEmail author
  • Dimitris Karagiannis
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11308)

Abstract

A category as well as a model is a mixture of graphical information and algebraic operations. Therefore, category language seems to be the most general to describe the models. It can provide us with the features that must characterize both the DSL language and the Modeling Method concept.

The theory of categories works with patterns or forms in which each of these forms describe different aspects of the real world. Category theory offers both, a language, and a lot of conceptual tools to efficiently handle models.

An important aspect of modeling is building complex functions from a given set of simple functions, using different operations on functions such as composition and repeat composition. Category theory is exactly the right algebra for such constructions.

The category theory creates the premises for the development of intelligent workflow modeling tools equipped with advanced analysis tools and automated learning mechanisms adapted to analyze and improve processes. The model allows on-line process information extraction, automatic learning from these data and self-improvement.

Keywords

Modeling method Metamodel Intelligent WorkFlow Category theory Categorical modeling method 

References

  1. 1.
    Karagiannis, D., Kühn, H.: Metamodelling platforms. In: Bauknecht, K., Tjoa, A.M., Quirchmayr, G. (eds.) EC-Web 2002. LNCS, vol. 2455, p. 182. Springer, Heidelberg (2002).  https://doi.org/10.1007/3-540-45705-4_19CrossRefGoogle Scholar
  2. 2.
    Karagiannis, D., Visic, N.: Next generation of modelling platforms. In: Grabis, J., Kirikova, M. (eds.) BIR 2011. LNBIP, vol. 90, pp. 19–28. Springer, Heidelberg (2011).  https://doi.org/10.1007/978-3-642-24511-4_2CrossRefGoogle Scholar
  3. 3.
    Karagiannis, D., Mayr, H.C., Mylopoulos, J.: Domain-Specific Conceptual Modeling Concepts, Methods and Tools. Springer, Switzerland (2016).  https://doi.org/10.1007/978-3-319-39417-6Google Scholar
  4. 4.
    Karagiannis, D., Junginger, S., Strobl, R.: Introduction to business process management systems concepts. In: Scholz-Reiter, B., Stickel, E. (eds.) Business Process Modelling. Springer, Heidelberg (1996).  https://doi.org/10.1007/978-3-642-80317-8_5CrossRefGoogle Scholar
  5. 5.
    Manes, E.G., Arbib, M.A.: Algebraic Approaches to Program Semantics. Springer, New York (1986).  https://doi.org/10.1007/978-1-4612-4962-7CrossRefGoogle Scholar
  6. 6.
    Fowler, M., Parsons, R.: Domain Specific Languages, 1st edn. Addison-Wesley Longman, Amsterdam (2010)Google Scholar
  7. 7.
    Barr, M., Wells, C.: Category Theory For Computing Science- Reprints in Theory and Applications of Categories, No. 22 (2012)Google Scholar
  8. 8.
    Barr, M., Wells, C.: Toposes, Triples and Theories, November 2002Google Scholar
  9. 9.
    Walters, R.F.C.: Categories and Computer Science, Cambridge Texts in Computer Science. In: Cooke, D.J. (ed.) Loughborough University (2006)Google Scholar
  10. 10.
    Weske, M.: Business Process Management - Concepts, Languages, Architectures, 2nd Edn., pp. I–XV, 1–403. Springer, Heidelberg (2012).  https://doi.org/10.1007/978-3-642-28616-2, ISBN 978-3-642-28615-5. (2012)CrossRefGoogle Scholar
  11. 11.
    Glynn, W.: Topics in Concurrency Lecture Notes, April 2009Google Scholar
  12. 12.
    van der Aalst, W.M.P.: Process Mining Discovery, Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011).  https://doi.org/10.1007/978-3-642-19345-3CrossRefGoogle Scholar
  13. 13.
    van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT press, Cambridge (2004)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Daniel-Cristian Crăciunean
    • 1
    Email author
  • Dimitris Karagiannis
    • 2
  1. 1.Computer Science and Electrical Engineering DepartmentLucian Blaga University of SibiuSibiuRomania
  2. 2.Faculty of Computer ScienceUniversity of ViennaViennaAustria

Personalised recommendations