第三章  原型工具 15

3.1功能 15

3.1.1 程序的输入 15

3.1.2程序的输出 17

3.2程序的具体实现 18

3.2.1算法回顾 18

3.2.2  程序整体的设计框架与算法实现 21

3.3程序的核心代码 26

3.4程序展示 28

第四章 应用案例 32

4.1 应用方向 32

4.2具体方法 32

4.3其他应用 35

第五章 总结 36

致谢 37

参考文献 38

第一章 绪论

1.1研究背景

在业务环境中的任何软件工程项目，转换业务需求成为一个系统规范是一个极为重要的任务。在这个领域的一个重大挑战是，在同一个企业的业务分析师和系统分析师以不同的角度呈现出真实世界里相同的现象。业务流程建模被认定为缩短业务和软件开发，包括服务结构化设计，业务咨询调整，过程感知信息系统工程的距离迈出了重要一步。应该有不同的解决方案为业务分析到软件实现的平稳进展作出贡献。集成系统的方法论设计建议获取技术实现直接凭借精炼的业务需求。同样地，OMG标准化的业务流程建模符号（BPMN）备受关注由于WS-BPEL的翻译，它也是规范的一部分。市场上也有各种工具支持业务流程建模和相关转换。

有不同的因素使业务调整和IT成为一项乏的工作。业务分析师和软件设计师倾向于以不同的方法进行业务流程建模，这往往阻碍了高效的沟通。显然，在每个概念模型中语用是一个固有特性。创建一个模型最重要的是映射和减少实体，目标模型决定了映射什么，减少什么。由于业务分析师和软件设计师看待业务进程有不同的关注点，所以同一个进程业务流程模型和软件设计模型不同并不奇怪。事实上，在集成系统设计感之上，这些模型与任何细节操作并不相关。因此，如何很好的匹配模型是面向过程的软件开发的根本。我们整篇paper主张一个正式的概念用来讨论两个缺少匹配的模型的一致性。它需要辨别不同点，以及使这些模型变换传播。在此软件工程领域，一致性参考“degree of uniformity，standardisation，and freedom of contradiction”。显然，在一致性概念的严格性和服务于不同目的的模型适当性之间有一个平衡。

1.2研究的意义和目的      

有一些以前的研究，对于建立过程模型间的一致性概念有用。一个过程模型的匹配需要鉴定模型的对应关系，这在数据库领域是一个被很好研究过的主题。对应关系的相关元素在两个模型间的匹配中首先进行语义的匹配。给出一系列的对应关系，两个数据模型是否一致类似于数据表的一个映射是否是有效的，这就是已知的数据集成领域的知识。在这方面，各种属性对于一个表映射的有效性评估已经被提出过。例如，满足两表间的一个映射需要存在一对实例，这对实例能够对于各自的表都能满足其映射条件。转换到行为模型的范围，就会产生一个一致性观点，需要在相应关系的元素被解析之后两个模型间都存在一个单一的迹。显然，这是一个比较薄弱的需求。一个更强的表映射属性是losslessness，要求所有的数据元素响应一个特定的查询在一个表中当其被映射时以及拥有一个相当的地位在另一个表中。再次，我们可能绘制类似的行为模型在基本元素的行为约束的假设下，这是一部分对应关系；所有的行为约束在一个模型的迹中在另一个模型中被保留。