| Revista: | Revista científica |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000370868 |
| ISSN: | 0124-2253 |
| Autores: | Diosa, Henry Alberto1 Díaz Frías, Juan Francisco2 Gaona Cuevas, Carlos Mauricio2 |
| Instituciones: | 1Universidad Distrital "Francisco José de Caldas", Bogotá. Colombia 2Universidad del Valle, Escuela de Ingeniería de Sistemas y Computación, Cali, Valle del Cauca. Colombia |
| Año: | 2010 |
| Periodo: | Ene-Dic |
| Número: | 12 |
| Paginación: | 156-171 |
| País: | Colombia |
| Idioma: | Español |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico, descriptivo |
| Resumen en español | En esta publicaci´on se propone un m´etodo formal para el chequeo de correcci ´on de arquitecturas de referencia basadas en componentes de software. Estos modelos son especificados por medio del c´alculo − ρarq. Se hace uso de dos herramientas formales; la primera, el concepto de Sistema de Transici ´on Rotulado ( STR, en adelante) ampliado con el concepto de transici´on condicionada para variables l´ogicas cuya resoluci´on podr´ıa obtenerse desde un repositorio global de restricciones. La segunda, la teor´ıa de equivalencia de observaci´on propuesta por Robin Milner y sus colaboradores en la Universidad de Cambridge |
| Resumen en inglés | In this paper we describe a correctness checking formal method of reference architectures against reference models in a component-based software development perspective. These models are specified by means of ρarq −calculus. We use two formal tools; the first, the concept of Labelled Transition System (LTS) enhanced with the conditional-transition concept for logical variables whose resolution may be obtained from a global store of constraints. The second, the observation equivalence theory proposed by Robin Milner and his collaborators in Cambridge University |
| Disciplinas: | Ciencias de la computación |
| Palabras clave: | Programación, Software, Arquitectura de software, Chequeo de corrección, Componentes de software |
| Keyword: | Computer science, Programming, Software, Software architecture, Correctness checking, Software components |
| Texto completo: | Texto completo (Ver HTML) |
