Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification
Citations
12 citations
3 citations
3 citations
Cites background or methods from "Synthesizing Distributed Protocol S..."
...So in [18] the service specifications are modeled as UML protocol state machines and they apply similar projection and evaluation steps as in [19] to transform the service specifications to protocol specifications but in the form of UML protocol state machines....
[...]
...An example of service specification in the form of UML state machine [18]...
[...]
...Specifically, UML protocol state machines can be used to express concurrency and state hierarchy, consider figure III from [18]....
[...]
...However in one of their recent works [18] Saleh K....
[...]
3 citations
References
402 citations
"Synthesizing Distributed Protocol S..." refers background in this paper
...Proving semantic correctness requires proving that the resulting protocol specification provides the same service specified in the S-SPEC with the same possible orderings of the SPs. Definition 8. µ(SM ) is the collection of all of the possible traces of SPs modeled in the state machine SM....
[...]
[...]
171 citations
"Synthesizing Distributed Protocol S..." refers background in this paper
...x [50], a state machine (previously referenced as a state chart in UML 1) is a diagram where typical states are shown in rounded-corner rectangles connected with labeled arrows that represent transitions....
[...]
156 citations
146 citations
132 citations