Auditing business process compliance

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4749 LNCS, Issue , 2007, Pages 169-180

  Ghose, Aditya ^a   Koliadis, George ^a  

^a UNIVERSITY OF WOLLONGONG   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; DATA STRUCTURES; DECISION THEORY; HEURISTIC METHODS; SEMANTICS;

ANNOTATED PROCESS MODELS; BUSINESS PROCESS MODELINGS; SEMANTIC DIMENSIONS;

INFORMATION MANAGEMENT;

EID: 38349004887     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74974-5_14     Document Type: Conference Paper

References (14)

1. Zhang, I.X.: Economic consequences of the sarbanes-oxley act of 2002. AEI-Brookings Joint Center 5 (2005)
2. Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Proc. 10th Int. Enterprise Dist. Object Computing Conf. (2006)
3. Weitl, F., Freitag, B.: Checking semantic integrity constraints on integrated web documents. In: Workshop Proc. of ER., pp. 198-209 (2004)
4. Janssen, W., Mateescu, R., Mauw, S., Springintveld, J.: Verifying business processes using spin. In: Holzman, G., Serhrouchni, E.N. (eds.) Proceedings of the 4th International SPIN Workshop, Paris, France, pp. 21-36 (1998)
5. Rosenberg, F., Dustdar, S.: Business rule integration in bpel - a service-oriented approach. In: Proc. of the 7th Int. IEEE Conf. on E-Commerce Technology, IEEE Computer Society Press, Los Alamitos (2005)
6. Ly, L.T., Rinderle, S., Dadam, P.: Semantic correctness in adaptive process management systems. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol. 4102, Springer, Heidelberg (2006)
7. Reijers, H.A.: Design and Control of Workflow Processes: Business Process Management for the Service Industry. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, Springer, Heidelberg (2003)
8. White, S.: Business process modeling notation (bpmn), Technical report, OMG Final Adopted Specification 1.0 (2006), http://www.bpmn.org
9. Becker, J., Indulska, M., Rosemann, M., Green, P.: Do process modelling techniques get better? In: Proc. 16th Australasian Conf. on I.S. (2005)
10. Wagner, G.: How to design a general rule markup language. In: Proc. of the Workshop XML Technologies for the Semantic Web (2002)
11. van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour. In: Proc. of the Int. Joint Conference on R.E., Toronto, pp. 249-263. IEEE Press, Los Alamitos (2001)
12. Ehrig, M., Koschmider, A., Oberweis, A.: Measuring similarity between semantic business process models. In: Proc. of the Fourth Asia-Pacific Conf. on Conceptual Modelling (2007)
13. Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2004)
14. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832-843 (1983)