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, Felipe R. Menchaca García, Rolando Menchaca Méndez

Producción científica: Contribución a una revistaArtículorevisión exhaustiva

Resumen

The specification and formal verification of distributed systems is usually a complex task. It requires extensive knowledge of algorithm theory and modeling of distributed or concurrent systems. In this context, we present LeGESD which is a framework oriented to support the specification and formal validation of concurrent and distributed systems. LeGESD has a graphical formal language for the specification and analysis of distributed systems which is used to describe functional and of communication requirements. The semantics of LeGESD is based on the process algebra. This semantics is also described in this paper and it is called Analysis and Design of Distributed Systems (ADSD). ADSD is an algebraic specification with operational semantics defined to be used with LeGESD. ADSD provides graphical-algebraic equivalence relations which can be used to generate formal specifications of distributed systems. Lastly, this paper presents an example which shows the usefulness and potential of the language and its semantics.

Título traducido de la contribuciónLeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics
Idioma originalEspañol
Páginas (desde-hasta)129-140
Número de páginas12
PublicaciónRevista Facultad de Ingenieria
N.º63
EstadoPublicada - jun. 2012

Palabras clave

  • Distributed systems
  • Process algebra
  • Specification

Huella

Profundice en los temas de investigación de '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'. En conjunto forman una huella única.

Citar esto