...种从顺序图生成并发控制流路径的方法,即根据动作关系定义消息的相继顺序关系,并在此基础上设计了由顺序图到并发控制流图(MSCCFG)的映射规则,利用消息相继顺序关系和映射规则,得到MSCCFG,从而得到并发控制流路径.
基于12个网页-相关网页
应用推荐
模块上移
模块下移
不移动