Aus-Air Air Online Booking System Presentation

Size: px

Start display at page:

Download "Aus-Air Air Online Booking System Presentation"

Julia Wheeler
8 years ago
Views:

1 Introduction Aus-Air Air Online Booking System Presentation Team Hy-Fly: Benny Chen - Edward Li - Kim Pham - Balint Seeber Team Members Balint Team Leader Overview: Structured Approach + OOP Special Objectives Our Claims Realised the objectives to develop on-line system FPB Fast Prototyping with B Requirement Elicitation Development of Proposal Review existing systems Initial requirements Employing ISO-926 model to review the proposal Final Requirements Preliminary Design Drawing Out Basic Entities and Relationships Entity Relationship Diagram Data Flow Diagram Production of B - Specification

Requirement Elicitation Development of Proposal Review existing systems Initial requirements Employing ISO-926 model to review the proposal Final

2 Object Oriented Design Use of UML Class diagram Use case diagram Example: Booking Activity diagram and sequence diagram Design Patterns Example: Module-View View-Control Used for overall system design Requirement Tracing Demonstrating Example Waiting List Requirement Use case diagram Specification Class diagram Prototype Class diagram (to be deleted) Ticket ID Seat Pref erence Meal Pref erence Special Pref erence Price Seat Class Passenger Name Ticket searchtickets(searchdetails) modif y SeatPref erence(newseatpref erence) modif y MealPref erence(newmealpref erence) modif y SpecialPref erence(newspecialpref erence) modifyprice(newprice) v iewallpref erences() v iewmanif est() 0..n 0..n Flight ID Flight Number Flight Model Arriv al Port Departure Port Arriv al Time Arriv al Date Departure TIme Departure Date Class List Flight searchflights(searchdetails) modif y FlightNumber(NewFlightNumber) modif y Arriv alport(newarriv alport) modif y DeparturePort(NewDepaturePort) modif y Arriv altime(newarriv altime) modif y Arriv aldate(newarriv aldate) modif y DepartureTIme(NewDepatureTime) modif y DepartureDate(NewDepartureDate) modifyclasslist(newclasslist) closebookingchanges() Prototype Demonstration Full Demonstration of a Registration Booking Cancellation Process System Architecture queues in 0.. Waiting List Waiting List ID List of Tickets 0.. addtolist(ticketid, FlighID, SeatClassID) remov efromlist(loginid) v iewpositioninlist(loginid)..n Seat Class SeatClassID Ty pe of Class Seat Rows Options Price Number of Seats Number of Booking Seats modifytypeofclass(newtypeofclass) modif y SeatRows(NewSeatRows) modif y Price(NewPrice) modif y Options(NewOptions) modif y NumberOf Seats(NewNumberOf Seats) modif y NumberOf BookedSeats(NewNumberOf BookedSeats) 2

erence Special Pref erence Price Seat Class Passenger Name Ticket searchtickets(searchdetails) modif y SeatPref erence(newseatpref erence) modif y MealPref erence(newmealpref erence) modif y

3 From Design to Implementation Fast Prototyping with B Fast Prototyping with B (FPB) Why Fast Prototyping What is it? Advantages and disadvantages Result of the new methodology Wrapping B in C++ Maintaining object oriented Advantages of wrapper Demo of Flight Management Across the Network Traditional.Specification 4.Wrapping with C++ 5.GUI Fast Prototyping with B (cont) New methodology.specification 4.Wrapping 5.Wrapping with C++ 5.GUI 6.GUI void CUser::addCustomerAPI (){ nt rep, base; make_userbase(&rep,, &base, blah, blah, blah); mod_userid(userbaseid, userid); mod_userlogin(&rep, userbaseid, tobstring(userlogin) ) ); mod_userpassword(&rep, userbaseid, tobstring(userpassword) ) ); mod_userfirstname(&rep, userbaseid, tobstring(userfirstname) ) ); mod_userlastname(&rep, userbaseid, tobstring(userlastname) ) ); mod_useraddress(&rep, userbaseid, tobstring(useraddress) ) ); mod_userphoneno(userbaseid, userphonenumber); mod_user (&rep, userbaseid, tobstring(user ) ) ); mod_userstatus(userbaseid, userloginstatus); } Wrapper Fast Prototyping with B (FPB) resp <-- addcustomerapi(login_name, password, first_name, last_name, address, phone, mobile, ) = VAR bb, db, nm IN nm <-- nbr_customerrecord; IF nm >= maxcustomer THEN resp := customer_database_full ELSE bb, db <-- key_search_customerid(login_name); IF bb = TRUE THEN resp := exist_customer ELSE resp := OK; bb, db <-- make_userbase(false) ; bb <-- mod_userlogin(db, login_name) ; bb <-- mod_userpassword(db, password) ; bb <-- mod_userfirstname(db, first_name) ; bb <-- mod_userlastname(db, last_name) ; bb <-- mod_useraddress(db, address) ; bb <-- mod_userphone(db, phone) ; bb <-- mod_usermobile(db, mobile) ; bb <-- mod_user (db, ) ; print_baseobj_customerrecord(db) END END END; 3

$GUI void CUser::addCustomerAPI (){ nt rep, base; make_userbase(&rep,, &base, blah, blah, blah); mod_userid(userbaseid, userid); mod_userlogin(&rep, userbaseid, tobstring(userlogin) ) );$

4 New methodology (Stage 2).Specification Future Work Project Management Time and Schedule Management Gantt Chart Work Breakdown Structure Project Coordinator to arrange tasks 5.Wrapping with C++ 6.GUI Quality Assurance Regular group meeting Repository for all products Peer Review Project Management Risk Management Story of Balint s s bus accident Documentation Requirement tracing Version control Release note for each version What We Have Achieved A working prototype that realised the requirements and design Portfolio of documents detailing the development Reconciling B with OO (different paradigms) Efficiently working in a group 4

5 What We Have Learnt Skills essential to Software Engineering Better understanding of Software Engineering Not just coding Requirement is the main focus Experience in developing a large real-world system Time management Team work Features and methodologies we have abandoned Example: the locking-and and-queuing feature What could be done if given more time Use of more design patterns To-do list for the prototype Fin. Thank you very much for your time and patience! Questions? If you are interested in test-driving the system or distributing the system commercially please contact the project team on balint [at] spench [dot] net. 5

could be done if given more time Use of more design patterns To-do list for the prototype Fin. Thank you very much for your time and patience! Questions?

V2Soft Viki Software

V2Soft Viki Software Project Name: RAS-2005 (Restaurant Automation System) Project Id: 1 Document Name: RAS-2005 INITIAL DESIGN REPORT Document Id: 1-ID01 Document release: 1-ID01-1 Document Description: