Multi-agents及其形式化与知识表达是软件工程领域的重要研究方向之一。当前，从认知论角度看，部分研究已从Agent-based过渡到Role-based，而从本体论角度看，则从Agent-based过渡到Ontology-based。前者主要研究载体及其知识的“来龙去脉”，后者则主要研究载体的“本质是什么”。从协同计算与知识工程的视野为切入，本课程更为关注协作的“来龙去脉”及其规划、交互，因此主要讨论Role-based Collaboration及其知识表达，而理论载体则为加拿大尼皮辛大学朱海滨教授提出的E-CARGO角色协作模型。

课程主要研究内容分为以下三部分:
1）基于E-CARGO的软件工程方法学及其建模与软件开发方法；
2）多约束下的群组角色指派（Group Role Assignment）；
3）面向E-CARGO的形式化方法与知识表达（主要基于逻辑与代数）。

嘤其鸣矣，求其友声，愿诸君共勉，路漫而致远。