看不清,换一个
记住密码
无法访问您的账户?
确定
该学科分类下暂无学术成果
【期刊论文】WS-BPEL服务可替换性分析
宋巍, 唐金辉, 张功萱, 马晓星.
【期刊论文】Web服务组合动态演化的实例可迁移性
宋巍, 马晓星, 吕建.
【期刊论文】过程感知信息系统中过程的动态演化
宋巍, 马晓星, 胡昊, 吕建.
【期刊论文】Preserving Data Flow Correctness in Process Adaptation
宋巍, Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, Jian Lü.
【期刊论文】时间约束Petri网及其可调度性分析与验证
宋巍, 窦万春, 刘茜萍.
【期刊论文】Timed Modeling and Verification of BPEL Processes Using Time Petri Nets
宋巍, Wei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lü.
【期刊论文】Refactoring and Publishing WS-BPEL Processes to Obtain More Partners
宋巍, Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, Qiliang Yang, Jian Lü.
【期刊论文】Toward a Model-based Approach to Dynamic Adaptation of Composite Services
宋巍, Wei Song, Xiaoxing Ma, Wanchun Dou, Jian Lü.
【期刊论文】Safety Analysis and Performance Evaluation of Time WF-nets
宋巍, Wei Song, Wanchun Dou, Jinjun Chen, Shaokun Fan.
【期刊论文】A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions
宋巍, Wei Song, Xiaoxing Ma, S. C. Cheung, Wanchun Dou, Jian Lü.
生成主页
您搜索的内容暂无专辑!
中华人民共和国教育部 教育部科技发展中心 中国教育与科研计算机网 教育部学位与研究生教育发展中心 国家留学基金委
中国学术会议在线 中国教育人力资源系统 中国教育新闻网 神州学人 中国教育在线