SOFREQ : SensorSignal < Limit → Activate Pager
ASM : Sensor Signal = HeartRate
DOM : Heart Failure iff (HeartRate < Limit )
SYSREQ: HeartFailure → Page Nurse

SOFREQ : CorrectUserPass → Grant Access
ASM : Access = Allowed iff Authorized
            Access = Not Allowed iff (WrongPass OR WrongUsernname)
DOM : Authorized iff (CorrectUser AND CorrectPass)
SYSREQ : Authorized → Allowed


Στόχοι : Διαχειρίσιμη λίστα με συχνούς και εν δυνάμει πελάτες. Η διαχείριση των παραγγελιών των πελατών. Έλεγχος των αποθεμάτων. Λογιστική οργάνωση της επιχείρησης
Καλύτερη οργάνωση των λιστών σχεδίων-τιμών. Εγκατάσταση POS (?). Μοντελοποίηση κόστους παραγγελιών.
Προβλήματα: Χρονοβόρα η πληροφόρηση των πελατών μέσω τηλεφώνου. Δυσκολία στην εξατομίκευση των καρτών από τους πελάτες. Ελλείψεις αποθεμάτων. Συνπεπτιγμένη απεικόνιση πληροφοριών σε ένα βιβλίο.
Πεδίο Δράσης : Δημιουργία και διατήρηση διακριτών λιστών για : πελάτες, σχέδια, τιμές, αποθέματα, παραγγελίες, έσοδα, έξοδα, πληρωμές πελατών ,  πληρωμές προς τον προμηθευτή, λειτουργικά έξοδα. Δημιουργία συστήματος πληροφόρησης για σχέδια online.
 Διατήρηση λογιστικού βιβλίου. Σύνδεση με τραπεζικό σύστημα για δυνατότητα online πληρωμής ή πληρωμής με POS. Παροχή εργαλείων για πιο συστηματικό υπολογισμό κόστους εξατομίκευσης σχεδίων. Παροχή εργαλείων στους πελάτες, με επιλογές για βασικές προσαρμογές διαθέσιμες ανά σχέδιο. Δημιουργία και διατήρηση συστήματος για ημι-αυτόματες ανανεώσεις στις παραγγελίες από τους προμηθευτές.
Ενέργειες: