Information Technology Reference
In-Depth Information
14. Lui, Y., Muller, S., Xu, K.: A Static Compliance-checking Framework for Business Process
Models. IBM Systems Journal 46(2), 335-362 (2007)
15. Milosevic, Z., Sadiq, S., Orlowska, M.: Translating Business Contract into Compliant Busi-
ness Processes. In: EDOC, pp. 211-220. IEEE Computer Society, Los Alamitos (2006)
16. Namiri, K., Stojanovic, N.: Pattern-Based Design and Validation of Business Process Com-
pliance. In: Chung, S. (ed.) OTM 2007, Part I. LNCS, vol. 4803, pp. 59-76. Springer, Hei-
delberg (2007)
17. Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes
Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp.
169-180. Springer, Heidelberg (2006)
18. Pesic, M., Bosnacki, D., van der Aalst, W.M.P.: Enacting declarative languages using ltl:
Avoiding errors and improving performance. In: SPIN 2010. LNCS, vol. 6349, pp. 146-161.
Springer (2010)
19. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: Full Support for Loosely-
Structured Processes. In: EDOC, pp. 287-300. IEEE Computer Society, Los Alamitos (2007)
20. Pnueli, A.: The temporal logic of programs. In: SFCS, pp. 46-57. IEEE Computer Society,
Washington, DC, USA (1977)
21. Schonenberg, H., Jian, J., Sidorova, N., van der Aalst, W.M.P.: Business trend analysis by
simulation. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 515-529. Springer, Hei-
delberg (2010)
22. Vanhatalo, J., V olzer, H., Leymann, F., Moser, S.: Automatic workflow graph refactoring
and completion. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS,
vol. 5364, pp. 100-115. Springer, Heidelberg (2008)
23. Wolper, P.: Temporal logic can be more expressive. Information and Control 56, 72-99
(1983)
24. Wolper, P.: The tableau method for temporal logic: an overview. Logique et Analyse 110-111,
119-136 (1985)
25. Yu, J., Han, Y., Han, J., Jin, Y., Falcarin, P., Morisio, M.: Synthesizing service composition
models on the basis of temporal business rules. J. Comput. Sci. Technol. 23(6), 885-894
(2008)
