Scribd Logo
Upload

Welcome to Scribd!

  • Ch#5

    Uploaded by

    Ch Zaid Raza
    20 views15 pages
    The document describes an airport system class that keeps track of aircraft permissions. The class records when an aircraft is granted permission to land, when an aircraft lands, and when an aircraft takes off. It has operations to give permission, record landings and takeoffs, get current permissions and landed aircraft, and check the number waiting to land.

    Original Description:

    Formal Method

    Copyright

    © © All Rights Reserved

    Available Formats

    PPTX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document describes an airport system class that keeps track of aircraft permissions. The class records when an aircraft is granted permission to land, when an aircraft lands, and when an aircraft takes off. It has operations to give permission, record landings and takeoffs, get current permissions and landed aircraft, and check the number waiting to land.

    Copyright:

    © All Rights Reserved
    Download as PPTX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    20 views15 pages

    Ch#5

    Uploaded by

    Ch Zaid Raza
    The document describes an airport system class that keeps track of aircraft permissions. The class records when an aircraft is granted permission to land, when an aircraft lands, and when an aircraft takes off. It has operations to give permission, record landings and takeoffs, get current permissions and landed aircraft, and check the number waiting to land.

    Copyright:

    © All Rights Reserved
    Download as PPTX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 15

    Chapter 5

    Airport System
    The Airport Class
    • A system that keeps track of aircraft that are
    allowed to land at a particular airport. Aircraft
    must apply for permission to land at the
    airport prior to landing. When an aircraft
    arrives to land at the airport it should only
    have done so if it had previously been given
    permission. When an aircraft leaves the
    airport its permission to land is also removed.
    Operations on System
    • givePermission: records the fact that an aircraft has
    been granted permission to land at the airport.
    • recordLanding: records an aircraft as having landed at
    the airport.
    • recordTakeOff: records an aircraft as having taken off
    from the airport.
    • getPermission: returns the aircrafts currently recorded
    as having permission to land.
    • getLanded: returns the aircrafts currently recorded as
    having landed.
    • numberWaiting: returns the number of aircrafts
    granted permission to land but not yet landed.
    UML Model
    types
    state
    Invariant and Initialization
    Data specification
    Operations
    Operations
    Operations
    Operations
    Operations
    Operations
    Thanks

    You might also like