基于Petri网的电子商务系统形式化分析与验证技术研究
基本信息
批准号：60573018
项目类别：面上项目
资助金额：5.00
负责人：杜玉越
学科分类：
依托单位：山东科技大学
批准年份：2005
结题年份：2006
起止时间：2006-01-01 - 2006-12-31
项目状态： 已结题
项目参与者：韩耀军,丁志军,花嵘,张鹏,韩丛英,潘美芹,郭玉彬,周长银,焦圣昌
关键词：
分析与验证工作流电子商务系统Petri网形式化
结项摘要
随着用户数量的增加和服务类型的多样化，电子商务系统愈来愈庞大，愈来愈复杂，这使得电子商务软件系统的设计和分析更加困难. 本项目将在对大量现有电子商务系统形式化方法分析的基础上，根据电子商务系统的具体特点，综合应用(高级)Petri网、时序逻辑、工作流等分析技术，提出并研究用于电子商务系统批处理功能及传值不确定性分析的逻辑工作流网方法、实时性质分析的逻辑时间工作流网方法和主体责任与证据分析的标注工作
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
EBPR工艺运行效果的主要影响因素及研究现状
EBPR工艺运行效果的主要影响因素及研究现状
DOI：10.16796/j.cnki.1000-3770.2022.03.003
发表时间：2022
2
复杂系统科学研究进展
复杂系统科学研究进展
DOI：10.12202/j.0476-0301.2022178
发表时间：2022
3
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
DOI：
发表时间：
4
基于多色集合理论的医院异常工作流处理建模
基于多色集合理论的医院异常工作流处理建模
DOI：
发表时间：2020
5
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
DOI：10.11842/wst.20190724002
发表时间：2020
杜玉越的其他基金
批准号：60773034
批准年份：2007
资助金额：28.00
项目类别：面上项目
批准号：61170078
批准年份：2011
资助金额：57.00
项目类别：面上项目
相似国自然基金
1
基于Petri网的工作流系统构造技术与验证方法研究
批准号：60473058
批准年份：2004
负责人：张世琨
学科分类：F0203
资助金额：5.00
项目类别：面上项目
2
基于Petri网的高速网络协议的描述和验证
批准号：69372018
批准年份：1993
负责人：顾冠群
学科分类：F0104
资助金额：6.00
项目类别：面上项目
3
基于rCOS的形式化方法需求分析与验证
批准号：61562011
批准年份：2015
负责人：杨静
学科分类：F0203
资助金额：39.00
项目类别：地区科学基金项目
4
并发系统的Petri网结构化分析与综合研究
批准号：60970029
批准年份：2009
负责人：焦莉
学科分类：F0201
资助金额：29.00
项目类别：面上项目