摘要：提出一种基于角色理论的协同虚拟环境要素模型--RACVE.该模型分为两个部分:着重描述协同要素之间的静态关系的RACVE基准要素模型,两个与时间相关的概念--智能主体运行态和Collaborative Federation;以基准要素模型为扩展基础,为了显式地将时间因素作为第四维度,并满足四维和实时的需求,采用模糊时延Petri网技术对CVE各要素的动态状态变迁进行了良好的描述.另外,基于RACVE要素模型,给出了在协同客体并发操作上的应用.

关键词：协同虚拟环境 模糊时延petri网 时延模糊 形式化建模 角色机制 

单位：浙江大学; 杭州; 310015; 香港理工大学; 香港; 浙江大学; 杭州; 310015; 福州大学; 福州; 350002; 浙江大学; 杭州; 310015