View
213
Download
0
Tags:
Embed Size (px)
Citation preview
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