1 / 22

ITEC810 Project Simulation for Verification of Business Collaboration Reliability

ITEC810 Project Simulation for Verification of Business Collaboration Reliability. Project Supervisor: Jian Yang Student: ZhengYang Wang, 31834345. Agenda. 1. Introduction 2. Related Work 3. Requirements Analysis 4. System Design 5. Implementation 6. Test Plan 7. Conclusions.

romeo
Download Presentation

ITEC810 Project Simulation for Verification of Business Collaboration Reliability

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


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

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

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

  4. 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 • 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 ITEC 810 2009 S2 Final Presentation

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

  6. 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] • 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] ITEC 810 2009 S2 Final Presentation

  7. 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] • JPetriNet [http://ostatic.com/jpetrinet] • 2.3 Summary • 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. ITEC 810 2009 S2 Final Presentation

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

  9. 3. Requirements Analysis • Software Requirements Specifications (SRS) • Functional Requirements • User Requirements • 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) • Non-Functional Requirements • Eg, system shall be reasonably responsive to user interactions, i.e., not exceed 4 seconds in any given action. ITEC 810 2009 S2 Final Presentation

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

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

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

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

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

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

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

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

  18. 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. • Visual Studio 2008 has built-in unit test wizard. ITEC 810 2009 S2 Final Presentation

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

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

  21. 7. Conclusions • Summary • 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. • Prototype for future related modeling simulation tools. • Future Work • 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 . • GUI enhancement. ITEC 810 2009 S2 Final Presentation

  22. SBCRV Demo • Click to Start SBCRV ITEC 810 2009 S2 Final Presentation

More Related