Journal: | Revista científica |
Database: | PERIÓDICA |
System number: | 000370868 |
ISSN: | 0124-2253 |
Authors: | Diosa, Henry Alberto1 Díaz Frías, Juan Francisco2 Gaona Cuevas, Carlos Mauricio2 |
Institutions: | 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 |
Year: | 2010 |
Season: | Ene-Dic |
Number: | 12 |
Pages: | 156-171 |
Country: | Colombia |
Language: | Español |
Document type: | Artículo |
Approach: | Analítico, descriptivo |
Spanish abstract | 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 |
English abstract | 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 |
Disciplines: | Ciencias de la computación |
Keyword: | Programación, Software, Arquitectura de software, Chequeo de corrección, Componentes de software |
Keyword: | Computer science, Programming, Software, Software architecture, Correctness checking, Software components |
Full text: | Texto completo (Ver HTML) |