公开(公告)号：CN101833481B

公开(公告)日：2012-07-04

申请号：CN201010172366.9

申请日：2010-05-14

Applicant: 北京大学

Inventor： 倪一涛 ,  张路 ,  梅宏

IPC: G06F11/00 ,  G06F9/46

Abstract: 本发明提供了一种用于检测组合服务中并发安排不当的伙伴服务的方法，属于基于服务的软件开发过程的软件质量保障领域，是一种用于辅助查错的静态分析方法。该方法包括：首先，构造组合服务的消息传播图；其次，构造与伙伴服务相关的活动之间依赖关系图；再次，构造可并发运行的活动序列组的队列；最后，检测并发相关不当安排的活动。本方法可单独作为一款工具或一个插件集成到基于业务流程执行语言的服务开发集成开发环境，辅助开发人员自动检测组合服务中可能存在并发相关的伙伴服务不当安排，以提高所设计服务的质量。

公开(公告)号：CN101833481A

公开(公告)日：2010-09-15

申请号：CN201010172366.9

申请日：2010-05-14

Applicant: 北京大学

Inventor： 倪一涛 ,  张路 ,  梅宏

IPC: G06F11/00 ,  G06F9/46

Abstract: 本发明提供了一种用于检测组合服务中并发安排不当的伙伴服务的方法，属于基于服务的软件开发过程的软件质量保障领域，是一种用于辅助查错的静态分析方法。该方法包括：首先，构造组合服务的消息传播图；其次，构造与伙伴服务相关的活动之间依赖关系图；再次，构造可并发运行的活动序列组的队列；最后，检测并发相关不当安排的活动。本方法可单独作为一款工具或一个插件集成到基于业务流程执行语言的服务开发集成开发环境，辅助开发人员自动检测组合服务中可能存在并发相关的伙伴服务不当安排，以提高所设计服务的质量。