Back to results
US 8,577,665 B2Granted
Synthesis of message sequence charts from communicating finite-state machines
AssigneeFujitsu Limited
InventorsPraveen K. Murthy, Cong Liu
Life of this patent
Estimating the term…
Abstract
Synthesizing a message sequence chart (MSC) from a communicating finite-state machine (CFSM), by transforming the CFSM to a Petri net model, generating a labeled finite digraph with each path representing a linearization of an occurrence net segment of the Petri net, decomposing the diagraph into segments, and mapping where each segment to a compositional MSC.
Claims16
A method of synthesizing a message sequence chart (MSC) from a communicating finite-state machine (CFSM), comprising:
- transforming the CFSM to a Petri net model;
- executing by a computer processor to generate a labeled finite digraph with each path representing a chain of events as a linearization of an occurrence net segment of the Petri net;
- decomposing the labeled finite digraph derived from the CFSM into segments;
- and
- mapping each decomposed segment of the labeled finite digraph derived from the CFSM to respective MSCs for output of a compositional MSC based upon the mapped to MSCs.
2 more elements
An apparatus synthesizing a message sequence chart (MSC) from a communicating finite-state machine (CFSM), comprising:
- computing hardware to execute:
- transforming the CFSM to a Petri net model,
- generating a labeled finite digraph with each path representing a chain of events as a linearization of an occurrence net segment of the Petri net,
- decomposing the labeled finite diagraph derived from the CFSM into segments, and
- mapping each decomposed segment of the labeled finite digraph derived from the CFSM to respective MSCs for output of a compositional MSC based upon the mapped to MSCs.
2 more elements
Dependencies are inferred from the claim text.