基于形式化模型的任务解析与资源分配方法及系统

本发明提供了一种基于形式化模型的任务解析与资源分配方法及系统，包括：步骤S1：任务解析模块解析任务需求，并将任务需求以任务工作流形式化表示；步骤S2：资源分配模块将形式化的任务工作流合并，得到合并后的任务工作流；步骤S3：将移动终端设备的资源能力抽象成元模型，并在云端进行服务注册；步骤S4：基于合并后的任务工作流以及在云端注册的服务，采用启发式算法进行任务的调度匹配；步骤S5：移动终端设备根据调度匹配结果进行任务的执行。
上海交通大学
张政童 | 孙士勇 | 陈昊鹏 | 王见思 | 黄子昂