Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

Master thesis defense

No description
by

dashu wang

on 19 January 2014

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of Master thesis defense

Compliance Checking In
Supply Chain Management

Master Thesis Defense
Norm Nets
Colored Petri
Nets
Conflicts
Shuzheng Wang
Chair: Prof. Dr.Marijn Janssen
First supervisor: Dr. Huib Aldewereld
Second supervisor: Dr. Michel Oey
Third supervisor: Jie Jiang

Business process
Regulation
AND
OR
OE
Norm Net

Target
Precondition
Deadline
Deontic type (P, F, O)
Norm
And
Or
Before
Not
Formula

Role
Action
Role-Action Pair (Rap)

Norm Nets
Problem statement
Our approach
IBM Case
Contribution
Limitation
Outline
If a student got an average grade higher than 8 for all the courses, and a grade higher than 8.5 for the thesis, then he/she could apply for the honored graduate before deregistration from the university.
Example (a norm)

Rap: (student, apply for a honored graduate)
(student, get 8+ average grade for exams)
(student, get 8.5+ for thesis)
(student, deregister from the university)
Formula: (student, get 8+ average grade for exams) ^ (student, get 8.5+ for thesis)
Norm:
Target:( sutdent, apply for honored graduate)
Precondition: ( student, get 8+ average grade for exams) ^ (applicant, get 8.5+ for thesis)
Deadline: (student, deregister from the university)
Deontic type: permission
Execution policy
a) Connections are directed.
b) No connections between two places or two transitions.
c) Places may hold zero or more tokens.
d) A transition is enabled if each of its input places contains at least one token.
Elements
Transition


Place


Arc


Token
Case Study
CPN is our analysis tool !!
Norm Nets is the model of regulation!!
Regulation
Norm Net
Business process
Event Trace
6
1
7
1
CPN
1
Conflicts
Contribution
Limitation
Meta model of Norm Nets
Transformation Tool
Case study
Semiautomatic approach
Limitation in case study
Only one ninth of an iceberg floats above the water !!
Shuzheng Wang (4179595)
Auto-Check?
ICT Tools?
Representation??
Checking process??
Complexity of the problem
Different perspective
Complexity of the regulation
Interdependence among regulations
One violation was found
It was avoided in the declaration management system in the implementation process.
Full transcript