Show simple item record

dc.contributor.authorSánchez Palma, Pedro 
dc.contributor.authorLetelier Torres, Patricio 
dc.contributor.authorRamos Salavert, Isidro 
dc.date.accessioned2009-02-18T11:38:32Z
dc.date.available2009-02-18T11:38:32Z
dc.date.issued1999-12-01
dc.identifier.citationSÁNCHEZ, Pedro, LETELIER, Patricio, RAMOS, Isidro. Animating formal specifications with inheritance in a DL based framework . Requirements Engineering , 4 (4): 198-209, Diciembre 1999. ISSN 0947-3602es
dc.identifier.issn0947-3602
dc.description.abstractDim¡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.es
dc.description.sponsorshipThis research is supported by the " Comisión Interministerial de Ciencia y Tecnología" (CICYT) through the MENHIR proyect (grant nº TIC97-0593-C05-01)es
dc.formatapplication/pdf
dc.language.isoenges
dc.publisherSpringer Verlages
dc.rightsThe original publication is available at www.springerlink.comes
dc.titleAnimating formal specifications with inheritance in a DL based frameworkes
dc.typeinfo:eu-repo/semantics/articlees
dc.subjectRequisitos de ingenieríaes
dc.subjectMétodos orientados a objetoses
dc.subjectHerenciaes
dc.subjectAnimación de especificacioneses
dc.subjectRequirements Engineering
dc.subjectObject-Oriented Methods
dc.subjectInheritance
dc.subjectAnimated specifications
dc.subject.otherLenguajes y Sistemas Informáticoses
dc.identifier.urihttp://hdl.handle.net/10317/709
dc.identifier.doi10.1007/s007660050020


Files in this item

This item appears in the following Collection(s)

Show simple item record