【摘 要】
：
为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活
【机 构】
：
杭州电子科技大学管理学院工业工程与管理研究所
【基金项目】
：
国防基础科研计划资助项目(A3920110001);supported by the National Defense Basic Research Program,China(No.A3920110001)
论文部分内容阅读
为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图的工作流过程模型,并给予语义形式描述,增强了时间管理的全面性。鉴于时间复杂性,提出基于等待状态事件触发活动转移路由,解决了循环活动事件时间计算的问题。为了检验该方法的正确性、有效性和时间一致性,对Petri网时间验证方法进行了改进。通过对实例建模,验证了所提方法的合理性。
其他文献
1流行情况我县永安乡洛乌村有76户农民，共存栏黄牛136头，水牛32头。2007年11月3日晚突刮大风，气温剧降。翌13早上出牧时，有2户农户发现自家的2头体质较差的黄牛卧地不起，停止反刍，
澳大利亚联邦卫生部长Nicola Roxon称，联邦政府拟将药物福利计划（Pharmaceutical Benefits Scheme，PBS）批准药品补贴的时间缩短一半。在澳大利亚，只有经治疗产品局（TGA）批准的产品才
食品安全问题与民众生命健康息息相关,随着民众对健康生活水平的追求不断提高,食品检验工作逐渐得到社会大众的广泛关注。研究食品检验的局限性,对提升食品检验的准确性具有
UML活动图缺乏精确的动态语义,不利于对其所描述的系统进行形式化的分析、验证和确认。为此,论文结合Petri网给出了包含对象流状态描述的UML活动图的形式语义,并据此对UML活
阐述了"智慧消防"建设面临的有利条件,分析了建设过程需要解决的突出问题,探讨了实践需要处理的辩证关系,指出"智慧消防"建设将有力提升社会消防安全水平。
【正】《20世纪著名歌唱家》定价:48元香港声乐家、乐评家史君良新著的《20世纪著名歌唱家》(精装版)一书现已由上海世界图书出版公司出版。本书评价了222位20世纪著名歌唱家
桔井公司获得Pneuma partner公司的肺表面活性物质Calfactant（Ⅰ）在日本的开发和营销权。该药用于治疗急性肺损伤（ALⅠ）及其严重临床表现急性呼吸窘迫综合征（RDS）。
摘 要 笔者采用皮下埋藏法治疗末节断指21例26指，成活20例25指，失败1例1指，术后术指外形成功能满意。该法主要适应于失去吻合条件的末节断指。此类为指虽血管损伤，不能吻合，但神经多为挫伤及牵拉伤，很少有缺损，且手指神经为钝感觉神经，修复后效果好，当尽量修复。如能保远指间关节，则应修复；如能保远指间关节，则应同时修复屈指肌腱及伸指肌腱。对小儿患者应注意保护骨骺［1］。 关键词 皮下埋藏 末节断
9月8日，加拿大卫生部批准Johnson＆Johnson公司的Velcade（bortezomib）（I）作为未经治疗且不适合做干细胞移植的多发性骨髓瘤患者的一线治疗药。
小微企业的融资需求较大,但融资约束一直制约着小微企业的发展。民间借贷是解决小微企业融资难的一个重要且现实的途径,但小微企业与民间借贷作为资金供求主体各自隐藏着风险