ITEC810 ProjectITEC810 ProjectSimulation for Verification of Simulation for Verification of

Business Collaboration Business Collaboration ReliabilityReliability

Project Supervisor: Jian YangProject Supervisor: Jian YangStudent: ZhengYang Wang, 31834345Student: ZhengYang Wang, 31834345

22ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

AgendaAgenda

1. Introduction1. Introduction

2. Related Work2. Related Work

3. Requirements Analysis3. Requirements Analysis

4. System Design4. System Design

5. Implementation5. Implementation

6. Test Plan6. Test Plan

7. Conclusions 7. Conclusions

33ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

Introduction –ProblemIntroduction –Problem

Business Collaboration? Reliability Issue? Business Collaboration? Reliability Issue?

Destination, travelling period and personal

preferences

Broadcast quote request

Return quoteReturn quote

Airline A

Return quote

Airline B

Choose Airline A

Book a ticket

Make payment

Issue ticket

Process payment

44ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

Introduction – Project AimsIntroduction – Project Aims

To develop a system, Simulator of Business To develop a system, Simulator of Business Collaboration Reliability Verification (SBCRV)Collaboration Reliability Verification (SBCRV) Model and manage business collaboration and provide Model and manage business collaboration and provide

verification methods for the collaboration reliabilityverification methods for the collaboration reliability Choreographical Business Transaction Net (CoBTX-Net), a Choreographical Business Transaction Net (CoBTX-Net), a

well defined verification model for business collaboration well defined verification model for business collaboration reliability. reliability.

SBCRV provides visualisation of the formal model and it SBCRV provides visualisation of the formal model and it can be used as a tool for system analyst/developer of can be used as a tool for system analyst/developer of distributed information systems in a collaborative distributed information systems in a collaborative environmentenvironment

55ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

AgendaAgenda

1. Introduction1. Introduction

2. Related Work2. Related Work

3. Requirements Analysis3. Requirements Analysis

4. System Design4. System Design

5. Implementation5. Implementation

6. Test Plan6. Test Plan

7. Conclusions 7. Conclusions

66ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

2. Related Work2. Related Work

2.1 2.1 Petri-Net based Business Process Petri-Net based Business Process ModelsModels A CP-nets-based Design and Verification A CP-nets-based Design and Verification

Framework for Web Services Composition [X. Yi Framework for Web Services Composition [X. Yi and K.J. Kochut, 2004]and K.J. Kochut, 2004]

Verification of Workflow Nets [W.M.P. van der Verification of Workflow Nets [W.M.P. van der Aalst, 1997]Aalst, 1997]

The Application of Petri Nets to Workflow The Application of Petri Nets to Workflow ManagementManagement [W.M.P. van der Aalst, 1997] [W.M.P. van der Aalst, 1997]

77ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

2. Related Work (cont’d)2. Related Work (cont’d)

