首页> 中文期刊> 《计算机与现代化》 >远程考试通用平台的UML模型映射对象Petri网分析

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机与现代化》 |2005年第10期|102-104107|共4页
作者
柳青;
展开▼
作者单位

上海对外贸易学院;

上海;

200335;

展开▼
原文格式 PDF
正文语种 chi
中图分类总体设计、系统设计;
关键词
对象Petri网; UML; 合同; 形式化分析; 远程考试;

相似文献

中文文献
外文文献
专利

1. 基于UML的远程考试通用平台建模研究 [J] . 柳青 ,胡金柱 . 计算机工程与应用 . 2004,第005期
2. UML模型到面向对象Petri网模型的映射 [J] . 万里威 . 电脑与信息技术 . 2007,第002期
3. 基于对象着色Petri网的UML模型研究 [J] . 王红英 ,张桂戌 . 计算机技术与发展 . 2007,第004期
4. 基于UML和对象Petri网的分布式工作流系统建模方法研究 [J] . 柳青 ,胡金柱 . 计算机应用研究 . 2004,第005期
5. 面向对象设计UML技术在考试系统设计中的实践 [J] . 何方 ,马武刚 . 安阳师范学院学报 . 2006,第005期
6. 基于对象—关系模型映射方法研究 [C] . E Dawei ,鄂大伟 ,Li Ke . 第17届全国计算机新科技与计算机教育学术大会 . 2006
7. 基于Petri网的UML模型映射与验证方法的研究 [A] . 张昭理 . 2004

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号