2006 cis581 project#1


CIS 581, Design and Verification of Information Systems

Prof. Dr hab. inz. Boleslaw Mikolajczak

12.5 points

Project #1

Modeling and Diagnosis of Workflows using Petri nets in

Renew and Woflan software environments

Get familiar with a software package Renew that is installed in Dion 311 in Windows environment. This package comes from Internet location http://www.renew.de

Located in Hamburg, Germany. Currently version 1.6 is the most recent. Documentation of this package (around 100 pages) is available at this site. Renew is Petri net and Java based package to model and simulate concurrent systems. Workflows are specific applications that can be modeled by Renew.

The second software package that you will need in this project is Woflan. This is a workflow diagnosis tool. This tool has no manual. However, I will be distributing in class a paper that describes Woflan's functionality. It is also installed as a separate software package in Dion 311. Both Renew and Woflan are free available software tools with implicit licenses. They can be installed on several platforms. Windows and Linux are two of them. Woflan comes from http://www.win.tue.nl/~woflan site in Eindhoven, Netherlands.

Renew and Woflan should be used in sequential order. First workflow should be modeled using Renew. Then Renew file of the workflow should be imported to Woflan for diagnosis purposes.

Here are your tasks for the project:

  1. get familiar with Renew software tool

  2. get familiar with Woflan software tool

  3. model all workflow problems from homework #1 using Renew, check syntax, and do simulations of your models

  4. import Renew workflow files to Woflan and perform diagnosis tests for your workflow models; if results of your diagnosis are not satisfactory then check reasons for diagnostic errors and correct them on renew system or explain reasons for such errors

  5. report in writing all diagnostic tests that Woflan performs

  6. make an appointment with instructor to demonstrate your project.



Wyszukiwarka

Podobne podstrony:
2006 cis581 project#2
2006 cis581 hw#1
2006 cis581 hw#4
2006 cis581 hw#3
2006 cis581 lecture notes
2006 cis581 final
pws pjwstk projects cis581 project#1
2006 cis581 midterm
2006 cis581 exam guidelines
2006 cis581 hw#2
pws pjwstk projects cis581 project#2
BYT 2006 Software Life cycles & roles in project team v1
BYT 2006 Software Life cycles & roles in project team v2
15 ATL 2006 Up scaling KNX for large projects
BYT 2006 Communication in Project Management
BYT 2006 Quality in IT project
Bead And Button Free Project July 2006
15 ATL 2006 Up scaling KNX for large projects
cis581 inheritance IOWF

więcej podobnych podstron