LeGESD: Un marco de trabajo para la especificación y validación formal de sistemas concurrentes y distribuidos basado en un lenguaje gráfico con semántica sustentada en el álgebra de procesos
DOI:
https://doi.org/10.17533/udea.redin.12492Palabras clave:
sistemas distribuidos, álgebra de procesos, especificaciónResumen
La especificación y validación formal de sistemas distribuidos es en general una tarea compleja debido a que requiere conocimientos profundos tanto en el área de teoría de algoritmos, como en el modelado de sistemas concurrentes o distribuidos. En este contexto, presentamos LeGESD, un marco de trabajo orientado a facilitar la especificación y validación formal de sistemas concurrentes y distribuidos. LeGESD está integrado por un lenguaje gráfico formal para la especificación y análisis de sistemas distribuidos, en el cual es posible incluir tanto los requerimientos funcionales como de comunicación del sistema que se está especificando. La semántica del lenguaje gráfico propuesto incorpora al álgebra de procesos en su definición. Esta semántica también está descrita en el presente documento y se le ha denominado como Análisis y Diseño de Sistemas Distribuidos (ADSD). ADSD es una especificación algebraica con semántica operacional definida para LeGESD, la cual presenta relaciones gráfico-algebraicas de equivalencia que son utilizadas en la especificación formal realizada con LeGESD. Finalmente, en el presente artículo se desarrolla un ejemplo que muestra la utilización y potencialidad tanto del lenguaje como de su semántica asociada.Descargas
Citas
L. Arief, M. Little, S. Shrivastava, N. Speirs, S. Wheater. “Specifying distributed system services”. BT Technical Journal. (Special Issue). Vol. 3. 1999. pp. 120-128.
N. Lynch, M. Tuttle. “An introduction to input/output automata”. CWI-Quarterly. Vol. 3. 1989. pp. 219-246.
J. Cortes, F. Menchaca. Graphical Specification Language for Distributed Systems. Proceeding IEEE on 15th International Conference on Computing. México D.F. (México). 2006. pp. 120-126.
I. Kinchin, D. Hay. “How a qualitative approach to concept map analysis can be used to aid learning by illustrating patterns of conceptual development”. Educational Research. Vol. 42. 2000. pp. 43-57. DOI: https://doi.org/10.1080/001318800363908
J. Rumbaugh, I. Jacobson, G. Booch. “The unified modeling language reference manual”. Object Technology Series. Vol. 1. 1998. pp. 13-62.
D. Luckham. “Specification and analysis of system architecture”. IEEE Transactions on Software Engineering. Vol. 21. 1995. pp. 336-355. DOI: https://doi.org/10.1109/32.385971
A. Rodriguez, C. Killian. “MACEDON: Methodology for automatically creating, evaluating, and designing overlay networks”. Proceedings of the NSDI. Vol. 1. 2004. pp. 20-34.
S. Garland, N. Lynch. “The IOA language and toolset: Support for designing, analyzing, and building distributed systems”. MIT Press Technical Report. Vol. 1. 1998. pp. 1-42.
D. Regep, F. Kordon. LfP: A specification language for rapid prototyping of concurrent systems. Proceedings of the 12th International IEEE Workshop on Rapid System Prototyping. Monterey (Estados Unidos de America). 2001. pp. 90-97.
D. Zhang, K. Zhang. A Visual Programming Environment for Distributed Systems. Proceedings of the 11th International IEEE Symposium on Visual Languages. Washington (Estados Unidos de America). 1995. pp. 310-317.
J. Cortes, F. Menchaca. Algebra de Procesos Aplicada a la Especificación Formal de Sistemas Distribuidos. 1er Congreso Internacional en Sistemas Computacionales y Electrónicos. México D.F. (México). 2006. pp. 30- 38.
H. Hermanns, U. Herzog. “Process algebra for performance evaluation”. Theoretical Computer Science. Vol. 274. 2002. pp. 43-87. DOI: https://doi.org/10.1016/S0304-3975(00)00305-4
M. Bravetti, M. Bernardo. Compositional asymmetric cooperations for process algebras with probabilities, priorities and time. 1st International Workshop on Models for Time Critical Systems. Pennsylvania (Estados Unidos de America). 2000. pp. 3-16. DOI: https://doi.org/10.1016/S1571-0661(05)01220-X
K. Honda, K. Tokoro. “On Asynchronous Communication Semantics”. Object-Based Concurrent Computing. Vol. 612. 1992. pp. 21-51. DOI: https://doi.org/10.1007/3-540-55613-3_2
R. Milner. A calculus of communication systems. Ed. Springer Verlag. Nueva York (Estados Unidos de América). 1980. pp. 126-157.
Descargas
Publicado
Cómo citar
Número
Sección
Licencia
Derechos de autor 2018 Revista Facultad de Ingeniería
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.
Los artículos disponibles en la Revista Facultad de Ingeniería, Universidad de Antioquia están bajo la licencia Creative Commons Attribution BY-NC-SA 4.0.
Eres libre de:
Compartir — copiar y redistribuir el material en cualquier medio o formato
Adaptar : remezclar, transformar y construir sobre el material.
Bajo los siguientes términos:
Reconocimiento : debe otorgar el crédito correspondiente , proporcionar un enlace a la licencia e indicar si se realizaron cambios . Puede hacerlo de cualquier manera razonable, pero no de ninguna manera que sugiera que el licenciante lo respalda a usted o su uso.
No comercial : no puede utilizar el material con fines comerciales .
Compartir igual : si remezcla, transforma o construye a partir del material, debe distribuir sus contribuciones bajo la misma licencia que el original.
El material publicado por la revista puede ser distribuido, copiado y exhibido por terceros si se dan los respectivos créditos a la revista, sin ningún costo. No se puede obtener ningún beneficio comercial y las obras derivadas tienen que estar bajo los mismos términos de licencia que el trabajo original.
Twitter