Generic Model of the Business Model and Its Formalization in Object-Z

Abstract

This chapter shows the generic model of the business model, represented graphically with a UML class diagram, product of the analysis of the artifacts that compose the business model and their relationships, according to rational unified process (RUP) (2000). Moreover, the chapter defines a set of rules that the model must verify. It has been demonstrated that graph modeling is useful to visualize, specify, build, and document the artifacts of a system, offering a common language, easy to understand and apply. However, it lacks a precise semantics, which causes problems of ambiguities that in turn generate incorrect or different interpretations. In order to improve upon this, the generic model is translated into a formal specification language. This translation, carried out in Object-Z, allows the expression of a specific business model in a particular domain without ambiguity, and it facilitates the analysis of the properties of the system, showing possible inconsistencies, ambiguities, or incompleteness.