Formalization of techniques: chopping down the methodology jungle

Abstract The formalization of techniques in the context of information system development methodologies is discussed. When such methodologies are developed, the primary goal is applicability. After the methodology has proved itself in practice, it will be applied in more sophisticated situations, pushing it to its limits. In those cases, informal definitions are known to be inappropriate. Some typical problems are considered. After that, a procedure for proper formalization is described. The Predicator Model is presented as an extended example. Finally, some experiences with this approach to formalization are discussed.