3. Z Schema (15 marks) We are asked to develop a Z specification for a company...
Fantastic news! We've Found the answer you've been seeking!
Question:
Transcribed Image Text:
3. Z Schema (15 marks) We are asked to develop a Z specification for a company that lets its apartments to known customers for fixed time-slots. For that purpose we have developed the following state space schema wherein [APARTMENT, TIMESLOT, PERSON] are Z types representing the set of apartments, timeslots, and persons respectively. TimeShare Co owned P APARTMENT customers P PERSON booked: APARTMENT + (TIMESLOT PERSON) dom booked owned Vap: APARTMENT | ap owned. ran(booked ap) C customers a) Devise a schema that initializes the system. [2 marks] b) Devise a schema for the operation to add a new customer. [4 marks] c) Devise a schema for the operation to acquire a new apartment. [4 marks] d) Devise a schema for the operation to make a booking of a given apartment to a given customer at a given time. [5 marks] 3. Z Schema (15 marks) We are asked to develop a Z specification for a company that lets its apartments to known customers for fixed time-slots. For that purpose we have developed the following state space schema wherein [APARTMENT, TIMESLOT, PERSON] are Z types representing the set of apartments, timeslots, and persons respectively. TimeShare Co owned P APARTMENT customers P PERSON booked: APARTMENT + (TIMESLOT PERSON) dom booked owned Vap: APARTMENT | ap owned. ran(booked ap) C customers a) Devise a schema that initializes the system. [2 marks] b) Devise a schema for the operation to add a new customer. [4 marks] c) Devise a schema for the operation to acquire a new apartment. [4 marks] d) Devise a schema for the operation to make a booking of a given apartment to a given customer at a given time. [5 marks]
Expert Answer:
Related Book For
Posted Date:
Students also viewed these programming questions
-
Every year, the National Survey of Student Engagement (NSSE) asks university students how many 20-page papers they had been assigned. Here are the percentages, for 1 year, of students who said they...
-
Suppose that the player from Example 7.9 is running up a hill having a 5.00 incline upward with a surface similar to that in the baseball stadium. The player slides with the same initial speed, and...
-
Which of the following is true regarding government-wide financial statements? a. The government-wide statements include a statement of net assets, a statement of activities, and a statement of cash...
-
The Shannon Township Debt Service Fund accumulates resources to pay its $2 million general obligation debt. The debt is payable in equal annual installments of principal over 10 years with 5%...
-
Wet grain at 70F has a moisture content of 10%. It is to be dried in a rotary dryer to a final moisture content of 1%. The dryer operates at atmospheric pressure and dries 10 tons/day of wet grain....
-
Melody Leigh, owner of Broadway Floral, operates a local chain of floral shops. Each shop has its own delivery van. Instead of charging a flat delivery fee, Leigh wants to set the delivery fee based...
-
What are the six primary system development process models?
-
At the time it defaulted on its interest payments and filed for bankruptcy, the McDaniel Mining Company had the following balance sheet (in thousands of dollars). The court, after trying...
-
Mitchco produces it product through two processing departments: Cutting & Assembly. Information for the Cutting Department follows: DM CC Production % - Comp % - Comp Units Beginning WIP 3 0 , 0 0 0...
-
Kagera Company has made a portfolio of these three securities: The correlation coefficient between Kasai and Limpopo is 0.6. If the returns are normally distributed, find the probability that the...
-
A car moving with over-speed limit constant speed 36.7 m/s passes a police car at rest. The police car immediately takes off in pursuit, accelerating with 7.5 m/s^2. How long does it take for police...
-
Two objects, A and B, start from rest. Object A starts with acceleration 4.0 m/s^2 and 3.2 seconds later after A, object B starts in the same direction with acceleration 8.6 m/s^2. What will be speed...
-
A soap film in air has a thickness of 175 nm. If the index of refraction of the soap film is 1.35, what colour of light will be transmitted through? (i.e., What colour does the bubble appear to be...
-
A river 100 m wide flows 3 m/s due south. A boat that travels 3 m/s relative to the water is pointed due east as it crosses from the west bank. Relative to its starting point, the boat travels (to...
-
The titanium shell of an SR-71 airplane would expand when flying at a speed exceeding 3 times the speed of sound. If the skin of the plane is 400 degrees C and the linear coefficient of expansion for...
-
During your studies at Monroe College you are taking classes to learn about your major course of study as preparation to enter your future career. As you progress in your major you probably read...
-
Solve the relation Exz:Solve therelation ne %3D
-
Indicate which of the following probabilities are objective and which are subjective. (Note that in some cases, the probabilities may not be entirely one or the other.) a. The probability of snow...
-
A group of developers is opening a health club near a new housing development. The health clubwhich will have exercise and workout equipment, basketball courts, swimming pools, an indoor...
-
For the Bigelow Manufacturing example in this chapter, re-create the simulation for the improved maintenance program shown in Table 14.11 and Exhibit 14.8 using Crystal Ball. For the improved program...
-
If item Y is the parent of Z and item X is the parent of Y, which item is the finished good?
-
If a shipment is needed in week 8 and the lead time on its arrival is always 3 weeks, when should the shipment be ordered?
-
Maynard Associates has 62 units of a certain product on hand currently. The demand forecast for the next two planning periods is 25 units each period. Maynard Associ- ates has no plans for production...
Study smarter with the SolutionInn App