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

DOI10.1016/J.COMNET.2006.03.011MaRDI QIDQ856741zbMATH OpenOpenAlexFDO

Authors Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino, 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

zbMATH Keywords

specificationdistributed systemPetri netautomated design

Mathematics Subject Classification ID

Network protocols (68M12)

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

Cited in

(8)

• Deriving protocol specifications from service specifications written in LOTOS
• scientific article; zbMATH DE number 2062236 (Why is no real title available?)
• Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets
• Decomposing service definition in predicate/transition-nets for designing distributed systems
• Comments on deriving protocol specifications from service specifications written in LOTOS
• Synthesizing distributed protocol specifications from a UML state machine modeled service specification
• scientific article; zbMATH DE number 2088671 (Why is no real title available?)
• A compositional framework to the specification of service protocols controllability and substitutability

Describes a project that uses

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)