期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
软件过程自定义方法的研究与实现
1
作者
徐琛
葛孝堃
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第4期107-110,共4页
提出了软件过程自定义的思想,并对其可行性用了研究,讨论了基于XML的可自定义软件过程的实现。实践证明该方法是可行的。
关键词
软件过程
自定义
XML
在线阅读
下载PDF
职称材料
基于可达图的Web服务组合验证
2
作者
乔彬
吴国文
葛孝堃
《计算机应用与软件》
CSCD
2009年第9期203-205,共3页
针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法。采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方...
针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法。采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方法的应用。
展开更多
关键词
WEB服务组合
验证
PETRI网
可达图
在线阅读
下载PDF
职称材料
题名
软件过程自定义方法的研究与实现
1
作者
徐琛
葛孝堃
机构
上海市软中信息技术有限公司
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第4期107-110,共4页
文摘
提出了软件过程自定义的思想,并对其可行性用了研究,讨论了基于XML的可自定义软件过程的实现。实践证明该方法是可行的。
关键词
软件过程
自定义
XML
Keywords
Software process
Self-define
XML
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于可达图的Web服务组合验证
2
作者
乔彬
吴国文
葛孝堃
机构
东华大学计算机科学与
技术
学院
上海市软中信息技术有限公司
出处
《计算机应用与软件》
CSCD
2009年第9期203-205,共3页
文摘
针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法。采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方法的应用。
关键词
WEB服务组合
验证
PETRI网
可达图
Keywords
Web service composition Verification Petri-net Reachability graph
分类号
TP393.4 [自动化与计算机技术—计算机应用技术]
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
软件过程自定义方法的研究与实现
徐琛
葛孝堃
《计算机工程》
EI
CAS
CSCD
北大核心
2005
0
在线阅读
下载PDF
职称材料
2
基于可达图的Web服务组合验证
乔彬
吴国文
葛孝堃
《计算机应用与软件》
CSCD
2009
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
