Axiomatic Specifications: In this section, we describe the requirements of Unive

Question

Axiomatic Specifications:

In this section, we describe the requirements of University Sports Management System. A computerized system maintains information about players and teams in several universities and games played between the universities. Each university has a set of players, considered to be the sportsmen of the university. The players for a team are selected from the set of players of the university. A university may have more than one team whose players are selected from the same pool, and so a player from a university may play for more than one team. The following rules must be obeyed by the universities and their teams:

• Each team is associated with exactly one university.

• Each player is associated with exactly one university.

• A university may have more than one team.

• The players for a team are chosen from the players of the same university.

• A player from a university may play for more than one team of the same university.

• No two teams from the same university play against each other.

What is the Invariant?

Explanation / Answer

Ans. Invariant:

A player of a team would always be the student of the corresponding university.
Two opponents will be from 2 different universities.

Related Questions

Navigate

• Browse (All)
• Browse A
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.