机译：基于代理的协作业务过程建模和验证：以交互和行为为中心的方法
机译：行为反模式规范，用于验证区块结构的协作业务流程
机译：基于代理的建模方法，用于了解工人与管理人员之间的互动对建筑工人安全相关行为的影响
机译：建模产品架构对大规模协作过程的影响-一种基于Agent的方法
机译：决策流程和消费者行为方法应用于呼叫中心设计的建模和评估。
机译：理解建筑工人不安全行为的社会认知过程：基于代理的建模方法
机译：迈向基于代理的协作业务流程建模和验证：一种以交互和行为为中心的方法
机译：众包形式验证：面向以人为本的商业模式的商业案例分析。
