RE'15 Tutorial:
Business Process Compliance Analysis: A Graphical Representation with Tool Support

Date and time: August 25th (9:00 - 17:30), Location: Ottawa, ON, Canada

This tutorial aims to provide thoughtful insights on business process compliance modeling and analysis, suggest tool support and tackle examples from Enterprise Architecture (EA) modeling. The tutorial will focus on the User Requirements Notation (URN) and its extensions.

The tutorial is organized into four parts and contains case studies in which the participants work for themselves.

There is a list of recommended reading on the bottom of this page, containing a list of papers that introduce you to the subject of the tutorial. It is not mandatory to read any of these papers before the tutorial as we aim to explain the notions in detail. However, it would be beneficial for you to go through them before attending the tutorial

If you have any questions, send us an e-mail at We look forward to seeing you at the tutorial!

-- Sepideh, Diana, and Marc

Before Attending

Please bring your laptop to class and download and install the juCMNav software in advance!


(9.00-10.30) URN (GRL+UCM) Basics and jUCMNav installation.
  • An introduction to requirements engineering methodologies and more specifically, User Requirements Notation (URN).
  • A demo on URN tool-support, jUCMNav and its installation process.
  • An overview of Goal-oriented Requirements Language (GRL) with an example demonstrated on jUCMNav.
  • An introduction to the second part of URN, which is called Use Case Maps (UCM). The examples of UCMs will be shown in jUCMNav as well.
  • Download handouts: Part 1 and part 2 (PDF).
(10.30-11.00) Break
(11.00-12.30) Group exercise 1 - company focus case study .
  • Explanation of the first part of the case study from the real world and group work on the case study in the groups of about 2-3. The attendees will have 30-45 minutes of working on the case study.
  • Discussion of the case study result, the obstacles to model, the benefits and drawbacks of the method together for about 15-30 minutes.
  • Download case study #1 description (PDF)
(12.30-14.00) Lunch
(14.00-15.30) Legal URN + group exercise 2.
(15.30-16.00) Break
(16.00-17.30) Discussion of the case study and introduction to argumentation and principles for GRL.
  • Discussion of the outcomes of case study exercise 2.
  • Presentation of how URN can be extended to model architecture principles. Architecture principles define the underlying general rules and guidelines for the use and deployment of all IT resources and assets across the enterprise.
  • Presentation of a formal argumentation framework to capture the discussions about the model and allows the model to be `anchored` in evidence (e.g., studies, documents, testimonies, or expert opinions).
  • Download handout 1 (PDF).
  • Download handout 2 (PDF).

Recommended Readings

We recommend you to read the following list of papers. The first paper is an overview of URN. The second paper is goal modeling in GRL and how to evaluate them, while the third and fourth papers discuss how to track compliance of GRL models to laws from the healthcare domain. The fifth paper is about using formal argumentation to rationalise goal models in GRL, and the sixth is about how to model architecture principles in GRL.
  • Michael Weiss, Daniel Amyot, Designing and Evolving Business Models with URN, Seventh IEEE International Conference on E-Commerce Technology, 2005 [Download paper]
  • Daniel Amyot, Sepideh Ghanavati, Jennifer Horkoff, Gunter Mussbacher, Liam Peyton, Eric Yu. Evaluating goal models within the goal-oriented requirement language, International Journal of Intelligent Systems, 2010 [Download paper]
  • Sepideh Ghanavati, Daniel Amyot, Liam Peyton. Towards a Framework for Tracking Legal Compliance in Healthcare, Proceedings of the 19th international conference on Advanced information systems engineering, 2007. [Download paper]
  • Sepideh Ghanavati, Andre Rifaut, Eric Dubois, Daniel Amyot. Goal-oriented compliance with multiple regulations, Requirements Engineering Conference (RE), 2014 IEEE 22nd International, 2014. [Download paper]
  • Marc van Zee, Floris Bex, Sepideh Ghanavati. Rationalization of Goal Models in GRL using Formal Argumentation, Requirements Engineering Conference, RE: Next! track (RE:Next!), 2015. [Download paper]
  • Diana Marison, Sepideh Ghanavati. Goal-oriented compliance with multiple regulations, Relaw workshop 2015. [Download paper]