Portal de Periódicos da CAPES

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

2011; District University of Bogotá; Issue: 12 Linguagem: Espanhol

10.14483/23448350.608

2344-8350

Henry Alberto Diosa, Juan Francisco Díaz Frías, Carlos Cuevas,

Software Reliability and Analysis Research

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.