位置：成果数据库 > 会议 > 会议详情页
The verification of rCOS using SPIN
  • 所属机构名称：华东师范大学
  • 成果类型：会议
  • 相关项目：Web服务组合语言的语义和验证研究
同会议论文项目
Web服务组合语言的语义和验证研究
期刊论文 1 会议论文 18
同项目会议论文
A denotational model for web services choreography
The validation and verification of BPEL
Tool Support for BPEL Verification in ActiveBPEL Engine
A Qos View of Web Service Choreography
Static Check of WSCDL Documents
Reasoning about Channel Passing in Choreography
Correct Channel Passing by Construction
Modelling and Verification of Web Navigation
Enforcing Constraints on Life Cycles of Business Artifacts
Property Checking for Design Patterns
A Bigraphical model of WSCDL
Verification of Channel Passing in Choreography with Model Checking
Execution semantics for rCOS
A Formal Model of Human Workflow
Simulation and Validation of Web services Choreography
Model-checking of Web Services Choreography
Towards Scalable Compositional Test Generation