The final result will be a unique formal model suitable to a variety of fields of Information Technology. This model will be described in detail in a book prepared during the last year that will also include a comparison with and a classification of the extant models in use.