工作流支持的电子商务柔性建模与验证方法的研究
基本信息
批准号：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
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
2
面向云工作流安全的任务调度方法
面向云工作流安全的任务调度方法
DOI：10.7544/issn1000-1239.2018.20170425
发表时间：2018
3
空气电晕放电发展过程的特征发射光谱分析与放电识别
空气电晕放电发展过程的特征发射光谱分析与放电识别
DOI：10.3964/j.issn.1000-0593(2022)09-2956-07
发表时间：2022
4
瞬态波位移场计算方法在相控阵声场模拟中的实验验证
瞬态波位移场计算方法在相控阵声场模拟中的实验验证
DOI：
发表时间：2020
5
基于结构滤波器的伺服系统谐振抑制
基于结构滤波器的伺服系统谐振抑制
DOI：10.3788/OPE.20192708.1811
发表时间：2019
叶新铭的其他基金
批准号：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
项目类别：面上项目