5、软件组件定义与业务对象配置的综合解析

软件组件定义与业务对象配置的综合解析

软件组件定义的过程导向方法

在软件组件定义中，采用过程导向的方法具有重要意义。其步骤如下：
1. 连接状态与后续状态 ：基于对话规范，通过转换将一个状态与其后续状态连接起来。
2. 添加额外转换和状态 ：添加额外的转换和状态（代理内部的，但可能连接其多个角色），以正式定义代理对话之间所需的交互和同步。

由于代理应该是自包含、自主的软件组件，不同代理角色之间建立连接的唯一方式是对应于对话的状态。得到的Petri网可以进行形式化分析，以检测死锁、安全性和活性。也可以进行模拟，以发现设计与系统需求之间的不匹配。

酒店预订代理示例

以酒店预订系统为例，该示例展示了过程导向组件规范在分布式环境中的应用，支持移动和持久代理之间的对话。主要代理是一个实现虚拟酒店前台的代理，如Hotel A。这个前台是RoomReservation对话的执行者，可以通过三种不同的通信媒体进行对话：为客户提供的HTML前端、为旅行社远程代理提供的消息传递以及为通过互联网访问前台的移动代理提供的消息传递。前台还需要能够使用像SAP R/3这样的（遗留）系统作为后台办公系统，进行控制、物料管理等，但这些并非房间预订的核心部分。

移动代理和旅行社代理可以代表通过互联网联系旅行社的客户充当经纪人，例如找出最便宜的报价。图中的Hotel B代理说明了过程模型的一个重要方面：对于相同的对话规范（如RoomReservation），可以有多个可能不同的代理实现。

每个代理都使用一个通用的面向对象类框架，该框架提供了定义（抽象）对话规