课题以协同工作平台服务系统开发为背景,以工作流技术为指导,构造生产任务调度领域模型并优化其调度方法,旨在通过优化调度流程,从而提高调度的效率与资源利用率。同时结合面向对象、面向构件的方法,对生产任务调度软件模型进行研究,以提高调度软件的灵活性与通用性。课题首先通过探讨工作流技术,并以工作流参考模型思想为指导,对生产任务调度软件领域需求进行分析,构建领域模型,使用BPEL对调度过程进行形式化描述。然后,在分析领域模型的基础上,引入代理机制,提出一种基于范例和规则的合同网调度方法,逐步分析任务调度的流程,并使用KQML描述模型中代理间的通信。综合以上结果,建立了生产任务调度的用例模型和活动模型,详细说明生产任务调度功能需求。接着,通过需求分析,建立初始类模型、细化类模型等来描述对象的结构关系,并使用交互模型和状态模型来描述对象行为。最后,通过对任务调度的建模,深刻理解了生产任务调度活动的过程流和信息流后,引入博弈的思想对任务指派算法进行建模和描述,并结合ACME语言给出生产任务调度的典型构架及部分典型实现。课题建立了一个可通用的生产任务调度领域模型,并使用了多种建模方法优化了该模型,通过多种可实现性描述语言对其进行形式化描述,从而提高了软件可读性。课题还提出了基于范例和规则合同网调度方法,减少了调度系统的计算负担。可以说,生产任务调度软件模型的研究具有一定的理论意义和实用价值。