论文部分内容阅读
解决能力件交互问题所采用的方法存在两个弱点: 检测能力和检测方法不完善.针对这一问题,研究了在业务设计阶段检测能力件交互的方法 ,提出了采用混合模型表示能力件,即采用状态机和时序逻辑方法描述能力件的行为状态和 固有性质.在此基础上提出了基于状态机和时序逻辑的能力件组合理论和能力件交互模型.