180 search results - page 9 / 36 » A conceptually rich model of business process compliance |
ICEBE
2006
IEEE
14 years 1 months ago
2006
IEEE
Business interoperation is important especially in electronic business. It requires the integration of business information, business documents and business processes. Nevertheles...
FMCO
2008
Springer
13 years 9 months ago
2008
Springer
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...
ICWS
2008
IEEE
13 years 9 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
CSFW
2007
IEEE
14 years 1 months ago
2007
IEEE
se an abstract model of business processes for the purpose of (i) evaluating privacy policy in light of the goals of the process and (ii) developing automated support for privacy ...
DEXA
2010
Springer
13 years 7 months ago
2010
Springer
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 ...