论文部分内容阅读
基于扩展信牌驱动模型的工作流仿真包括模型静态检查和动态仿真,研究通过动态仿真手段对流程进行测试与分析,从而获得仿真结果的性能指标和结构功能指标。对路径覆盖指标及缺陷指标进行研究。利用白盒与黑盒2种测试方法对被测流程进行高覆盖度仿真,通过仿真结果反映缺陷的类型、分布与走势,并形成仿真报表。
工作流仿真结果分析
【摘 要】
：
基于扩展信牌驱动模型的工作流仿真包括模型静态检查和动态仿真,研究通过动态仿真手段对流程进行测试与分析,从而获得仿真结果的性能指标和结构功能指标。对路径覆盖指标及缺
【机 构】
：
西北大学软件工程研究所
【出 处】
：
计算机工程
【发表日期】
：
2010年10期
【基金项目】
：
国家“863”计划基金资助重点项目（2007AA010305）
其他文献
从流化床反应器基本工艺出发，通过对反应过程中的乙烯分压，n（H2）／n（C2H4），n（C4H8）/n（C2H4），两种催化剂质量比等的调整，反应器静电、流化床上下部的线型低密度聚乙烯（LLDPE）质量比、松密度、反
针对GT门限密码共享方案需要安全信道、参与者不能直接验证彼此信息的缺陷，基于RSA和离散对数密码体制、单向双变量函数和圆性质，提出一种抗欺诈的动态（t，n）门限秘密共享方案，用于
从总体上看,河南绿色发展仍处于起步阶段,绿色发展的体系尚未建立,绿色发展的制度仍不健全。本文分析了新时代河南绿色发展存在的问题、成因以及面临的挑战与困难,并初步探讨
阐述凡口矿地测部门在数据库、CAD系统开发、网络及三维可视化技术等领域近年来取得的成果。分别开发电子测量导线簿、矿化模型CAD管理系统、地质测量绘图系统和地质测量信息管理系统,建立地质数据库、水文地质数据库和矿床三维模型,组建地测采FTP电子图件服务器,采用空区激光探测系统对3个大爆破采场实施精密探测,建立采场三维可视化模型,准确计算采场各项回采指标。研究表明,凡口矿地测工程信息化技术的广泛应用对
为自动识别MASK、MFSK、MPSK和MQAM信号的调制类型,提出一种瞬时幅度提取算法。该算法不需要对信号进行Hilbert变换和实现码元同步。在此基础上,提出7个特征参数和基于判决理
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
通过对儿童教育网站的市场调研,完成儿童教育网站的需求分析、系统设计及系统开发;在SEO、微信、QQ的推广方式应用下,达到了系统设计的预期目的,在电子商务快速发展的当今社
中国的改革开放已经走过了30多个年头,我国国民经济快速增长,经济实力逐步增强,全球经济一体化、开放化和市场化趋势改变了我国封闭的经济体系。尤其是在2001年11月加入世界