Formal consistency verification between BPEL process and privacy policy.

Yin Hua Li Hye-Young Paik Boualem Benatallah

Published in: PST (2006)

Keyphrases

formal methods
business processes
process model
web services
information systems
business process
service oriented
business process management
colored petri nets
database management systems
anomaly detection
fine grained
data quality
service composition
privacy policies