Information Technology Reference
In-Depth Information
8. van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow
Language. In: Bravetti, M., Núñez, M., Tennenholtz, M. (eds.) WS-FM 2006. LNCS,
vol. 4184, pp. 1-23. Springer, Heidelberg (2006)
9. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: Full Support for Loosely-
Structured Processes. In: 11th IEEE International Enterprise Distributed Object Computing
Conference (EDOC 2007), Annapolis, Maryland, USA, pp. 287-300 (October 2007)
10. Pesic, M.: Constraint-Based Workflow Management Systems: Shifting Control to Users. Dis-
sertation. TU Eindhoven (2008)
11. Awad, A.:BPMN-Q: A Language to Query Business Processes. In: EMISA 2007. LNI, vol.
P-119, pp.115-128. GI (2007)
12. Awad, A., Decker, G., Weske, M.: Efficient Compliance Checking Using BPMN-Q and Tem-
poral Logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240,
pp. 326-341. Springer, Heidelberg (2008)
13. Laroussinie, F., Schnoebelen, P.: A Hierarchy of Temporal Logics with Past. Theoretical
Computer Science 148, 303-324 (1995)
14. Zuck, L.: Past Temporal Logic. PhD thesis. Weizmann Intitute, Rehovet, Israel (1986)
15. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models
in BPMN. Information and Software Technology 50, 1281-1294 (2008)
16. Wörzberger, R., Kurpick, T., Heer, T.: Checking Correctness and Compliance of Integrated
Process Models. In: Proceedings of the 10th International Symposium on Symbolic and Nu-
meric Algorithms for Scientific Computing (SYNASC 2008), pp. 576-583. IEEE Computer
Society, Los Alamitos (2008)
17. Object Management Group: Object Constraint Language (OCL) Specification - Version
2.0 (May 2006),
http://www.omg.org/cgi-bin/doc?formal/2006-05-01
(last visited
2.12.2010)
18. Ly, L.T., Rinderle-Ma, S., Dadam, P.: Design and Verification of Instantiable Compliance
Rule Graphs in Process-Aware Information Systems. In: Pernici, B. (ed.) CAiSE 2010.
LNCS, vol. 6051, pp. 9-23. Springer, Heidelberg (2010)
19. Hodges, W.: Classical Logic I: First Order Logic. In: Goble, L. (ed.) The Blackwell Guide to
Philosophical Logic. Blackwell, Malden (2001)
20. Ghose, A.K., Koliadis, G.: Auditing Business Process Compliance. In: Krämer, B.J., Lin, K.-
J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 169-180. Springer, Heidelberg
(2007)
21. Khaluf, L.: Business Process Quality Assurance. Master thesis. University of Paderborn,
Paderborn, Germany (May 2010)
