远程考试通用平台的UML模型映射对象Petri网分析  

Analysis of Mapping Object Petri Nets by UML Model of General Remote Test Platform

作　　者：柳青[1] 

机构地区：[1]上海对外贸易学院,上海200335

出　　处：《计算机与现代化》2005年第10期102-104,107,共4页Computer and Modernization

摘　　要：针对文献[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.

关 键 词：对象PETRI网 UML 合同 形式化分析 远程考试 

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构]