Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Scott Uk-Jin | - |
dc.date.accessioned | 2018-08-30T01:49:45Z | - |
dc.date.available | 2018-08-30T01:49:45Z | - |
dc.date.issued | 2009-01 | - |
dc.identifier.citation | JOURNAL OF UNIVERSAL COMPUTER SCIENCE, v. 15, No. 1, Page. 241-272 | en_US |
dc.identifier.issn | 0948-695X | - |
dc.identifier.uri | http://www.jucs.org/jucs_15_1/formal_verification_of_semistructured | - |
dc.identifier.uri | https://repository.hanyang.ac.kr/handle/20.500.11754/74585 | - |
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. | en_US |
dc.language.iso | en_US | en_US |
dc.publisher | SPRINGER | en_US |
dc.subject | Automated verification | en_US |
dc.subject | Data modeling | en_US |
dc.subject | ORA-SS | en_US |
dc.subject | PVS | en_US |
dc.subject | Semistructured data | en_US |
dc.subject | XML DOCUMENTS | en_US |
dc.title | Formal Verification of Semistructured Data Models in PVS | en_US |
dc.type | Article | en_US |
dc.relation.no | 1 | - |
dc.relation.volume | 15 | - |
dc.identifier.doi | 10.3217/jucs-015-01-0241 | - |
dc.relation.page | 241-272 | - |
dc.relation.journal | JOURNAL OF UNIVERSAL COMPUTER SCIENCE | - |
dc.contributor.googleauthor | Lee, Scott Uk-Jin | - |
dc.contributor.googleauthor | Dobbie, Gillian | - |
dc.contributor.googleauthor | Sun, Jing | - |
dc.contributor.googleauthor | Groves, Lindsay | - |
dc.relation.code | 2009213527 | - |
dc.sector.campus | E | - |
dc.sector.daehak | COLLEGE OF COMPUTING[E] | - |
dc.sector.department | DIVISION OF COMPUTER SCIENCE | - |
dc.identifier.pid | scottlee | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.