| 9:00 - 9:30 |
Opening Remarks and Welcome |
| 9:30 - 10:30 |
Session A: Business Processes
- Law, Logic and Business Processes [Slides]
Guido Governatori
- Compliance Management via Theory Change
Aditya Ghose
|
| 10:30 - 11:00 |
Break for Morning Tea |
| 11:00 - 12:30 |
Session B: Models and Methods
- Distinction-Based and Verification-Assisted Knowledge Modeling [Slides]
Philippe Michelin and Marc Frappier
- A Method to Acquire Compliance Monitors from Regulations [Slides]
Travis Breaux
|
| 12:30 - 1:30P |
Break for Lunch |
| 1:30 - 3:00P |
Session C: Regulatory Codes and Frameworks
- Contract-Based Requirements Engineering [Slides]
Brian Berenbach, Ren-Yi Lo and Bill Sherman
- Conceptualizing a Responsibility based Approach for Elaborating
and Verifying RBAC Policies Conforming with CobiT Framework
Requirements [Slides]
Christophe Feltus, Eric Dubois and Micha‘l Petit
|
| 3:00 - 3:30P |
Break for Afternoon Tea |
| 3:30 - 5:00 |
Session D: Working Session
- Attendees will propose topics for round-table discussion. After
registration, contact the Program Chairs with your topic proposal.
Additional topics may be proposed during the workshop as a result
of paper discussions.
|