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

Mis, #questionexplain strategic mis categories in detail with illustration....

#questionexplain strategic mis categories in detail with illustration..

Elements of programming language, ELEMENTS OF PROGRAMMING LANGUAGE:  L...

ELEMENTS OF PROGRAMMING LANGUAGE:  Learning a programming language requires understanding of concepts such as representation of different types of data in the computer, the va

Why learning of Assembly language is beneficial?, The first reason to work ...

The first reason to work with assembler is that it offers the opportunity of knowing more the operation of your PC, which permits the development of software in a more constant man

Application software, Application Software:   Application software is ...

Application Software:   Application software is designed and developed to accomplish one or more specific task or solve a particular problem.    Application software may be

Software basics, SOFTWARE BASICS: Software is a generic term covering ...

SOFTWARE BASICS: Software is a generic term covering the concepts, procedures and instructions which cause the computer systems to accomplish the required job, Generally, soft

Constant , Constant: In contrast to a variable, which is used as ident...

Constant: In contrast to a variable, which is used as identifier for a value and which can change, constants are identifiers that are used for values, which cannot be changed.

Decision table , No charges are reimbursed to the patient until the deducti...

No charges are reimbursed to the patient until the deductible has been met. Hospital visits are reimbursed at 80% and Lab visits are reimbursed at 70%. Doctor''s office visits are

Conditional statement, Conditional statement: An If statement is comp...

Conditional statement: An If statement is composed of three parts. The first part should be keyword w.r.t language to convey to the computer that it is if statement. And a Bo

Data transmission, DATA TRANSMISSION: When we talk on the telephone we...

DATA TRANSMISSION: When we talk on the telephone we generally transmit a message to someone else. The message is made up of words that we speak into the telephone instrument.

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