2 Position

  The inheritance of specialization is a particular term of the object world. In the programming world, we talk about refinement of specifications [Mor90]. Refinement of specifications is used to imply proof of programs. In the simulation context, where we are interested to validate specifications, we talk about prototyping applications rather than refinement of specifications. The problem described in this paper is the efficient use of a logical formalism to specify objects behaviour for defining prototypes of applications through the simulation of specifications. Our interest is not restricted to the use of a particular logical formalism, so the logical formalism that we describe in subsection 2.1 is a general view of traditional logical formalisms. In subsection 2.2, we present the problem, and our solution is defined in subsection 2.3. Subsection 2.4 presents the interesting points of our solution in component-based software engineering.