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

DOI10.1007/S11390-012-1293-1zbMATH Open1280.68067OpenAlexW2051375792MaRDI QIDQ2434558FDOQ2434558

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Objects and session types
• Synthesizing distributed protocol specifications from a UML state machine modeled service specification
• Deriving protocol specifications from service specifications written as Predicate/Transition-nets

Cited In (3)

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

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)