Formal Verification of Semistructured Data Models in PVS
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Scott Uk-Jin | - |
dc.contributor.author | Dobbie, Gillian | - |
dc.contributor.author | Sun, Jing | - |
dc.contributor.author | Groves, Lindsay | - |
dc.date.accessioned | 2021-06-23T16:40:11Z | - |
dc.date.available | 2021-06-23T16:40:11Z | - |
dc.date.issued | 2009-01 | - |
dc.identifier.issn | 0948-695X | - |
dc.identifier.issn | 0948-6968 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/41821 | - |
dc.description.abstract | The rapid growth of the World Wide Web has resulted in a dramatic increase in semistructured data usage, creating a growing need for effective and efficient utilization of semistructured data. In order to verify the correctness of semistructured data design, precise descriptions of the schemas and transformations on the schemas must be established. One effective way to achieve this goal is through formal modeling and automated verification. This paper presents the first step towards this goal. In our approach, we have formally specified the semantics of the ORA-SS (Object-Relationship- Attribute data model for Semistructured data) data modeling language in PVS (Prototype Verification System) and provided automated verification support for both ORA-SS schemas and XML (Extensible Markup Language) data instances using the PVS theorem prover. This approach provides a solid basis for verifying algorithms that transform schemas for semistructured data. | - |
dc.format.extent | 32 | - |
dc.language | 영어 | - |
dc.language.iso | ENG | - |
dc.publisher | Technische Universität Graz | - |
dc.title | Formal Verification of Semistructured Data Models in PVS | - |
dc.type | Article | - |
dc.publisher.location | 오스트리아 | - |
dc.identifier.scopusid | 2-s2.0-65349131183 | - |
dc.identifier.wosid | 000266698400009 | - |
dc.identifier.bibliographicCitation | Journal of Universal Computer Science, v.15, no.1, pp 241 - 272 | - |
dc.citation.title | Journal of Universal Computer Science | - |
dc.citation.volume | 15 | - |
dc.citation.number | 1 | - |
dc.citation.startPage | 241 | - |
dc.citation.endPage | 272 | - |
dc.type.docType | Article; Proceedings Paper | - |
dc.description.isOpenAccess | N | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Theory & Methods | - |
dc.subject.keywordPlus | XML DOCUMENTS | - |
dc.subject.keywordAuthor | Semistructured data | - |
dc.subject.keywordAuthor | Data modeling | - |
dc.subject.keywordAuthor | Automated verification | - |
dc.subject.keywordAuthor | ORA-SS | - |
dc.subject.keywordAuthor | PVS | - |
dc.identifier.url | https://www.researchgate.net/publication/220349149_Formal_Verification_of_Semistructured_Data_Models_in_PVS | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
55 Hanyangdeahak-ro, Sangnok-gu, Ansan, Gyeonggi-do, 15588, Korea+82-31-400-4269 sweetbrain@hanyang.ac.kr
COPYRIGHT © 2021 HANYANG UNIVERSITY. ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.