位置：成果数据库 > 会议 > 会议详情页
Runtime Monitoring of Data-centric Temporal Properties for Web Services
  • 所属机构名称：中国科学院软件研究所
  • 会议名称：2011 IEEE International Conference on Web Services
  • 时间：2011
  • 成果类型：会议
  • 相关项目：动态服务组合自治愈关键技术研究
作者： 吴国全;魏峻;叶春杨;邵小哲;钟华;黄涛|
同会议论文项目
动态服务组合自治愈关键技术研究
期刊论文 4 会议论文 8 专利 1
同项目会议论文
Runtime Verification of Data-Centric Properties in Service Based Systems
Runtime Monitoring of Composite Web Services with BC-Mon4BPEL
Static Detection of Bugs Caused by Incorrect Exception Handling in Java Programs
Generating Open API Usage Rule From Error Description
面向移动平台的消息通讯服务设计与实现
基于日志挖掘的移动应用用户访问模型建模技术研究
Debug Concurrent Programs With Visualization and Inference of Event Structure