Abstract: By analyzing the features and requirements of business process for scientific computing, this paper proposes a business process meta-model and a Smart Process Modeling Language(SPML) for scientific computing, and gives formal description of field meta-model and conversion algorithm from SPML to business process execution language. It designs and implements a business process modeling system based on SPML. Analysis result shows that this system can help users analyze and abstract business process modeling. It also can create an executable project and deployment file, and complete automatic deployment of process.

Key words: scientific computing, process modeling, meta-model, Smart Process Modeling Language(SPML), formal description, conversion algorithm

摘要： 分析面向科学计算的业务流程的特点和需求，提出一种适用于科学计算的领域元模型及其智能流程建模语言(SPML)，给出领域元模型的形式化描述以及SPML到业务流程执行语言的转换算法。在此基础上，设计并实现一种基于SPML的业务流程建模系统。分析结果表明，该系统既能帮助用户进行业务流程分析和抽象建模，又能生成可执行文件和部署文件，完成流程的自动化部署。

关键词: 科学计算, 流程建模, 元模型, 智能流程建模语言, 形式化描述, 转换算法

CLC Number: 

• TP311.5