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

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

Marcela Daniele (Universidad Nacional de Rio Cuarto, Argentina), Paola Martellotto (Universidad Nacional de Rio Cuarto, Argentina) and Gabriel Baum (Universidad Nacional de Rio Cuarto, Argentina)
Copyright: © 2007 |Pages: 27
DOI: 10.4018/978-1-59140-851-2.ch012
OnDemand PDF Download:
No Current Special Offers


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.

Complete Chapter List

Search this Book: