Enterprise regulatory compliance modeling using corel an illustrative example

Proceedings - 13th IEEE International Conference on Commerce and Enterprise Computing, CEC 2011

Volumn , Issue , 2011, Pages 185-190

  El Kharbili, Marwane ^a   Ma, Qin ^a   Kelsen, Pierre ^a   Pulvermueller, Elke ^b  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

^b UNIVERSITY OF OSNABRÜCK   (Germany)

Author keywords

Business process; Domain specific language; Modeling; Policies; Regulatory compliance

Indexed keywords

BUSINESS ASPECTS; BUSINESS PROCESS; BUSINESS PROCESS MANAGEMENT; BUSINESS-USERS; DOMAIN SPECIFIC LANGUAGES; ILLUSTRATIVE EXAMPLES; LOGICAL FORMALISM; POLICIES; STATIC AND DYNAMIC;

COMMERCE; DECISION MAKING; ENTERPRISE RESOURCE MANAGEMENT; INDUSTRY;

REGULATORY COMPLIANCE;

EID: 80455127268     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CEC.2011.39     Document Type: Conference Paper

References (8)

1. Wihem Arsac, Luca Compagna, Giancarlo Pellegrino, and Serena Ponta. Security validation of business processes via model-checking. Engineering Secure Software and Systems, LNCS 6542, pp. 29-42, 2011.
2. M. El Kharbili, Qin Ma, Pierre Kelsen, and Elke Pulvermueller. Corel: Policy-based and model-driven regulatory compliance management. In Proceedings of the 15th IEEE International EDOC Conference. To Appear., 2011.
3. A. Elgammal, O. Turetken, W. van den Heuvel, and M. Papazoglou. Root-cause analysis of design-time compliance violations on the basis of property patterns. In Proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC10), pp. 17-31, 2010.
4. G. Governatori and Milosevic. Z. Dealing with contract violations: formalism and domain specific language. In Proceedings of the 9th IEEE International EDOC Conference., pp. 46-57, 2005. (Pubitemid 44500097)
5. Akhil Kumar and Rong Liu. A rule-based framework using role patterns for business process compliance. In Proceedings of the International RuleML Symposium on Rule Interchange and Applications, pp. 58-72, 2008.
6. G. Keller, M. Nuettgens, and A. W. Scheer. Semantische prozessmodellierung auf der grundlage ereignisgesteuerter prozessketten (epk). Technical Report Heft 89, Universitaet des Saarlandes, Saarbruecken, Germany, 1992.
7. OMG. Business process modeling notation (bpmn) specification. Technical report, Object Management Group (OMG), February 2011. http://www.omg.org/spec/ BPMN/2.0/PDF.
8. Andreas Schaad and Jonathan D. Moffett. A framework for organisational control principles. In Proceedings of the 18th Annual Computer Security Applications Conference, pp. 229-238, 2002.