论文部分内容阅读
针对文献[1]提出的融合UML和对象Petri网优点建模分布式工作流系统的方法,本文进一步对UML模型中的合同及其相互关系映射后的对象Petri网提供了描述系统行为方面的形式化分析方法,并利用此方法对远程考试通用平台进行了动态分析.
远程考试通用平台的UML模型映射对象Petri网分析
【摘 要】
：
针对文献[1]提出的融合UML和对象Petri网优点建模分布式工作流系统的方法,本文进一步对UML模型中的合同及其相互关系映射后的对象Petri网提供了描述系统行为方面的形式化分析
【机 构】
：
上海对外贸易学院
【出 处】
：
计算机与现代化
【发表日期】
：
2005年10期
其他文献
主要介绍一种实用网络检测技术及其应用的特殊要点,得出Ping命令应用于网络架构及其实用价值.本文研究的网络检测Ping命令的应用,对各类局域网(LAN),对不同类型的广域网(WLAN
支付安全问题已成为制约电子商务发展的瓶颈,用户是电子商务活动中交易的决策者,然而目前并未有解决用户端安全的一个有效方法,本文通过对用户端的特点及其安全性的分析,提出
介绍了一种在Excel中使用Visual Basic for Applications来创建用户自定义函数的方法.
主要针对Web程序开发中在表单提交时可能出现重复提交的问题,给出了客户端和服务器端两种解决方案.结合基于MVC模型的开发源项目Struts,使用同步令牌技术实现了避免表单重复
简述四层B/S体系结构,基于现有的系统开发特点,对已有的基于B/S系统开发模式进行研究.在系统日益面向开放式的环境下,从跨平台集成及系统开发的角度出发,提高系统间数据交换
介绍了脚本部件的工作原理、特性以及使用脚本部件的一般步骤,指出利用脚本部件创建小巧高效、易于维护和部署的COM 部件在工程应用中的意义,并给出了利用Visual Basic语言调
从实时调度需求出发，选择Linux系统对其内核进行扩充，利用TM算法作为扩展目标，引入了“预留”对象这一数据结构．一方面充分利用了应用指定的QoS参数，另一方面，便于在进程间共享QoS
J2EE是Sun公司提出的一种适应企业级计算的体系结构,它为企业级应用开发提供了一个可扩展的解决方案.同时J2EE也是一项企业级的Java API,这些应用程序编程接口为各种各样的中
简要阐述了遗传算法的基本原理和优化过程,并利用Matlab 6.5的图形用户界面(GUI)功能构造遗传算法优化软件包,为遗传算法解决数值优化问题提供了一个简单的GUI平台.数值仿真
装箱问题在现实生活中有着广泛的应用,本文针对装箱问题,提出了BF近似算法和遗传算法相结合的混合遗传算法,并在实现上加以了改进,仿真的结果表明该算法在求解装箱问题的表现