TY - JOUR 
A1 - Sánchez Palma, Pedro
AU - Letelier Torres, Patricio
AU - Ramos Salavert, Isidro
T1 - Animating formal specifications with inheritance in a DL based framework
Y1 - 1999
SN - 0947-3602
UR - http://hdl.handle.net/10317/709
AB - Dim¡namic Logic (DL) provides a suitable formal framework to model actions and reasoning about them. OASIS is a language for the specification of object oriented conceptual models. In our model, specialization is a relation between classes that defines an inheritance mechanism through static and dynamic partitions. A variant of DL(including the Deontic operators for permission, prohibition and obligation) is the formalism used in OASIS to deal with changes of state, triggers, preconditions, protocols and operations. The animation of conceptual models in order to validate the specifications is an interesting topic. We have worked on translating OASIS specifications automatically to concurrent enviroments in order to obtain a prototype useful to validate specifications by animation: The aim of this paper in to show that it is feasible static and dynamic partitions automatically in to dynamic logic formulae. Thus, using the same development schema of animation it is possible to execute OASIS specifications including inheritance.
KW - Lenguajes y Sistemas Informáticos
KW - Requisitos de ingeniería
KW - Métodos orientados a objetos
KW - Herencia
KW - Animación de especificaciones
KW - Requirements Engineering
KW - Object-Oriented Methods
KW - Inheritance
KW - Animated specifications
LA - eng
PB - Springer Verlag
ER -