1. ITEC810 Project Simulation for Verification of Business Collaboration Reliability Project Supervisor: Jian Yang Student: ZhengYang Wang, 31834345

2. 2ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation Agenda 1. Introduction 2. Related Work 3. Requirements Analysis 4. System Design 5. Implementation 6. Test Plan 7. Conclusions

3. 3ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation Introduction –Problem Business Collaboration? Reliability Issue? Destination, travelling period and personal preferences Broadcast quote request Return quote Airline A Return quote Airline B Choose Airline A Book a ticket Make payment Issue ticket Process payment

4. 4ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation Introduction – Project Aims To develop a system, Simulator of Business Collaboration Reliability Verification (SBCRV) Model and manage business collaboration and provide verification methods for the collaboration reliability Model and manage business collaboration and provide verification methods for the collaboration reliability Choreographical Business Transaction Net (CoBTX-Net), a well defined verification model for business collaboration reliability. Choreographical Business Transaction Net (CoBTX-Net), a well defined verification model for business collaboration reliability. SBCRV provides visualisation of the formal model and it can be used as a tool for system analyst/developer of distributed information systems in a collaborative environment SBCRV provides visualisation of the formal model and it can be used as a tool for system analyst/developer of distributed information systems in a collaborative environment

5. 5ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation Agenda

6. 6ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation 2. Related Work 2.1 Petri-Net based Business Process Models A CP-nets-based Design and Verification Framework for Web Services Composition [X. Yi and K.J. Kochut, 2004] A CP-nets-based Design and Verification Framework for Web Services Composition [X. Yi and K.J. Kochut, 2004] Verification of Workflow Nets [W.M.P. van der Aalst, 1997] Verification of Workflow Nets [W.M.P. van der Aalst, 1997] The Application of Petri Nets to Workflow Management [W.M.P. van der Aalst, 1997] The Application of Petri Nets to Workflow Management [W.M.P. van der Aalst, 1997]

7. 7ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation 2. Related Work (cont’d) 2.2 Existing Petri-Net based Simulators HiWorD [B. Benatallah, P. Chrzastowski-Wachtel, R. Hamadi, M. O’Dell,A. Susanto, 2003] HiWorD [B. Benatallah, P. Chrzastowski-Wachtel, R. Hamadi, M. O’Dell,A. Susanto, 2003] JPetriNet [ ] JPetriNet [http://ostatic.com/jpetrinet ]http://ostatic.com/jpetrinet 2.3 Summary Insufficient in verifying reliability of business collaboration from single organization’s point of view. Insufficient in verifying reliability of business collaboration from single organization’s point of view. CoBTx-Net is a relatively new model. There is not any existing tool for it. CoBTx-Net is a relatively new model. There is not any existing tool for it.

8. 8ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation Agenda

9. 9ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation 3. Requirements Analysis Software Requirements Specifications (SRS) Functional Requirements Functional Requirements User Requirements Eg, system shall allow user to draw place, transaction and connector. Eg, system shall allow user to draw place, transaction and connector. System Requirements Eg, system shall only allow connector to connect different entity type (place-transaction or transaction-place) Eg, system shall only allow connector to connect different entity type (place-transaction or transaction-place) Non-Functional Requirements Non-Functional Requirements Eg, system shall be reasonably responsive to user interactions, i.e., not exceed 4 seconds in any given action.

10. 10ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation 3. Requirements Analysis (cont’d) Stakeholder Academic researcher / student Academic researcher / student System analyst/developer of distributed systems System analyst/developer of distributed systems Use Cases

11. 11ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation Agenda

12. 12ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation 4. System Design Boundary-Control-Entity-DB Interface (BCED) Boundary: interface and user interaction Boundary: interface and user interaction Control: control of program flow Control: control of program flow Entity: semantics of entities in application domain Entity: semantics of entities in application domain E.g., classes for place, transaction and connector DB Interface: classes responsible for dealing with persistent storage. DB Interface: classes responsible for dealing with persistent storage.

13. 13ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation 4. System Design (cont’d) Class Diagram

14. 14ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation Agenda

15. 15ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation 5. Implementation Tools and Platform Windows XP Pro SP3 Windows XP Pro SP3 Microsoft Visual Studio 2008 Microsoft Visual Studio 2008.NET Framework 3.5.NET Framework 3.5 C# 3.0 C# 3.0 Windows Presentation Foundation (WPF) Windows Presentation Foundation (WPF) rich and sophisticate user interface rich and sophisticate user interface intelligent layout intelligent layout declarative user interface declarative user interface

16. 16ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation 5. Implementation (cont’d) Graphical User Interface (GUI) MainWindow.xaml

17. 17ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation Agenda

18. 18ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation 6. Test Plan Component Testing Discrete components are tested before assembled into to larger unit. It is achieved by creating unit test for each class. Discrete components are tested before assembled into to larger unit. It is achieved by creating unit test for each class. Visual Studio 2008 Visual Studio 2008 has built-in has built-in unit test wizard. unit test wizard.

19. 19ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation 6. Test Plan (cont’d) Integration and System Testing GUI Testing GUI Testing Tests that uses GUI to ensure it meets requirements specification Tested by creating test cases Usability Testing Usability Testing Tested by creating a scenario of realistic situation Performance Testing Performance Testing How fast system performs Compatibility Testing Compatibility Testing Windows XP (with.NET Framework 3.0 and above) Windows Vista Windows 7

20. 20ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation Agenda

21. 21ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation 7. Conclusions Summary Graphical simulation tool for CoBTx-Net. Graphical simulation tool for CoBTx-Net. Collaborative business processes can be modelled and managed from the view of a single participating organization, which follows the principle of ’no central control’ in peer based collaboration environment. Collaborative business processes can be modelled and managed from the view of a single participating organization, which follows the principle of ’no central control’ in peer based collaboration environment. Prototype for future related modeling simulation tools. Prototype for future related modeling simulation tools. Future 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. i.e., clicking on Help from the menu to open up the help file. Writing and embedding a help file (.chm) into the system. i.e., clicking on Help from the menu to open up the help file. GUI enhancement. GUI enhancement.

22. 22ZhengYang Wang 31834345ITEC 810 2009 S2 Final Presentation SBCRV Demo Click to Start SBCRV Click to Start SBCRV