万维网上的时态查询

2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops) Pub Date : 2005-01-31 DOI:10.1109/SAINTW.2005.111

Jun Oyano, N. Saito

{"title":"万维网上的时态查询","authors":"Jun Oyano, N. Saito","doi":"10.1109/SAINTW.2005.111","DOIUrl":null,"url":null,"abstract":"This paper proposes a framework for making temporal queries over WWW. In order to manage dynamic behaviors of Web services, we interpret a part of XML documents as a labeled transition system, and investigate its temporal properties. To cope with the state explosion problem, we adopt the hierarchical abstraction and refinement. Our approach aims at avoiding concrete model construction. It adapts to the ‘divide and rule’ policy of Internet.","PeriodicalId":220913,"journal":{"name":"2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Temporal Queries over World Wide Web\",\"authors\":\"Jun Oyano, N. Saito\",\"doi\":\"10.1109/SAINTW.2005.111\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper proposes a framework for making temporal queries over WWW. In order to manage dynamic behaviors of Web services, we interpret a part of XML documents as a labeled transition system, and investigate its temporal properties. To cope with the state explosion problem, we adopt the hierarchical abstraction and refinement. Our approach aims at avoiding concrete model construction. It adapts to the ‘divide and rule’ policy of Internet.\",\"PeriodicalId\":220913,\"journal\":{\"name\":\"2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops)\",\"volume\":\"22 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-01-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SAINTW.2005.111\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SAINTW.2005.111","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文提出了一个在WWW上进行时态查询的框架。为了管理Web服务的动态行为，我们将一部分XML文档解释为一个标记的转换系统，并研究其时间属性。为了解决状态爆炸问题，我们采用了层次抽象和细化的方法。我们的方法旨在避免具体的模型构建。它适应了互联网的“分而治之”政策。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Temporal Queries over World Wide Web

This paper proposes a framework for making temporal queries over WWW. In order to manage dynamic behaviors of Web services, we interpret a part of XML documents as a labeled transition system, and investigate its temporal properties. To cope with the state explosion problem, we adopt the hierarchical abstraction and refinement. Our approach aims at avoiding concrete model construction. It adapts to the ‘divide and rule’ policy of Internet.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2005 Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops)

自引率

0.00%

发文量