Developing the ideas initially addressed by the GAMA project [4], GAMA-X intends to complement the CAMILA specification language and the associated reification method, with a User Interface Managment System (UIMS) that allows the specification and generation of interfaces for the prototypes (CAMILA is compiled to XMETOO [3] for execution) as well as for the final applications resulting from the reification process.
A system in CAMILA is, to its users, a set of operations and a set of data types. Each operation has a signature which must be obeyed and a pre-condition that specifies relations over the arguments and/or the state so that the use of a operation is valid only when the associated pre-condition is verified.
Data types may have invariants, which are conditions that the values must verify for being valid
.
Based mainly on this information we start the development of a system that must guide the user of the prototype/application in the construcion of valid values and legal operation calls.