A verified connection management protocol for the transport layer
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
IEEE Transactions on Software Engineering
Investigating the Applicability of Petri Nets for Rule-Based System Verification
IEEE Transactions on Knowledge and Data Engineering
Designing and Testing Negotiation Protocols for Electronic Commerce Applications
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Hi-index | 0.00 |
This paper is intended to survey the applicability of Petri nets for protocol, as well as for service specification and validation. At the specification level, different classes of nets are introduced, and emphasis is given to the modular specification of a protocol layer. At the validation level, the analysis techniques implemented in the CAD package OGIVE/OVIDE are presented, and are used in order to prove safety and progress properties of a protocol layer. Finally, the specification and validation of the ISO Transport protocol is chosen as a significant example of the proposed design methodology.