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

  • Jorge Cortés-Galicia Instituto Politécnico Nacional
  • Felipe M. Menchaca-García Instituto Politécnico Nacional
  • Rolando Menchaca-Méndez Instituto Politécnico Nacional

Abstract

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.
|Abstract
= 6 veces | PDF (ESPAÑOL (ESPAÑA))
= 7 veces|

Downloads

Download data is not yet available.

References

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.

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.

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.

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.

K. Honda, K. Tokoro. “On Asynchronous Communication Semantics”. Object-Based Concurrent Computing. Vol. 612. 1992. pp. 21-51.

R. Milner. A calculus of communication systems. Ed. Springer Verlag. Nueva York (Estados Unidos de América). 1980. pp. 126-157.

Published
2012-08-01
How to Cite
Cortés-Galicia J., Menchaca-García F. M., & Menchaca-Méndez R. (2012). 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. Revista Facultad De Ingeniería Universidad De Antioquia, (63), 129-140. Retrieved from https://revistas.udea.edu.co/index.php/ingenieria/article/view/12492