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

• 作者: 柳青
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 对象Petri网 UML 合同 形式化分析 远程考试
• 年，卷（期）: 2005,（10）
• 所属期刊栏目: CAI
• 页码范围: 102-104,107
• 页数: 4页
• 分类号: TP302.1
• 字数: 2878字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2005.10.033

摘要

针对文献[1]提出的融合UML和对象Petri网优点建模分布式工作流系统的方法,本文进一步对UML模型中的合同及其相互关系映射后的对象Petri网提供了描述系统行为方面的形式化分析方法,并利用此方法对远程考试通用平台进行了动态分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	柳青		22	70	4.0	8.0