工作流支持的电子商务柔性建模与验证方法的研究
基本信息
批准号：60563004
项目类别：地区科学基金项目
资助金额：6.00
负责人：叶新铭
学科分类：
依托单位：内蒙古大学
批准年份：2005
结题年份：2006
起止时间：2006-01-01 - 2006-12-31
项目状态： 已结题
项目参与者：刘铁英,贾波,石立新,王玉清,周建涛,李茹,李军,李平,邢熠
关键词：
过程验证互操作过程建模电子商务
结项摘要
电子商务作为基于互联网的一种新兴信息经济，在理论和应用方面得到了不同程度的探索和使用。然而，随着商务应用的业务范围扩展、使用人数增多和使用需求变化，出现了很多新问题，在不同程度上影响着电子商务应用的性能。我们将利用电子商务应用的"流特性"，使用基于工作流的技术对其进行建模和验证研究，解决互操作性、柔性和正确性等问题，并通过对这些问题的综合考虑和协调来进行研究，主要研究内容有：（1）形式化描述机制：
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
岩石/结构面劣化导致巴东组软硬互层岩体强度劣化的作用机制
岩石/结构面劣化导致巴东组软硬互层岩体强度劣化的作用机制
DOI：10.3799/dqkx.2019.110
发表时间：2019
2
船用低速机关键摩擦副建模分析与摩擦力无线测量验证
船用低速机关键摩擦副建模分析与摩擦力无线测量验证
DOI：10.3969/j.issn.1004-132x.2022.04.001
发表时间：2022
3
空中交通延误预测研究综述
空中交通延误预测研究综述
DOI：10.12305/j.issn.1001-506x.2022.03.19
发表时间：2022
4
液体横向射流在气膜作用下的破碎过程
液体横向射流在气膜作用下的破碎过程
DOI：10.7498/aps.70.20201384
发表时间：2021
5
平面并联机构正运动学分析的几何建模和免消元计算
平面并联机构正运动学分析的几何建模和免消元计算
DOI：10.3901/JME.2018.19.027
发表时间：2018
叶新铭的其他基金
批准号：69863001
批准年份：1998
资助金额：10.00
项目类别：地区科学基金项目
批准号：69273027
批准年份：1992
资助金额：5.00
项目类别：面上项目
批准号：60263002
批准年份：2002
资助金额：20.00
项目类别：地区科学基金项目
相似国自然基金
1
支持时间建模与分析的工作流管理系统研究
批准号：60274046
批准年份：2002
负责人：范玉顺
学科分类：F0308
资助金额：22.00
项目类别：面上项目
2
支持工作流动态变更的实例迁移方法研究
批准号：60903124
批准年份：2009
负责人：高新勤
学科分类：F0209
资助金额：18.00
项目类别：青年科学基金项目
3
基于Petri网的工作流系统构造技术与验证方法研究
批准号：60473058
批准年份：2004
负责人：张世琨
学科分类：F0203
资助金额：5.00
项目类别：面上项目
4
基于π演算的工作流访问控制建模及安全性验证
批准号：60673008
批准年份：2006
负责人：张力
学科分类：F0210
资助金额：25.00
项目类别：面上项目