|
המדריך מגדיר את הקטגוריות הבאות של אילוצים:
· אילוצים על
אירועים:
מעברי מצבים,
מיפוי: (מצב נוכחי, אירוע) => מצב חדש
תפוקת
אירועים, מיפוי: אירוע => שינוי צפוי בפרמטרים של התפעול
איתחול
תהליכים, מיפוי: (מצב, עיתוי) => שינוי צפוי בפרמטרים של התפעול
· אילוצים
מתמשכים:
-
התנהגות,
מיפוי: מצב => שינוי צפוי בפרמטרים של התפעול, כולל מרווח ערכים של
הפרמטרים
-
תיאום, מיפוי:
מצב יחידה => מצב המערכת.
|