Advertisement

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)

Abstract

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.

References

  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