Task analysis and resource allocation method and system based on formalized model

The invention provides a task analysis and resource allocation method and system based on a formalized model. The method comprises the steps: S1, analyzing a task demand through a task analysis module, and carrying out the formalized representation of the task demand through a task workflow; s2, combining the formalized task workflows by a resource allocation module to obtain combined task workflows; s3, abstracting the resource capability of the mobile terminal device into a meta-model, and carrying out service registration on the cloud; s4, based on the merged task workflow and the service registered in the cloud, scheduling matching of the tasks is carried out by adopting a heuristic algorithm; and S5, the mobile terminal equipment executes the task according to the scheduling matching result. 本发明提供了一种基于形式化模型的任务解析与资源分配方法及系统，包括：步骤S1：任务解析模块解析任务需求，并将任务需求以任务工作流形式化表示；步骤S2：资源分配模块将形式化的任务工作流合并，得到合并后的任务工作流；步骤S3：将移动终端设备的资源能力抽象成元模型，并在云端进行服务注册；步骤S4：基于合并后的任务工作流以及在云端注册的服务，采用启发式算法进行任务的调度匹配；步骤S5：移动终端设备根据调度匹配结果进行任务的执行。