【摘 要】
：
工作流形式化建模一直是工作流管理研究的重点和热点.目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由.但是工作流管理系统是涉及过程、数据、组织
【机 构】
：
山东大学计算机科学与技术学院,济南,250100
论文部分内容阅读
工作流形式化建模一直是工作流管理研究的重点和热点.目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由.但是工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统.引入一种新型的图形结构--元图,提出基于元图的基本活动单元的完整工作流模型,重点给出了这种工作流模型的正确性定义,并进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系.
其他文献
社会与科学发展的脚步从未停止,对建筑设计的高要求也不可避免,创新思维急需融进建筑设计,本文便谈论了建筑设计中的创新思维.
随着我国信息化建设工作的推广和深入,互联网已经成为我国最重要的大众传播媒体之一。网络信息技术的飞跃发展正在全方位、深层次地改变着我们的生产与生活方式。信息发布与传输的方式也在经历着巨大变革。互
水源污染日益严重，气候变化异常，鱼虾病害难以治愈，养殖风险不断增加。养殖过程中该如何预防疾病的发生？发现病害如何用药？
随着经济的发展,传统防火规范的局限性逐步暴露出来,而建筑防火性能化设计能不断满足社会的需求,本文即探讨了建筑的防火性能化设计.
随着信息技术的不断发展和新农村建设的日益深入,我国的农业也逐渐由粗放型向集约型和信息型转变.信息化已经成为实现农村可持续发展的重要途径.随着计算机、通信和传感网等
门式刚架轻钢结构是一种成熟的结构体系,具有大跨度、空间布置灵活、自重轻、施工周期短、造价低等优点,其广泛应用于大型工业厂房、民用单层商场、仓储库房、体育场馆等建筑
在新的背景下,伴随着我国经济的快速发展,体育事业有了很大的发展,体育馆的建设数量也规模也在不断扩大,但是体育馆具有特殊性的特征,一定要对其科学合理的规划设计.基于此,
鱼粉是水产动物最好的．动物性原料，世界年产量500—600万吨，其中秘鲁年产130—150万吨，在中国年进口鱼粉100—130万吨中，约70％来源于秘鲁。因此，了解秘鲁的鱼粉加工工艺、加工质量非
建筑业是一个对能源、资源的消耗量都很大的行业,传统建筑业从材料的选用到施工的整个过程对绿色环保理念都不够重视,使建筑工程往往造成很大的污染.随着能源和环境问题的日