A Version Support Model for Architecture Based Design Process

ROLDÁN, M.L.; GONNET, S.; LEONE, H.

Rosario

Congreso; 34 JAIIO - 34 Jornadas Argentinas de Informática e Investigación Operativa. ASSE 2005 - Simposio Argentino de Ingeniería de Software; 2005

SADIO

Software architecture based design demands new tools for managing the different versions generated during the design process. Based in a generic process versioning administration model, a model for capturing and managing the products of the software architecture design process is presented. Thus, the proposed model enables the designer to trace such design process and its resulting products, a first step towards computational environments that support architecture based design. The model is defined using a hybrid approach that combines object-oriented technology, first order logic, and situation calculus. The situation calculus is used to formally express the existence of an object and its structure in a given state of a design process.