Sciweavers

31 search results - page 2 / 7
» On Enabling Data-Aware Compliance Checking of Business Proce...
Sort
View
MKWI
2008
151views Business» more  MKWI 2008»
13 years 6 months ago
Towards A Formal Framework for Business Process Compliance
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
Kioumars Namiri, Nenad Stojanovic
GI
2009
Springer
13 years 9 months ago
Constraint Checking for Business Process Management
: Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose a...
Wolfgang Runte, Marwane El Kharbili
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
13 years 6 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
WICSA
2007
13 years 6 months ago
A Comparison of Static Architecture Compliance Checking Approaches
The software architecture is one of the most important artifacts created in the lifecycle of a software system. It enables, facilitates, hampers, or interferes directly the achiev...
Jens Knodel, Daniel Popescu
BPM
2008
Springer
217views Business» more  BPM 2008»
13 years 6 months ago
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
Guido Governatori, Jörg Hoffmann, Shazia Wasi...