切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
远程考试通用平台的UML模型映射对象Petri网分析
远程考试通用平台的UML模型映射对象Petri网分析
来源 :计算机与现代化 | 被引量 : 0次 | 上传用户:aszxc1986
【摘 要】
:
针对文献[1]提出的融合UML和对象Petri网优点建模分布式工作流系统的方法,本文进一步对UML模型中的合同及其相互关系映射后的对象Petri网提供了描述系统行为方面的形式化分析
【作 者】
:
柳青
【机 构】
:
上海对外贸易学院
【出 处】
:
计算机与现代化
【发表日期】
:
2005年10期
【关键词】
:
对象PETRI网
UML
合同
形式化分析
远程考试
object Petri nets
UML
contract
formalized analysis
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对文献[1]提出的融合UML和对象Petri网优点建模分布式工作流系统的方法,本文进一步对UML模型中的合同及其相互关系映射后的对象Petri网提供了描述系统行为方面的形式化分析方法,并利用此方法对远程考试通用平台进行了动态分析.
其他文献
网络测试命令Ping的应用技巧
主要介绍一种实用网络检测技术及其应用的特殊要点,得出Ping命令应用于网络架构及其实用价值.本文研究的网络检测Ping命令的应用,对各类局域网(LAN),对不同类型的广域网(WLAN
期刊
网络
测试
应用
network
testing
application
电子支付用户端安全问题探讨
支付安全问题已成为制约电子商务发展的瓶颈,用户是电子商务活动中交易的决策者,然而目前并未有解决用户端安全的一个有效方法,本文通过对用户端的特点及其安全性的分析,提出
期刊
电子支付
用户端
黑盒
SSL协议
NSA算法
E-payment
user client
black box
SSL protocol
RSA algorit
基于决策表用VBA实现Excel函数的定制
介绍了一种在Excel中使用Visual Basic for Applications来创建用户自定义函数的方法.
期刊
VBA
定制
决策表
宏
VBA
definition
decision table
macro
令牌技术在Web项目中的研究与应用
主要针对Web程序开发中在表单提交时可能出现重复提交的问题,给出了客户端和服务器端两种解决方案.结合基于MVC模型的开发源项目Struts,使用同步令牌技术实现了避免表单重复
期刊
令牌
STRUTS框架
WEB设计
token
Strats framework
Web design
面向网络的系统开发与集成
简述四层B/S体系结构,基于现有的系统开发特点,对已有的基于B/S系统开发模式进行研究.在系统日益面向开放式的环境下,从跨平台集成及系统开发的角度出发,提高系统间数据交换
期刊
系统开发
网络技术
数据交换
B/S结构
耦合特性
服务器
应用程序
tier Browser/Server architecture
cross-platfo
Windows脚本部件技术研究与应用
介绍了脚本部件的工作原理、特性以及使用脚本部件的一般步骤,指出利用脚本部件创建小巧高效、易于维护和部署的COM 部件在工程应用中的意义,并给出了利用Visual Basic语言调
期刊
脚本部件
COM
XML
Windows script components
COM
XML
基于QoS的进程调度设计与实现
从实时调度需求出发,选择Linux系统对其内核进行扩充,利用TM算法作为扩展目标,引入了“预留”对象这一数据结构.一方面充分利用了应用指定的QoS参数,另一方面,便于在进程间共享QoS
期刊
实时调度
QOS
RM算法
LINUX系统
J2EE应用程序设计思想的探讨
J2EE是Sun公司提出的一种适应企业级计算的体系结构,它为企业级应用开发提供了一个可扩展的解决方案.同时J2EE也是一项企业级的Java API,这些应用程序编程接口为各种各样的中
期刊
J2EE
Sun公司
应用程序设计
Web
体系结构
EJB
数据访问对象
J2EE platform
Web
EJB
value object
data ac
基于Matlab的GUI设计遗传算法优化软件
简要阐述了遗传算法的基本原理和优化过程,并利用Matlab 6.5的图形用户界面(GUI)功能构造遗传算法优化软件包,为遗传算法解决数值优化问题提供了一个简单的GUI平台.数值仿真
期刊
遗传算法
MATLAB
GUI
genetic algorithm
Matlab
GUI
混合遗传算法在装箱问题中的应用研究
装箱问题在现实生活中有着广泛的应用,本文针对装箱问题,提出了BF近似算法和遗传算法相结合的混合遗传算法,并在实现上加以了改进,仿真的结果表明该算法在求解装箱问题的表现
期刊
装箱问题
最佳适配算法
混合遗传算法
与本文相关的学术论文