论文部分内容阅读
旨在为角色自律分散系统的建模提供一种形式化方法，为形式化验证奠定基础。角色随时空变化的动态表达取决于系统的自律度和环境条件。在对几类系统自律性的度量指标分析比较的基础上，从内部视点和外部视点2个角度，以及行为层、协调层和规范层3个层次，定义了角色自律度矩阵；提出了角色规范-条件（RN—C）形式化描述方案，包括角色、角色空间、规范、角色转换、行为条件等基本要素。应用RN—C方案，建立了角色行为状态的自激状态声明和受控状态声明的形式化描述；给出了角色域与数据域双重驱动体系结构中的行为原语描述，包括操作行为原语