软件众包作为一种新型的软件开发模式,消除了传统软件开发对开发人员地理因素和人员集中的限制,采用群体竞争和多人在线合作的方式共同完后一个软件项目。软件众包具有低成本、高效率、高质量及自由度大等优势,因此近年来获得了越来越多的关注,国内外软件众包平台也得到了迅速的发展。当前的软件众包平台,一类仅支持微小且可快速完成和验收的任务,一类则直接将整个软件系统的开发作为一个任务发布。对软件众包过程中的复合任务分解和描述尚缺乏通用的解决方案,成为了软件众包领域的研究热点和难点。本文就此问题提出并实现了一个软件众包中复合任务的功能性需求规约框架,对此功能规约的验证方法,以及软件众包过程管理的机制。首先,本文针对用户提供的任务分解方案,建立了支持功能分解的复合任务描述元模型,即任务的功能规约框架。采用形式化语言进行数据的抽象声明、任务的功能需求描述和不变量约束的定义等,同时采用图形化的数据流图直观展示任务分解的层次关系和多个子任务之间的交互关系。接着,本文基于上述功能规约框架,构建了复合任务功能规约的验证方法。验证功能规约中的抽象声明一致性,任务的内部一致性和任务可满足性以及约束条件一致性,重点验证复合任务分解方案的正确性,包括父子任务的功能一致性和多个子任务之间交互关系的一致性。本文还基于通过验证的复合任务的功能规约和规约验证方法,设计了众包软件项目开发过程中的子任务验收和复合任务规约调整机制,对复合任务众包过程进行了过程管理。最后,本文获取实际软件众包平台上的开发任务作为案例,进行了完整的功能规约编辑、规约验证和修改的过程,并且模拟众包开发过程来对任务执行过程进行管理,均能达到预期的效果,验证了提出的方法的可行性和正确性。