2.2 Existing Petri-Net based Simulators2.2 Existing Petri-Net based Simulators HiWorD [B. Benatallah, P. Chrzastowski-Wachtel, R. HiWorD [B. Benatallah, P. Chrzastowski-Wachtel, R.

Hamadi, M. O’Dell,A. Susanto, 2003] Hamadi, M. O’Dell,A. Susanto, 2003] JPetriNetJPetriNet [ [http://ostatic.com/jpetrinet] ]

2.3 Summary2.3 Summary Insufficient in verifying reliability of business Insufficient in verifying reliability of business

collaboration from single organization’s point of collaboration from single organization’s point of view. view.

CoBTx-Net is a relatively new model. There is not CoBTx-Net is a relatively new model. There is not any existing tool for it. any existing tool for it.

88ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

AgendaAgenda

1. Introduction1. Introduction

2. Related Work2. Related Work

3. Requirements Analysis3. Requirements Analysis

4. System Design4. System Design

5. Implementation5. Implementation

6. Test Plan6. Test Plan

7. Conclusions 7. Conclusions

99ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

3. Requirements Analysis3. Requirements Analysis

Software Requirements Specifications (SRS)Software Requirements Specifications (SRS) Functional RequirementsFunctional Requirements

User RequirementsUser Requirements Eg, system shall allow user to draw place, transaction and Eg, system shall allow user to draw place, transaction and

connector. connector.

System RequirementsSystem Requirements Eg, system shall only allow connector to connect different Eg, system shall only allow connector to connect different

entity type (place-transaction or transaction-place)entity type (place-transaction or transaction-place) Non-Functional RequirementsNon-Functional Requirements

Eg, system shall be reasonably responsive to user Eg, system shall be reasonably responsive to user interactions, i.e., not exceed 4 seconds in any given interactions, i.e., not exceed 4 seconds in any given action. action.

1010ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

3. Requirements Analysis (cont’d)3. Requirements Analysis (cont’d)StakeholderStakeholder Academic researcher / studentAcademic researcher / student System analyst/developer of distributed systemsSystem analyst/developer of distributed systems

Use CasesUse Cases

1111ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

AgendaAgenda

1. Introduction1. Introduction

2. Related Work2. Related Work

3. Requirements Analysis3. Requirements Analysis

4. System Design4. System Design

5. Implementation5. Implementation

6. Test Plan6. Test Plan

7. Conclusions 7. Conclusions

1212ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

4. System Design4. System DesignBoundary-Control-Entity-DB Interface (BCED)Boundary-Control-Entity-DB Interface (BCED) Boundary: interface and user interactionBoundary: interface and user interaction Control: control of program flowControl: control of program flow Entity: semantics of entities in application domainEntity: semantics of entities in application domain

E.g., classes for place, transaction and connectorE.g., classes for place, transaction and connector DB Interface: classes responsible for dealing with persistent DB Interface: classes responsible for dealing with persistent

storage.storage.

Boundary

Control

Entity

DBInterface

B_Boundary

C_Control D_DbInterface

E_Entity

1313ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

4. System Design (cont’d)4. System Design (cont’d)Class DiagramClass Diagram

1414ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

AgendaAgenda

1. Introduction1. Introduction

2. Related Work2. Related Work

3. Requirements Analysis3. Requirements Analysis

4. System Design4. System Design

5. Implementation5. Implementation

6. Test Plan6. Test Plan

7. Conclusions 7. Conclusions

1515ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

5. Implementation5. Implementation

Tools and PlatformTools and Platform Windows XP Pro SP3Windows XP Pro SP3 Microsoft Visual Studio 2008Microsoft Visual Studio 2008 .NET Framework 3.5.NET Framework 3.5 C# 3.0C# 3.0 Windows Presentation Foundation (WPF)Windows Presentation Foundation (WPF)

rich and sophisticate user interfacerich and sophisticate user interface

intelligent layoutintelligent layout

declarative user interfacedeclarative user interface

1616ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

5. Implementation (cont’d)5. Implementation (cont’d)

Graphical User Interface (GUI)Graphical User Interface (GUI)

MainWindow.xaml

1717ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

AgendaAgenda

1. Introduction1. Introduction

2. Related Work2. Related Work

3. Requirements Analysis3. Requirements Analysis

4. System Design4. System Design

5. Implementation5. Implementation

6. Test Plan6. Test Plan

7. Conclusions 7. Conclusions

1818ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

6. Test Plan6. Test Plan

Component Testing Component Testing Discrete components are tested before assembled Discrete components are tested before assembled

into to larger unit. It is achieved by creating unit into to larger unit. It is achieved by creating unit test for each class. test for each class.

Visual Studio 2008 Visual Studio 2008

has built-in has built-in

unit test wizard.unit test wizard.

1919ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

6. Test Plan (cont’d)6. Test Plan (cont’d)

Integration and System Testing Integration and System Testing GUI TestingGUI Testing

Tests that uses GUI to ensure it meets requirements specificationTests that uses GUI to ensure it meets requirements specification

Tested by creating test casesTested by creating test cases Usability TestingUsability Testing

Tested by creating a scenario of realistic situationTested by creating a scenario of realistic situation Performance TestingPerformance Testing

How fast system performsHow fast system performs Compatibility TestingCompatibility Testing

Windows XP (with .NET Framework 3.0 and above)Windows XP (with .NET Framework 3.0 and above)

Windows VistaWindows Vista

Windows 7Windows 7

2020ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

AgendaAgenda

1. Introduction1. Introduction

2. Related Work2. Related Work

3. Requirements Analysis3. Requirements Analysis

4. System Design4. System Design

5. Implementation5. Implementation

6. Test Plan6. Test Plan

7. Conclusions 7. Conclusions

2121ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

7. Conclusions7. Conclusions

SummarySummary Graphical simulation tool for Graphical simulation tool for CoBTx-NetCoBTx-Net. . Collaborative business processes can be modelled and Collaborative business processes can be modelled and

managed from the view of a single participating managed from the view of a single participating organization, which follows the principle of ’no central organization, which follows the principle of ’no central control’ in peer based collaboration environment. control’ in peer based collaboration environment.

Prototype for future related modeling simulation tools. Prototype for future related modeling simulation tools.

Future WorkFuture Work Adding more validation rules to the simulation process. Adding more validation rules to the simulation process. Writing and embedding a help file (.chm) into the system. Writing and embedding a help file (.chm) into the system.

i.e., clicking on Help from the menu to open up the help file .i.e., clicking on Help from the menu to open up the help file . GUI enhancement. GUI enhancement.

2222ZhengYang Wang 31834345ZhengYang Wang 31834345 ITEC 810 2009 S2 Final PresentationITEC 810 2009 S2 Final Presentation

SBCRV DemoSBCRV Demo

Click to Start SBCRV Click to Start SBCRV