loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Suad Alagić ; Mark Royer and David Briggs

Affiliation: University of Southern Maine, United States

ISBN: 978-972-8865-69-6

Keyword(s): Types, constraints, XML Schema, PVS, theories, program verification, transaction verification.

Related Ontology Subjects/Areas/Topics: Business Analytics ; Data Engineering ; Data Semantics ; Declarative Languages ; Programming Languages ; Software Engineering

Abstract: Representation and verification techniques for XML Schema types, structures, and applications, in a program verification system PVS are presented. Type derivations by restriction and extension as defined in XML Schema are represented in the PVS type system using predicate subtyping. Availability of parametric polymorphism in PVS makes it possible to represent XML sequences and sets via PVS theories. Powerful PVS logic capabilities are used to express complex constraints of XML Schema and its applications. Transaction verification methodology developed in the paper is grounded on declarative, logic-based specification of the frame constraints and the actual transaction updates. A sample XML application given in the paper includes constraints typical for XML schemas such as keys and referential integrity, and in addition ordering and range constraints. The developed proof strategy is demonstrated by a sample transaction verification with respect to this schema. The overall approach has a model theory based on the view of XML types and structures as theories. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 100.25.43.188

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Alagić S.; Royer M.; Briggs D. and (2006). PROGRAM VERIFICATION TECHNIQUES FOR XML SCHEMA-BASED TECHNOLOGIES.In Proceedings of the First International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-972-8865-69-6, pages 86-93. DOI: 10.5220/0001309400860093

@conference{icsoft06,
author={Suad Alagić and Mark Royer and David Briggs},
title={PROGRAM VERIFICATION TECHNIQUES FOR XML SCHEMA-BASED TECHNOLOGIES},
booktitle={Proceedings of the First International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2006},
pages={86-93},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001309400860093},
isbn={978-972-8865-69-6},
}

TY - CONF

JO - Proceedings of the First International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - PROGRAM VERIFICATION TECHNIQUES FOR XML SCHEMA-BASED TECHNOLOGIES
SN - 978-972-8865-69-6
AU - Alagić, S.
AU - Royer, M.
AU - Briggs, D.
PY - 2006
SP - 86
EP - 93
DO - 10.5220/0001309400860093

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.