论文部分内容阅读
工作流系统中的活动是与时间有着紧密联系的，如何保证恰当的活动在恰当时间被执行是工作流系统中的关键问题。探讨了如何利用时序逻辑来解决上述问题，提出了工作流系统中有效性的概念，给出了基于时序逻辑的有效性约束模型，并利用模型检测技术提供了验证有效性约束的方法，最后给出一个实例说明该方法的正确性。
时序逻辑在有效性控制中的应用研究
【摘 要】
：
工作流系统中的活动是与时间有着紧密联系的，如何保证恰当的活动在恰当时间被执行是工作流系统中的关键问题。探讨了如何利用时序逻辑来解决上述问题，提出了工作流系统中有效性
【机 构】
：
广东工业大学
【出 处】
：
电脑与电信
【发表日期】
：
2010年5期
【基金项目】
：
广东省自然科学基金,项目编号：07001802.
其他文献
2010年9月14日消息，上海市无线电管理局近期将对“蹭网”采取行动，查处违法行为。有关负责人指出，如果利用“蹭网”实施其他的网络违法犯罪，“隋节更严重，行为比‘套牌车’更恶劣，
<正> 一、前言 70年代以来,长壁式采煤普遍采用带有双曲线连杆的掩护式自移支架。该型式的自移支架是由铰接顶梁和底座通过双曲线连杆结合而成,所以,从运动学和结构力学看,具
<正>兼容机长期作为与品牌机市场互为补充的地位不容忽视,从销售量、经营规模、营业额,从业人员数量来看,都需要对兼容机市场给予足够的重视,本质上讲是市场对兼容机的巨大的
如今,在新课程改革背景下,创新教育已成为学校内涵发展的重要举措,通过创新教育将促进学生德智体美劳全面发展,培养具有创新精神和创新能力的人才。探析了创新教育在小学语文
对于初中阶段的道德与法治教学这门课,其教育目的意在让学生在日常生活当中,养成良好的人生观、价值观,增强学生的社会责任意识。传统知识灌输的“填鸭式”教学模式并不能将
随着科学技术和现代工业的不断发展，港口大型设备的发展和使用越来越多，这样可以提高生产效率、降低生产成本；如何能使港口大型设备的性能发挥最有作用，离不开日常的设备维护，本文
瓦斯爆炸的热力学模型图张锡英译ｌ前言几年前发表的一篇论文中曾证明，借助于经过改进的Ｈｏｐｋｉｎｓｏｎ压力捧可以在试验室进行突发性甲烷爆炸的模拟试验。在这篇文章中阐述了利用从Ｈｏｐｋｉｎｓｏｎ捧所进行的
文章以漳州核电厂厂前西部围堰施工为例,对围堰施工中的技术要点进行分析探讨,详细分析了大石块围堰与水泥搅拌桩施工的要点及具体措施,希望对围堰施工有所帮助。
小学一年级是幼儿教育向小学教育过度的关键时期,这一阶段学生的管理对班主任提出了很高的要求,需要班主任用心关注小学生的心灵,借助对学生的关心和爱护赢得小学生的信任,以