Categorical Modeling Method of Intelligent WorkFlow
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.
KeywordsModeling method Metamodel Intelligent WorkFlow Category theory Categorical modeling method
- 6.Fowler, M., Parsons, R.: Domain Specific Languages, 1st edn. Addison-Wesley Longman, Amsterdam (2010)Google Scholar
- 7.Barr, M., Wells, C.: Category Theory For Computing Science- Reprints in Theory and Applications of Categories, No. 22 (2012)Google Scholar
- 8.Barr, M., Wells, C.: Toposes, Triples and Theories, November 2002Google Scholar
- 9.Walters, R.F.C.: Categories and Computer Science, Cambridge Texts in Computer Science. In: Cooke, D.J. (ed.) Loughborough University (2006)Google Scholar
- 11.Glynn, W.: Topics in Concurrency Lecture Notes, April 2009Google Scholar
- 13.van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT press, Cambridge (2004)Google Scholar