检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]西北工业大学计算机学院,西安710072 [2]西北工业大学高性能计算中心,西安710072
出 处:《计算机工程》2012年第18期53-56,共4页Computer Engineering
基 金:国家"863"计划基金资助项目"面向应用可定制的跨域协同服务支撑平台"(2009AA01Z142);西北工业大学研究生创业种子基金资助项目(Z2011123)
摘 要:分析面向科学计算的业务流程的特点和需求,提出一种适用于科学计算的领域元模型及其智能流程建模语言(SPML),给出领域元模型的形式化描述以及SPML到业务流程执行语言的转换算法。在此基础上,设计并实现一种基于SPML的业务流程建模系统。分析结果表明,该系统既能帮助用户进行业务流程分析和抽象建模,又能生成可执行文件和部署文件,完成流程的自动化部署。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.
关 键 词:科学计算 流程建模 元模型 智能流程建模语言 形式化描述 转换算法
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.133.129.118