Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo −Parq
| dc.contributor.author | Diosa, Henry Alberto | spa |
| dc.contributor.author | Díaz Frías, Juan Francisco | spa |
| dc.contributor.author | Gaona Cuevas, Carlos Mauricio | spa |
| dc.date | 2011-08-19 | |
| dc.date.accessioned | 2019-09-19T21:08:22Z | |
| dc.date.available | 2019-09-19T21:08:22Z | |
| dc.description | 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. | es-ES |
| dc.description | 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. | en-US |
| dc.format | application/pdf | |
| dc.identifier | https://revistas.udistrital.edu.co/index.php/revcie/article/view/608 | |
| dc.identifier | 10.14483/23448350.608 | |
| dc.identifier.uri | http://hdl.handle.net/11349/16504 | |
| dc.language | spa | |
| dc.publisher | Universidad Distrital Francisco José de Caldas | es-ES |
| dc.relation | https://revistas.udistrital.edu.co/index.php/revcie/article/view/608/831 | |
| dc.source | Revista Científica; No 12 (2010): ENERO-DICIEMBRE; 156-171 | en-US |
| dc.source | Revista científica; Núm. 12 (2010): ENERO-DICIEMBRE; 156-171 | es-ES |
| dc.source | 2344-8350 | |
| dc.source | 0124-2253 | |
| dc.subject | Reference architecture | en-US |
| dc.subject | reference model | en-US |
| dc.subject | ρarq − Calculus | en-US |
| dc.subject | formal method | en-US |
| dc.subject | software components | en-US |
| dc.subject | labelled transition systems | en-US |
| dc.subject | correctness checking | en-US |
| dc.subject | observation equivalence | en-US |
| dc.subject | arquitectura de referencia | es-ES |
| dc.subject | modelo de referencia | es-ES |
| dc.subject | cálculo − ρarq | es-ES |
| dc.subject | método formal | es-ES |
| dc.subject | componentes de software | es-ES |
| dc.subject | Sistema de Transición Rotulado | es-ES |
| dc.subject | chequeo de corrección | es-ES |
| dc.subject | equivalencia de observación. | es-ES |
| dc.title | Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo −Parq | es-ES |
| dc.title | Formal Specification of Component-Based Software Architectures: Correctness Checking with Parq − Calculus | en-US |
| dc.type | info:eu-repo/semantics/article | |
| dc.type | info:eu-repo/semantics/publishedVersion | |
| dc.type.coar | http://purl.org/coar/resource_type/c_6501 |