Por favor, use este identificador para citar o enlazar este ítem:
http://repositoriodigital.ipn.mx/handle/123456789/14932
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Sánchez Palma, Pedro | - |
dc.contributor.author | Letelier Torres, Patricio | - |
dc.contributor.author | Ramos Salavert, Isidro | - |
dc.date.accessioned | 2013-04-08T23:53:03Z | - |
dc.date.available | 2013-04-08T23:53:03Z | - |
dc.date.issued | 1997-12-15 | - |
dc.identifier.citation | Revista Computación y Sistemas; Vol. 1 No. 2 | es |
dc.identifier.issn | 1405-5546 | - |
dc.identifier.uri | http://www.repositoriodigital.ipn.mx/handle/123456789/14932 | - |
dc.description.abstract | Resumen. La validación temprana de requisitos del software durante el desarrollo de un sistema de información es un aspecto de reconocida importancia. La animación automática a partir de la especificación de requisitos del sistema puede llegar a ser una valiosa ayuda en dicha tarea. OASIS es un lenguaje formal para especificación de modelos conceptuales. En este trabajo se presenta una formalización del proceso de obtención de un prototipo dada una especificación OASIS, un modelo básico de ejecución y un Modelo de Concurrencia como son las Redes de Petri clásicas. Si definimos las características formales que debe cumplir un prototipo para que satisfaga una especificación OASIS habremos conseguido una representación ejecutable fiel al modelo original. El planteamiento que se hace del trabajo es un comienzo que permite ser extendido al estudio de otros tipos de redes (Object Petri Nets, Coloured Petri Nets, etc.) u otros modelos de concurrencia. | es |
dc.description.sponsorship | Instituto Politécnico Nacional - Centro de Investigación en Computación (CIC). | es |
dc.language.iso | es | es |
dc.publisher | Revista Computación y Sistemas; Vol. 1 No. 2 | es |
dc.relation.ispartofseries | Revista Computación y Sistemas;Vol. 1 No. 2 | - |
dc.title | Representación de Objetos OASIS en Teorías y su Traducción a un Modelo de Concurrencia | es |
dc.type | Article | es |
dc.description.especialidad | Investigación en Computación | es |
dc.description.tipo | es | |
Aparece en las colecciones: | Revistas |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
6.pdf | 966.53 kB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.