1. SCG Domain Specification Karl

2. Overview What needs to be provided – What GameProvider needs to provide to define a competition. – What each Scholar needs to provide to participate in competitions. – What Administrator needs to provide to run a competition. Each role adds to the functionality of the basic objects.

3. Objects used by all Game Scholar Problem Solution Niche Hypothesis RefutationProtocol StrengtheningProtocol RefutationOutcome = Refutation | Support. StrengtheningOutcome = Hypothesis | Refutation.

4. GameProvider cd for Problem (+ DemeterF defined interface) – Boolean semanticCheck() – Boolean conforms(Hypothesis) cd for Solution – Boolean correct(Problem) cd for Niche cd for Hypothesis – Boolean legal(Niche) – Boolean refuted(RefutationProtocol) – = Kind – Kind : EA | AE. cd for RefutationProtocol(Hypothesis) = – Problem – Solution cd for StrengtheningProtocol(Hypothesis)

5. Scholar Problem – Solution solve() Niche – Hypothesis propose() Hypothesis – Problem provide() – oppose RefutationOutcome refute() StrengtheningOutcome strengthen()

6. Administrator cd for Game – register(Scholar) – start() – delivers reports violations of game rules computes reputations and produces scholar ranking records history – invokes methods provided by GameProvider and Scholars.

7. game.cd Hypothesis = ProposedHypothesis | OpposedHypothesis. OpposedHypothesis = RefutedHypothesis | StrengthenedHypothesis ScholarID.

8. Extra slides