המדריך מגדיר את הקטגוריות הבאות של אילוצים:

 אילוצים סטאטיים

• מצבים שגרתיים ומצבי חריגים של המערכת

• תיאום, מיפוי: מצב יחידה => מצב המערכת.

אילוצים על אירועים

• מעברי מצבים, מיפוי: (מצב נוכחי, אירוע) => מצב חדש
• תפוקת אירועים, מיפוי: אירוע => שינוי צפוי בפרמטרים של התפעול
• פרוטוקולים של מעברי מצבים

אילוצים על תהליכים

• איתחול תהליכים, מיפוי: (מצב, עיתוי) => שינוי צפוי בפרמטרים של התפעול
• התנהגות, מיפוי: מצב => שינוי צפוי בפרמטרים של התפעול, כולל מרווח ערכים של הפרמטרים