i* has a semi-formal component, involving the concept of satisficing. which is not readily amendable to formalization using conventional techniques, because the interpretation(s) of soft-concepts are typical context-dependend. (p25)
semi-formalism