A model is a coherent set of formal elements describing something (e.g., a system, bank, phone or a train) built for some purpose that is amenable to a particular form of analysis, such as: communication of ideas between people and machines, completeness checking, race condition analysis, test case generation, viability in terms of indicators such as cost and estimation, standards, transformation into an implementation. [MCF2003]