(1) קורס של הפעולה שיש לנקוט כדי לבצע task.~(2) נתון תיאור בכתב של פעולה כמו (1); לדוגמה, בדיקת המתועד procedure.~(3) חלק של תוכנית מחשב אשר נקרא המבצע פעולה מסוימת.