摘要
针对文献[1]提出的融合UML和对象Petri网优点建模分布式工作流系统的方法,本文进一步对UML模型中的合同及其相互关系映射后的对象Petri网提供了描述系统行为方面的形式化分析方法,并利用此方法对远程考试通用平台进行了动态分析。
Based on a distributed workflow system modeling method using UML and object Petri nets advantage in reference[ 1 ], the article further provides a formalized analysis method describing the system's dynamic behavior to the mapping object Petri nets by the contracts in UML model and their correlation. It also uses this method to do the dynamic analysis for the general remote test platform.
出处
《计算机与现代化》
2005年第10期102-104,107,共4页
Computer and Modernization