排序方式: 共有3条查询结果,搜索用时 78 毫秒
1
1.
角色自律分散系统的RN-C形式化描述方法 总被引:1,自引:0,他引:1
旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点. 相似文献
2.
3.
由于受多种角色期待的制约,大学系主任与其他学术人员和管理人员 相比存在更多的角色紧张和角色冲突。系主任本人及相关管理部门应根据系主任角色行为的特点,正确评价系主任的工作。 相似文献
1