一种软件组件系统组件间协作行为分析方法

摘要

本发明涉及一种软件组件系统组件间协作行为分析方法，包括：分析组件行为，建立组件的行为模型；对各组件进行基于Pi演算的行为描述；生成协作路径集合；分析协作路径上的时间约束，生成带时间约束的协作路径集。本发明适用于软件组件系统，关注的不是组件顺序的线性行为，而是组件间的交互行为。将UML与Pi演算理论相结合，提出软件组件协作路径分析方法，在较高的抽象层次上描述各组件间的协作。使用带时间约束的协作路径集作为组件间的协作行为，对行为的描述更加准确。将本发明应用于软件系统的开发过程中，对于提高软件组件协作行为的可信性以及增强整个软件系统的可信性具有重要作用。