9.1.2 Workability

Once an actor has a routine, we can further analyze whether this routine is actually workable. The notion of “workability” indicates that an agent believes that some routine would work at run-time. Thus, the actor is confident that, at execution time, it will be able to carry out the reasoning and actions required to achieve the result. A routine is judged to be workable if each of its explicitly mentioned elements is workable, and if all the constraints in the routine are expected to hold. Thus, an element is made workable by reducing it thought the routine to primitively workable elements (though not necessarily primitively executable actions), or by delegation some of the elements to other agents. A primitively workable element is one that is judged to be workable without further reduction. At an actor boundary, an element is workable if there is some actor offering this element.



Open Version

---

For questions regarding i* syntax please click on the "discuss" tab. This feature is available for registered users only. For registration information please see the Registration and User Rights Policy for the i* Wiki.