Principis de modelització en un desenvolupament de software. (La difícil tasca d'identificar, 1)

Abstract

All software development is based on the construction and transformation of models. A model is an arbitrary artifact that is useful for a specific purpose. The arbitrariness of the models, however, has limits that can not be crossed. Here we analyze what these limits are, in terms of model structure and its relation to the modeled reality. In the case of the models used in software development we must add some additional restrictions: which kind of software units are supported, how they communicate, and what fundamental properties should be maintained.