   |
AsTMa! Language Definition
Robert Barta Bond University
rho@bond.edu.au Copyright © 2002, 2003 Robert Barta
Constraining Topic Map (TM) instances is a necessary component of TM engineering. To make these constraints explicit we propose a Topic Map Constraint Language, AsTMa!. As such, AsTMa! is a part of the AsTMa language family which was designed to facilitate authoring, but also constraining and querying topic maps. This document provides a semi-formal definition of the language. Note that this is still an evolving project and that this document is a current snapshot only.
This document has no formal status. It is a technical report of Bond University.
Introduction
Conventions
Validation Relation
Maplets and Maplet Denotations
Unconditional Constraints
Maplet Patterns
Quantified Constraints
Constraints
Functions
Syntax Extensions
Moderators
Summary
Acknowledgements
Appendix: Language Skins (Non-normative)
Appendix: Predefined Functions (Normative)
Appendix: Syntax (Normative)
Appendix: External Functions (Non-normative)
Appendix: Directives (Normative)
Appendix: References (Non-normative)