【摘 要】
：
业务流程管理需要从概念和逻辑这两个层面对企业的业务流程进行建模分析。概念模型通常用于过程分析,实现业务流程的改进与完善;系统实现时则常常依赖特定的逻辑模型,逻辑模
【机 构】
：
亚利桑那大学Eller管理学院管理信息系统系; 计算机软件新技术国家重点实验室南京大学;
论文部分内容阅读
业务流程管理需要从概念和逻辑这两个层面对企业的业务流程进行建模分析。概念模型通常用于过程分析,实现业务流程的改进与完善;系统实现时则常常依赖特定的逻辑模型,逻辑模型主要用于定义系统执行过程中所涉及的软件模块以及模块间的行为关联。然而,概念模型到逻辑模型的转换非常困难,其转换过程往往产生一些意想不到的错误信息。本文提出了一种有效而准确地进行模型转换的形式化方法。本文首先给出了概念业务流程模型到相应逻辑业务流程模型的转换步骤;接着,根据需求分析的结果,提出了一个模型转换算法;最后,构建了一个用于模型验证的框架,用于检验转换后的逻辑模型与转换前的概念模型是否一致。在该模型验证框架中,概念模型和逻辑模型主要使用业务本体的形式进行描述,一致性约束则由SWRL规则进行描述,并在KAON2推理引擎中进行验证分析。
其他文献
在信息社会,个人信息是一种重要的社会资源。对个人信息的收集与利用,作为一个崭新的、全球性的法律问题,日渐受到关注。在我国学界,个人信息的内涵与外延、个人信息主体的权
采用理气活血法治疗阳萎39例,并与采用右归丸治疗的19例对比,结果前者治愈率为64.1%、总有效率为94.9%,后者分别为37.9%、82.8%。结果提示气滞血瘀是阳萎的重要病机之一,采用
金融市场是金融业的血液循环系统。金融市场的功能在于使资金有效地利用,以加速经济的发展。本文全面分析了深圳经济特区金融市场目前存在的主要问题,阐述了进一步开放特区金
[目的]观察葛根汤加味联合电针治疗肩周炎疗效。[方法]对60例肩周炎患者使用葛根汤加味(药用葛根、桂枝、苍术、木防己、麻黄、制附子、伸筋草、豨签草、地龙、马钱子、生姜
目的:观察侯氏黑散治疗痰瘀阻络型缺血性中风恢复期的临床疗效。方法:入选痰瘀阻络型缺血性脑中风82例随机分成2组,对照组常规西药治疗,血塞通静滴,脑复康口服;治疗组在上药
<正> 《盛世滋生图》又名《姑苏繁华图》,是清乾隆年间苏州画家徐扬所绘。《姑苏繁华图》是一轴反映十八世纪中叶清朝前期社会经济、国家政治、文化生活、思想观念、地理交通
文章利用FPGA器件设计一个A／D转换控制器，按照MAX197的时序直接对A／D的转换工作进行控制，从而完成模数转换。所有这些功能都采用VHDL语言进行描述。最后对改A／D转换进行了硬件综合
目的:对产后缺乳的相关因素进行分析。方法:以2006年1月至2006年12月成都市妇幼保健院分娩的,产后4个月内的产妇为研究对象。按乳汁充足与否分为2组,其中缺乳组52例,正常组17
微服务概念改变着软件开发领域,传统的开源框架结构开发,由于其繁琐的配置流程,复杂的设置行为,为项目的开发增加了繁重的工作量,微服务致力于解决除业务逻辑以外的开发工作
就当前学校体育改革中的目标,内容,实际操作等问题进行思考。提出:高职院校的体育改革主要目标是增强学生体质,课程建设应以健美乐为主线,传统文化并存的基本观点。为高职院