Pages

▼
Wednesday, 14 December 2011

Summary: The Ponder Policy Specification Language

›
N. Damianou, N. Dulay, E. Lupu, and M. Sloman. The ponder specification language. In Workshop on Policies for Distrib...
Tuesday, 13 December 2011

Summary: A POLICY DESCRIPTION LANGUAGE

›
J. Lobo, R. Bhatia, and S. A. Naqvi. A policy description language. In AAAI/IAAI, pages 291–298, 1999. This paper intro...

Summary: A Policy Language for a Pervasive Computing Environment

›
L. Kagal, T. W. Finin, and A. Joshi. A policy language for a pervasive computing environment. In POLICY, pages 63–. IEEE Computer Soci...
Wednesday, 30 November 2011

summary: A FORMAL ANALYSIS OF A BUSINESS CONTRACT LANGUAGE

›
G. Governatori and Z. Milosevic. A formal analysis of a business contract language. Int. J. Cooperative Inf. Syst., 15(4):659...
Tuesday, 29 November 2011

Summary: An Algorithm for Business Process Compliance

›
G. Governatori and A. Rotolo. An algorithm for business process compliance. In E. Francesconi, G. Sartor, and D. Tiscornia, e...
1 comment:

summary: Designing Compliant Business Processes with Obligations and Permissions

›
S. Goedertier and J. Vanthienen. Designing compliant business processes with obligations and permissions. In J. Eder and S. ...
Monday, 28 November 2011

Summary: A Methodological Framework for Aligning Business Processes and Regulatory Compliance

›
S. Sadiq and G. Governatori. A methodological framework for aligning business processes and regulatory compliance. In J. Broc...