Show simple item record

dc.contributor.authorGarcía Hoffmann, Miguel
dc.date.accessioned2008-03-07T13:01:35Z
dc.date.available2008-03-07T13:01:35Z
dc.date.issued1980-03
dc.identifier.issn0210-8054 (versió paper)
dc.identifier.urihttp://hdl.handle.net/2099/4528
dc.description.abstractEn este trabajo se presentan dos aspectos de una metodología nueva de diseño de protocolos, concretamente, los referentes a la especificación y validación de la estructura lógica de protocolos de comunicación. Para especificar el funcionamiento de los elementos integrantes de los protocolos se crea un lenguaje descriptivo de alto nivel, el LDP. Las descripciones de protocolos en LDP son el puntode partida de los algoritmos de validación que se proponen. La validación se basa en la construcción de un árbol que expresa todos los posibles caminos de ejecución del protocolo y permite detectar errores en su estructura lógica tales como bloqueos, bloqueos temporales, comportamiento cíclico, etc.
dc.description.abstractIn this work two aspects of a new methodology for designing communication protocols are presented. They are those related with the specification and the validation of the logical structure of protocols. A high level descriptive language, LDP, is introduced for specification purposes. The LDP descriptions constitute the starting point for the proposed validation algorithms. The validation is based in the generation of a tree reflecting all the execution paths of the protocol and it permits to detect errors in its logical structure such as deadlocks, tempo-blocking, cyclic behaviour and so on.
dc.format.extentp. 23-45
dc.language.isospa
dc.publisherUniversitat Politècnica de Barcelona. Centre de Càlcul
dc.relation.ispartofQüestiió. 1980, vol.4, núm.1
dc.rightsAttribution-NonCommercial-NoDerivs 2.5 Spain
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/es/
dc.subject.otherComputer systems
dc.titleUn método para la especificación y validación de la estructura lógica de los protocolos de comunicación
dc.title.alternativeA formal method for the specification and validation of the logical structure of communication protocols
dc.typeArticle
dc.subject.lemacArquitectura de computadors
dc.subject.amsClassificació AMS::68 Computer science::68M Computer system organization
dc.rights.accessOpen Access
upcommons.ordre4


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Except where otherwise noted, content on this work is licensed under a Creative Commons license: Attribution-NonCommercial-NoDerivs 2.5 Spain