Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo −Parq

Autor:	Henry Alberto Diosa, Juan Francisco Díaz Frías, Carlos Mauricio Gaona Cuevas
Jazyk:	English<br />Spanish; Castilian
Rok vydání:	2011
Předmět:	arquitectura de referencia modelo de referencia cálculo − ρarq método formal componentes de software Sistema de Transición Rotulado Technology Science
Zdroj:	Revista Científica, Iss 12 (2011)
Druh dokumentu:	article
ISSN:	23448350 0124-2253 2344-8350
DOI:	10.14483/23448350.608
Popis:	En esta publicación se propone un método formal para el chequeo de corrección de arquitecturas de referencia basadas en componentes de software. Estos modelos son especificados por medio del cálculo − ρarq . Se hace uso de dos herramientas formales; la primera, el concepto de Sistema de Transición Rotulado ( STR, en adelante) ampliado con el concepto de transición condicionada para variables lógicas cuya resolución podría obtenerse desde un repositorio global de restricciones. La segunda, la teoría de equivalencia de observación propuesta por Robin Milner y sus colaboradores en la Universidad de Cambridge.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/67479f34ca234b038d1cb21ece4c33a8 Zobrazit plný text záznamu View record in DOAJ