Opdracht Formele Methoden: Pamela
deadlines
Specificeer een Personal Assistent for
Maintaining Electronic Archives (Pamela).
Pamela is een 'agent' die informatie beheert
over door de gebruiker aangegeven onderwerpen.
Een voorbeeld van zo'n 'agent' is een (software)
proces dat op grond van de interesses van de gebruiker
Web-sites afzoekt naar interessante informatie.
Het is expliciet niet de bedoeling dat Web-access
primitieven gespecificeerd worden.
Minimaal moet het gespecificeerde systeem
informatie-beheer en access toelaten.
Bovendien moet de gebruiker in staat zijn
persoonlijke voorkeuren aan te geven.
De specificatie mag in Z of Object-Z
geschreven worden. Consulteer Diller voor
de richtlijnen volgens welke een specificatie
opgesteld dient te worden.
Toelichting op de opdracht wordt alleen
gedurende het college gegeven.