Write a schema for the operation of ending a game, Basic Computer Science

Assignment Help:

QUESTION 1

We need to write Z specifications to record the information about passengers on board an aircraft. Here you are required to produce the specifications using appropriate schemas. Do not consider seat numbers, passengers are allowed on board on a first-come-first-serve basis. Take only a set as the basic type and the condition that at any time there cannot be more passengers than the maximum limit.
(a) Write the schema to represent the current system state.

(b) Write a valid initial state for the system that is at the time when the aircraft is still empty.

(c) Write an operation to allow a passenger to board the aircraft.

(d) Write an operation for the disembarkation of a passenger.

(e) Write a schema to count the number of passengers on board the aircraft.

(f) Write a schema to verify if a passenger called ‘Peter' is on board the aircraft.

QUESTION 2

The University Badminton Club

Here we need to refine the specification for the badminton club given below to describe the activities in the hall which contains one badminton court, where members of the club come to play.
Members in the hall are either playing a game on the court, or effectively in a queue, waiting to play. Here the queue will be modelled as an injective sequence called waiting and we represent those playing a game by onCourt.

The schema to describe the current system state is currently the following:-

[STUDENT] - basic type→maxPlayers: Ν ∩_______________ →maxPlayers = 20 ∪_ClubState__________________________________ →badminton: Π STUDENT →hall: Π STUDENT ∩_______________ →hall ζ badminton →# hall ? maxPlayers ∠_______________________________________

(a)Rewrite the current state schema to describe the activities inside the hall. You may call the new schema for the current system state ClubState2.

(b)Write a schema for the operation of beginning a new game.

(c)Write a schema for the operation of ending a game.

(d)Write a schema for the operation of removing a person from the hall.

(e)Write a schema to specify an operation for a person to enter the hall and join the back of the waiting queue.

QUESTION 3:

A system records the booking of hotel (Le Coco Beach) rooms on one night. Here you are given the following basic types:

• [ROOM] set of all rooms in the hotel
• [PERSON] set of all possible persons

(a) Write a schema to represent the current system state. You must indicate clearly the type of relation you have identified for this system.

(b) Write a valid schema to represent the initial system state.

(c) Write the schema to represent the successful booking of a room by a person called Anthony.

(d) Write the schema to represent the cancellation of a room by a person called Jimmy.

(e)Write the schema to know if a person has already booked the room 007.


Related Discussions:- Write a schema for the operation of ending a game

Explanation pre increment with example, Problem 1 What is precedence of...

Problem 1 What is precedence of operators? How are expressions evaluated using precedences? Defining precedence of operators Explanation of how expressions are evaluat

Output design, Discuss the factors considered during output design

Discuss the factors considered during output design

Problem occurs during pipelining , While pipelining can cruelly cut the tim...

While pipelining can cruelly cut the time taken to execute a program, there are troubles that cause it to not work as well as it possibly shall. The three stages of the instruction

Q1, Write a half-page summary explaining IP spoofing.

Write a half-page summary explaining IP spoofing.

Introduction to microprocessor, The microprocessor is at times referred to ...

The microprocessor is at times referred to as the ''brain'' of the personal computer, and is responsible for the processing of the instructions which creates computer software. It

Technology partnerships, Technology Partnerships: Such agreements prov...

Technology Partnerships: Such agreements provide the consumer un-limited access to vendor's technology. Such contracts are typically multi-year in nature where the consumer pa

Stack instructions, These instructions permit the use of the stack to store...

These instructions permit the use of the stack to store or recover data. POP POPF PUSH PUSHF POP INSTRUCTION Purpose: It improves a portion of information from the stack POPF INST

Types of policy, want to get detail understanding of the types of security ...

want to get detail understanding of the types of security policies including enterprise security policy, issues specific policies etc

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd