Synthesizing distributed protocol specifications from a UML state machine modeled service specification

DOI10.1007/S11390-012-1293-1MaRDI QIDQ2434558zbMATHOpenAlexFDO

Authors Jehad Al Dallal, Kassem A. Saleh

Publication date 6 February 2014

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11390-012-1293-1

zbMATH Keywords

distributed systemnetwork protocolobject-oriented design method

Mathematics Subject Classification ID

Distributed systems (68M14) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Network protocols (68M12)

Recommendations

• The synthesis of communication protocols
• FM 2005: Formal Methods
• Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets
• Comments on deriving protocol specifications from service specifications written in LOTOS
• Deriving protocol specifications from service specifications written as Predicate/Transition-nets

Cites work

• scientific article; zbMATH DE number 1196700 (Why is no real title available?)
• scientific article; zbMATH DE number 1277120 (Why is no real title available?)
• Deriving protocol specifications from service specifications written as Predicate/Transition-nets
• Objects and session types
• Synthesizing distributed protocol specifications from a UML state machine modeled service specification

Cited in

(3)

• Deriving protocol specifications from service specifications written as Predicate/Transition-nets
• Deriving protocol specifications from service specifications written in LOTOS
• Synthesizing distributed protocol specifications from a UML state machine modeled service specification

Describes a project that uses

Uses Software

• SPIN
• FSMC+

This page was built for publication: Synthesizing distributed protocol specifications from a UML state machine modeled service specification

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