这篇论文建议一个方法在多域环境形式化互操作。通过采用代数学方法,我们为互操作结束冲突的四种类型,;分析政策冲突的原因。为冲突的每种类型,我们形式化它;建议察觉的方法;分辨率。最后,方法被照亮通过把我们的工作与其它作比较有效。
This paper proposes a method to formalize the interoperation in multi-domain environment. Through employing the algebra method, we conclude four types of the conflicts for the interoperation, and analyzes the cause of the policy conflicts. For each type of conflicts, we formalize it and proposes the method of detection and resolution. Finally, the method is illuminated be effective through comparing our work with others.