Author:
Afanasyev Alexander,Voit Nikolay,Timofeeva Oksana,Epifanov Vyacheslav
Publisher
Springer International Publishing
Reference30 articles.
1. Georgakopoulos, D., Hornick, M., Sheth, A.: An overview of workflow management: From process modeling to infrastructure for automation. J. Distrib. Parallel Database Syst. 3(2), 119–153 (1995). doi: 10.1007/BF01277643
2. Wang, Y., Fan, Y.: Using temporal logics for modeling and analysis of workflows. In: Proceedings of IEEE International Conference on E-Commerce Technology for Dynamic E-Business (2004). doi: 10.1109/CEC-EAST.2004.72
3. Bock, C.: Introduction to business process and definition metamodel. U.S. National Institute of Standard and Technology. Manufacturing Engineering (2008). https://www.nist.gov
4. Poizat, P., Salaün, G., Krishna, A.: Checking business process evolution. In: 13th International Conference on Formal Aspects of Component Software (FACS), (2016). https://hal.inria.fr/hal-01366641
5. Martens, A.: Analyzing web service based business processes. In: FASE 2005, pp. 19–33 (2005). doi: 10.1007/978-3-540-31984-9_3
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献