MFP-II/0001: Lab. Project | |
---|---|
[ DI/UM ] |
Project requirements - overview |
The architecture of the system to be designed should include at least two components:
Some details about the project follow. You should be able to filter ambiguities and inconsistencies from the requirements. You are welcome to complete these (e.g. by adding to the system's overall design structure) if convenient, provided you justify and report your own design decisions carefully.
Project requirements - details
About HRM
name@xyz.com date task1 time1 task2 time2 ... task n time nStrings name@xyz.com and date uniquely identify a time card. Tasks task1 to task n indicate project tasks as recorded in the PMBC subsystem (see below). Time spans are measured as multiples of 1 hour.
Once these email messages are processed, time-cards are recorded in the HRM subsystem under the following (draft!) format, already in VDM-SL notation:
types Db = map HRId to HResource; HResource :: profile: HRprofile tcards: map Day to Effort; Effort = map Task to Hours; Task :: project: PId subtask: TId; Hours = nat1; HRprofile = token; HRId = seq of char; PId = seq of char; TId = seq of char; Day = nat1;You are welcome to discuss the adequacy of this model with your colleagues and to improve it. Don't hesitate to change it but please record and justify your own design decisions.
Voltar à pįgina principal de MFP-II.
Outras disciplinas leccionadas pelo DIUM