Publisher
Springer International Publishing
Reference39 articles.
1. Awad A (2007) BPMN-Q: a language to query business processes. In: Enterprise modelling and information systems architectures, GI. Lecture notes in informatics, vol P-119. pp 115–128
2. Awad A, Decker G, Weske M (2008) Efficient compliance checking using BPMN-Q and temporal logic. In: Business process management. Lecture notes in computer science, vol 5240. Springer, Berlin, pp 326–341. https://doi.org/10.1007/978-3-540-85758-7_24
3. Awad A, Weidlich M, Weske M (2011) Visually specifying compliance rules and explaining their violations for business processes. J Vis Lang Comput 22(1):30–55. https://doi.org/10.1016/j.jvlc.2010.11.002
4. Baier C, Katoen J (2008) Principles of model checking. MIT Press, Cambridge
5. Beeri C, Eyal A, Kamenkovich S, Milo T (2006) Querying business processes. In: Very large data bases. ACM, pp 343–354
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Introduction to Process Querying;Process Querying Methods;2021-12-03