Change search
ReferencesLink to record
Permanent link

Direct link
A Sophisticated Environment for Protocol Simulation and Testing
Number of Authors: 3
1986 (English)Report (Refereed)
Abstract [en]

This paper describes a protocol development environment aimed at simplifying the development and testing of communication protocols. Protocols are defined in the development environment in a specification language, called BDL, which is based on the process algebra CCS. The behavior of a system is thus expressed in terms of communicating processes, and a rich set of analytical theories for verification are available. The BDL language and the simulator for the language are outlined in the paper. The interactive user interface, implemented on a graphical workstation, is presented. Further the paper describes an interface to the development environment which allows the simulator to interact with protocol implementations directly, and therefore enables protocol testing based on formal definitions.

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 1986, 1. , 18 p.
Series
SICS Research Report, ISSN 0283-3638 ; R86:04
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21327OAI: oai:DiVA.org:ri-21327DiVA: diva2:1041361
Note
Original report number R86004.Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(1886 kB)3 downloads
File information
File name FULLTEXT01.pdfFile size 1886 kBChecksum SHA-512
1f139d65fb31a2880fd94ccb733b821d859dc0263286d5c6dd0fec066cd07b072be2f9d8cc4f4048afa1aefcfb1c6d3075753e16fb0aa7a99028043868092f6d
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 3 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 12 hits
ReferencesLink to record
Permanent link

Direct link