Deriving protocol specifications from service specifications written as Predicate/Transition-nets

DOI10.1016/J.COMNET.2006.03.011zbMATH Open1118.68028OpenAlexW2116538305MaRDI QIDQ856741FDOQ856741

Hirozumi Yamaguchi, Teruo Higashino, Khaled El-Fakih, Gregor von Bochmann

Publication date: 7 December 2006

Published in: Computer Networks (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.comnet.2006.03.011

Recommendations

• Deriving protocol specifications from service specifications written in LOTOS
• Comments on deriving protocol specifications from service specifications written in LOTOS
• Decomposing service definition in predicate/transition-nets for designing distributed systems
• A compositional framework to the specification of service protocols controllability and substitutability
• Synthesizing distributed protocol specifications from a UML state machine modeled service specification

zbMATH Keywords

specificationdistributed systemPetri netautomated design

Mathematics Subject Classification ID

Network protocols (68M12)

Cited In (6)

• Deriving protocol specifications from service specifications written in LOTOS
• Title not available (Why is that?)
• Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets
• Synthesizing distributed protocol specifications from a UML state machine modeled service specification
• Title not available (Why is that?)
• A compositional framework to the specification of service protocols controllability and substitutability

Uses Software

• CPN/Tools

This page was built for publication: Deriving protocol specifications from service specifications written as Predicate/Transition-nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q856741)