Sciweavers

31 search results - page 3 / 7
» On Enabling Data-Aware Compliance Checking of Business Proce...
Sort
View
BPM
2007
Springer
153views Business» more  BPM 2007»
13 years 11 months ago
Compliance Aware Business Process Design
Historically, business process design has been driven by business objectives, specifically process improvement. However this cannot come at the price of control objectives which s...
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori
OTM
2010
Springer
13 years 3 months ago
Generic Algorithms for Consistency Checking of Mutual-Exclusion and Binding Constraints in a Business Process Context
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
Mark Strembeck, Jan Mendling
DKE
2011
260views Education» more  DKE 2011»
12 years 8 months ago
Analysis on demand: Instantaneous soundness checking of industrial business process models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
Dirk Fahland, Cédric Favre, Jana Koehler, N...
WER
2007
Springer
13 years 11 months ago
A Requirements Management Framework for Privacy Compliance
Compliance with privacy legislation is a primary concern for health care institutions that are building information systems support for their business processes. This paper descri...
Sepideh Ghanavati, Daniel Amyot, Liam Peyton
DEXA
2010
Springer
186views Database» more  DEXA 2010»
13 years 5 months ago
An Open Platform for Business Process Modeling and Verification
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
Antonio De Nicola, Michele Missikoff, Maurizio Pro...