EVP: Integration of FDTs for the analysis and verification of communication protocols

  • P. Merino
  • J. M. Troya
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1102)


EVP is an integrated tool-set for specification and the analysis of communication protocols and distributed systems. Specifications in standard Formal Description Techniques (FDTs) like SDL or LOTOS are translated into a common language, and then analysed with tools for this internal representation. The common language is a concurrent logic language specially designed for distributed programming. The analysis consists in interactive simulation and automatic verification.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Clark K.L, Gregory S. Pariog: parallel programming in logic. ACM Transactions on Programming Languages and Systems, 1986.Google Scholar
  2. [2]
    Shapiro E.. The Family of Concurrent Logic Programming Languages. ACM Computing Surveys, Vol. 21, n∘ 3, pp. 413–510. Sept, 1989.CrossRefGoogle Scholar
  3. [3]
    Diaz M., Troya J.M. A Parlog Based Real-Time Distributed Environment. Future Generation Computer Systems 9. North-Holland 1993.Google Scholar
  4. [4]
    Diaz M., Vissers C., Ansart J. Sedos Software Environment for the Design of Open Distributed Systems. The Formal Description Technique LOTOS. North-Holland 1989Google Scholar
  5. [5]
    Dotan Y., Arazi B. Using Flat Concurrent Prolog in System Modeling. IEEE Transactions on Software Engineering, Vol. 17, N∘ 6, June 1991.Google Scholar
  6. [6]
    GISUM (Software Engineering Group). Universidad de Malaga. EVP: Un Entorno Declarativo Distribuido para Especificacion y Validacion de Protocolos. Manual de Usuario. Proyecto Tema. December 1994 (Spanish).Google Scholar
  7. [7]
    GISUM (Software Engineering Group). Universidad de Malaga EVP: Un Entorno Declarativo Distribuido para Especificacion y Validation de Protocolos. Tecnicas de Implementation. Proyecto Tema. December 1994 (Spanish).Google Scholar
  8. [8]
    ITU-T Study Group 8, Draft Recommendation T.125. Multipoint Communication Service Protocol Specification. November 1993.Google Scholar
  9. [9]
    Reed R., Bouma W., Evans J.D., Dauphin M., Michel M. eds. The SPECS Consortium Specification and Programming Environment for Communication Software. North-Holland. 1993.Google Scholar
  10. [10]
    Ruado F., Benoliel L. El Protocolo AV. Telefónica I+D. October 1993(Spanish)Google Scholar
  11. [11]
    Sidhu D.P., Protocol Verification via Executable Logic Specifications. Proc. III IFIP Symposium on Protocol Specification, Testing, and Verification, North-Holland, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • P. Merino
    • 1
  • J. M. Troya
    • 1
  1. 1.Depto. Lenguajes y Ciencias de la Computación. ETSI Informática-ETSI TelecomunicaciónUniversity of MálagaMálagaSpain

Personalised recommendations