【摘 要】
：
提出一种面向Artifact的业务过程形式化模型。利用谓词/变迁Petri网建模的优势,根据Artifact的特点,用半结构化数据描述Artifact,以表示Artifact结构的文档类型定义作为静态
【机 构】
：
燕山大学信息科学与工程学院计算机科学与工程系,东华大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金资助项目（60773100）
论文部分内容阅读
提出一种面向Artifact的业务过程形式化模型。利用谓词/变迁Petri网建模的优势,根据Artifact的特点,用半结构化数据描述Artifact,以表示Artifact结构的文档类型定义作为静态谓词,通过一种操作XML的一阶逻辑语言描述变迁。实验表明,该模型能有效分析Artifact的可达性、持久性和唯一性等问题。
其他文献
随着社会的不断发展,科学技术有了很大提升,很好的促进了我国工业生产水平的提升。在电子技术水平不断提高的情况下,我国应充分运用电子技术来控制工业工作,从而推动工业的发
改革开放四十年以来,我国经济社会面貌发生了巨大的变化,当前,我国经济迈入高质量发展期,进入新时代。随着供给侧结构性改革和金融领域改革的持续深入,农村信用社在服务“三农”、支援地方经济发展方面作用越来越不可替代。新形势下,由于农信社固有体制的弊端、转型改革及不合理的人力资源管理制度,员工流失率的逐年上升,成为当前农村信用社面临的最为头疼和急需解决的突出问题,甚至会演化成为一项关系农村信用社生存发展乃
针对多链路接入问题,选取链路成本及影响网络性能的路由跳数作为多链路出口路径选择的优化对象,通过建立多目标优化模型,将多链路出口路径选择转化为动态规划问题,提出一个基
随着我国社会经济的不断发展,旅游行业也随之蓬勃发展,各中职院校的旅游相关专业成为热门专业,其中就包括旅游管理专业。基于此,为了能够更好地开展中职旅游管理专业教学,就
利用氨基酸数字编码模型,将蛋白质序列转换为数字序列,根据偏序理论构建蛋白质哈斯矩阵。基于同一类型蛋白质哈斯矩阵图具有相似图像纹理的假设,运用图像处理方法提取图像的几何矩作为伪氨基酸成分,对G-蛋白偶联受体类型分为2层进行预测,预测成功率分别为92.33%和85.48%。预测效果表明该方法是可行的。
2007年《公司债券发行试点办法》的发布标志着我国公司债券市场正式起步。债券的价格是发行和流通中需要考虑的重要因素,因此合理的为债券定价对我国公司债券市场的发展有重
为建立一个高效的互联网在线地图服务路径搜索引擎,提出一种基于分块路径缓存的最短路径算法。对路网重采样得到路网密集度图像,提出路网分块算法ISODATA。根据路网子块构建路径缓存设计缓存路径索引算法,提出基于子块缓存路径与节点间动态路径结合的双向路径搜索算法。实验结果表明,该算法可将城市级在线路径搜索时间控制在0.2s以内,降低网络地图服务路径计算服务器负荷。
引入动态共享库机制能节约内存资源，并容易升级，但却带来安全隐患。针对该问题，研究动态链接机制，提出一种针对动态共享库的程序运行时监控和保护的方法。对共享库文件进行签名和
中国经济的不断持续发展,使得越来越多的外国投资者对中国的企业产生了强烈的兴趣,希望能够共享中国经济发展的成果。世界各主要交易所都把目光瞄向中国,吸引中国公司到他们