首页>
外国专利>
Synthesis of message sequence charts from communicating finite-state machines
Synthesis of message sequence charts from communicating finite-state machines
展开▼
机译:通过通信的有限状态机综合消息序列图
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