Invention Grant
- Patent Title: Synthesis of message sequence charts from communicating finite-state machines
- Patent Title (中): 从传播有限状态机综合消息序列图
-
Application No.: US12048648Application Date: 2008-03-14
-
Publication No.: US08577665B2Publication Date: 2013-11-05
- Inventor: Praveen K. Murthy , Cong Liu
- Applicant: Praveen K. Murthy , Cong Liu
- Applicant Address: JP Kawasaki
- Assignee: Fujitsu Limited
- Current Assignee: Fujitsu Limited
- Current Assignee Address: JP Kawasaki
- Agency: Staas & Halsey LLP
- Main IPC: G06F9/455
- IPC: G06F9/455 ; G06F9/45
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.
Public/Granted literature
- US20090235226A1 Synthesis of Message Sequence Charts from Communicating Finite-State Machines Public/Granted day:2009-09-17
Information query
