Scribd Logo
Carica

Benvenuto in Scribd!

  • Case 1 Formal Z

    Caricato da

    Amirah Diyana
    47 visualizzazioni3 pagine
    This document specifies a student registration system. It defines the basic types as student, faculty, and courses. It outlines the initial state as empty sets for students, courses, and faculty. It describes the operation schema to add and drop courses, which can return reports of success, already registered, or full courses. The total operations combine the registration operations with the possible error reports.

    Descrizione originale:

    formal z requirements

    Titolo originale

    Case 1 Formal z

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Formati disponibili

    PDF, TXT o leggi online da Scribd

    Hai trovato utile questo documento?

    Questo contenuto è inappropriato?

    Segnala questo documento
    This document specifies a student registration system. It defines the basic types as student, faculty, and courses. It outlines the initial state as empty sets for students, courses, and faculty. It describes the operation schema to add and drop courses, which can return reports of success, already registered, or full courses. The total operations combine the registration operations with the possible error reports.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Scarica in formato PDF, TXT o leggi online su Scribd
    Segnala contenuti inappropriati
    47 visualizzazioni3 pagine

    Case 1 Formal Z

    Caricato da

    Amirah Diyana
    This document specifies a student registration system. It defines the basic types as student, faculty, and courses. It outlines the initial state as empty sets for students, courses, and faculty. It describes the operation schema to add and drop courses, which can return reports of success, already registered, or full courses. The total operations combine the registration operations with the possible error reports.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Scarica in formato PDF, TXT o leggi online su Scribd
    Segnala contenuti inappropriati
    di 3

    Z Specication for Student Registration System

    Amirah Diyana Binti Hasan Basri A141947 22/5/2013

    User Requirement

    Student registration system for some university...

    Basic Type
    [STUDENT , FACULTY , COURSES ]

    2.1

    Free Type
    REPORT ::= Success | AlreadyRegistered | FullCourses

    state schema
    Registration stu : P STUDENT fac : P FACULTY courses : P COURSES takes : STUDENT COURSES givenb y : COURSES FACULTY dom takes stu ran takes courses dom givenb y courses ran givenb y fac 1

    Initial State
    InitRegistration Registration student = course = faculty =

    5
    5.1

    Operation Schema
    Operation
    AddCourses Registration s ? : STUDENT AddCourses ? : STUDENT COURSES r ! : REPORT s ? stu AddCourses ? takes stu = stu {AddCourses !} courses = courses faculty = faculty r ! = SUCCESS DropCourses Registration s ? : STUDENT dropCourses ? : STUDENT COURSES r ! : REPORT s ? stu dropCourses ? takes stu = stu {dropCourses !} courses = courses faculty = faculty r ! = SUCCESS

    5.2

    Error Handling
    AlreadyRegistered Registration s ? : STUDENT r ! : REPORT s ? takes r ! = AlreadyRegistered

    FullCourses Registration s ? : STUDENT r ! : REPORT s ? courses r ! = FullCourses

    Total Operation
    TotalRegistered = AddCourses AlreadyRegistered TotalRegistered = DropCourses FullCourses

    Potrebbero piacerti anche