Web事务的模型和语义研究

90718004
2007
F0201.计算机科学的基础理论
朱惠彪
重大研究计划
教授
华东师范大学
50万元
程序分析与验证..;形式语义;Web事务处理;语义一致性
2008-01-01到2010-12-01
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Locality-based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-driven System-level Language 会议论文 He Jifeng|Zhu Huibiao|Zhao Yongxin|
2 Formalizing Kerberos Protocol with CSP Methods 会议论文 Zhu Longfei|Yang Fan|Zhu Huibiao|Li Qin|
3 Transaction Calculus 会议论文 He Jifeng|
4 A Probabilistic BPEL-like Language 会议论文 He Jifeng|
5 Probabilistic Model of System Survivability 会议论文 Zhao Yongxin|Zhu Huibiao|Li Jianweni|Huang Yanhong|
6 A Denotational Semantical Model for Orc Language 会议论文 He Jifeng|Li Qin|Zhu Huibiao|
7 Promoting Models 会议论文 Li Qin, Zhao Yongxin, Wu Xiaofeng, Liu Si|
8 Animating the Link between Operational Semantics and Algebraic Semantics for a Timed Probabilistic Shared-Variable Language 会议论文 He Jifeng|Jonathan P. Bowen|Yang Fan|Zhu Huibiao|Jeff W. Sanders|
9 Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources 会议论文 Zhu Huibiao|Ding Jieqi|Li Qin|Zhu Han|
10 Web Services Choreography Validation 期刊论文 Zhou Lei|Zhao Yongxin|Ping Jing|Pu Geguang|Xiao Hao|Zhu Huibiao|Wang Zheng|
11 A Formal Perspective for Service Coordination Framework in Service Oriented Architecture 会议论文 Li Qin|He Jifeng|Zhu Huibiao|
12 From Algebraic Semantics to Denotational Semantics for Verilog 期刊论文 He Jifeng|Jonathan P. Bowen|Zhu Huibiao|
13 An Observational Model for Transactional Calculus of Services Orchestration 会议论文 He Jifeng|Zhu Huibiao|Li Jing|
14 PTSC: Probability, Time and Shared-Variable Concurrency 期刊论文 He Jifeng|Qin Shengchao|Jonathan P. Bowen|Zhu Huibiao|
15 Probabilistic Programming with Coordination 会议论文 He Jifeng|
16 Formalizing MapReduce with CSP 会议论文 Yang Fan|Zhu Huibiao|Li Qin|Su Wen|
17 Formal Approaches to Location Management in Mobile Communications 会议论文 Wu Wenjuan|Li Qin|Kang Juanhua|Zhu Huibiao|
18 Specifying and Verifying Web Transactions 会议论文 Zhu Huibiao|Li Jing|He Jifeng|
19 Towards Specification and Refinement of Contracts with Environment Changes 会议论文 Zhu Huibiao|Li Qin|
20 Linking Denotational Semantics with Operational Semantics for Web Services 期刊论文 Zhu Huibiao|Jonathan P. Bowen|Li Jing|Pu Geguang|He Jifeng|
21 Property Checking for Design Patterns 会议论文 Yu Xiao|Gu Bin|Jiang Siyuan|Feng Libo|Pu Geguang|Zhu Huibiao|
22 Denotational Approach to an Event-driven System-level Language 会议论文 Peng Xiaoqing|Zhu Huibiao|Jin Naiyong|He Jifeng|
23 Towards a Pomset Semantics for a Shared-Variable Parallel Language 会议论文 Zhu Huibiao|Wang Xu|Zhao Yongxin|
24 Formal Modeling and Verifications of Deadlock Prevention Solutions in Service Oriented System 会议论文 Zhu Huibiao|Zhu Han|Ding Jieqi|Li Qin|
25 Towards the Service Composition Through Buses 会议论文 He Jifeng|Li Qin|Zhu Huibiao|
26 Modeling MapReduce with CSP 会议论文 Li Qin|Su Wen|Zhu Huibiao|Yang Fan|
27 Generating Denotational Semantics from Algebraic Semantics for Event-driven System-level Language. 会议论文 Yang Fan|Zhu Huibiao|He Jifeng|
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享