ISO/IEC 19756:2011 情報技術—トピックマップ—制約言語(TMCL) | ページ 2

※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。

序文

ISO (国際標準化機構) と IEC (国際電気標準会議) は、世界標準化のための専門システムを形成しています。 ISO または IEC のメンバーである国家機関は、技術活動の特定の分野を扱うために、それぞれの組織によって設立された技術委員会を通じて、国際規格の開発に参加しています。 ISO と IEC の技術委員会は、相互に関心のある分野で協力しています。 ISO および IEC と連携して、政府および非政府の他の国際機関もこの作業に参加しています。情報技術の分野では、ISO と IEC が合同技術委員会 ISO/IEC JTC 1 を設立しました。

国際規格は、ISO/IEC 指令で指定された規則に従って起草されます。 2.

合同技術委員会の主な任務は、国際規格を作成することです。合同技術委員会によって採択された国際規格草案は、投票のために各国の機関に回覧されます。国際規格として発行するには、投票を行う国の機関の少なくとも 75% による承認が必要です。

このドキュメントの要素の一部が特許権の対象となる可能性があることに注意してください。 ISO および IEC は、そのような特許権の一部またはすべてを特定する責任を負わないものとします。

ISO/IEC 19756 は、合同技術委員会 ISO/IEC JTC 1, 情報技術、小委員会 SC 34, 文書記述および処理言語によって作成されました。

序章

TMCL はトピック マップの制約言語であり、トピック マップ スキーマの定義を正確で機械可読な形式で記述することができます。これにより、TMCL スキーマに対してトピック マップを検証して、トピック マップの制約に準拠しているかどうかを確認できます。また、スキーマ駆動エディタ、オブジェクト マッピングなどの他の用途も可能にします。

TMCL は、多数のトピック、関連性、出現、および役割タイプから構成されるトピック マップ語彙として定義され、公開された主題識別子 (PSI) によって識別され、英語の散文を使用して定義されます。 TMCL は、スキーマ内のすべての制約と、スキーマに関係なくすべてのトピック マップに適用される多数のグローバル検証規則に準拠している場合に、特定のトピック マップがスキーマに従って有効であるという検証の概念を定義します。

TMCL は単にトピック マップの語彙として定義されているため、独自の構文はありません。ただし、CTM を使用した TMCL スキーマの作成を容易にするために、この国際標準では多数の CTM テンプレートが定義されています。

1 スコープ

この国際標準は、トピック マップ インスタンス データの制約を表すトピック マップ語彙と、TMCL スキーマを作成するための CTM テンプレートを定義します。

トピック マップのインスタンス データに対する制約を表すための構文は定義しません。

2 参考文献

本書の適用には、以下の参考文献が不可欠です。日付のある参考文献については、引用された版のみが適用されます。日付のない参照については、参照文書の最新版 (修正を含む) が適用されます。

: 次の各ドキュメントには、テキスト内でドキュメントを引用するために使用される一意の識別子があります。一意の識別子は、参照の最初のコンマまでの部分で構成されます。

  • ISO/IEC 13250-2:2006, 情報技術 — トピック マップ — 2: データモデル
  • ISO/IEC 18048, 情報技術 — SGML アプリケーション — トピック マップ クエリ言語 (TMQL)1)
  • ISO/IEC 13250-6, 情報技術 — トピックマップ — 6: コンパクトな構文
  • XML スキーマ-2, XML スキーマ2: Datatypes Second Edition 、W3C 勧告、2004 年 10 月 28 日、< http://www.w3.org/TR/2004/REC-xmlschema-2-20041028 /> で入手可能

Foreword

ISO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission) form the specialized system for worldwide standardization. National bodies that are members of ISO or IEC participate in the development of International Standards through technical committees established by the respective organization to deal with particular fields of technical activity. ISO and IEC technical committees collaborate in fields of mutual interest. Other international organizations, governmental and non-governmental, in liaison with ISO and IEC, also take part in the work. In the field of information technology, ISO and IEC have established a joint technical committee, ISO/IEC JTC 1.

International Standards are drafted in accordance with the rules given in the ISO/IEC Directives, 2.

The main task of the joint technical committee is to prepare International Standards. Draft International Standards adopted by the joint technical committee are circulated to national bodies for voting. Publication as an International Standard requires approval by at least 75 % of the national bodies casting a vote.

Attention is drawn to the possibility that some of the elements of this document may be the subject of patent rights. ISO and IEC shall not be held responsible for identifying any or all such patent rights.

ISO/IEC 19756 was prepared by Joint Technical Committee ISO/IEC JTC 1, Information technology, Subcommittee SC 34, Document description and processing languages.

Introduction

TMCL is a constraint language for Topic Maps, allowing definitions of Topic Maps schemas to be written in a precise and machine-readable form. This makes it possible to validate a topic map against a TMCL schema to see if it conforms to the constraints in the schema, and also enables other uses, such as schema-driven editors, object mappings, and so on.

TMCL is defined as a Topic Maps vocabulary consisting of a number of topic, association, occurrence, and role types, identified by Published Subject Identifiers (PSIs), and defined using English prose. TMCL defines the concept of validation, by which a given topic map is valid according to a schema if it conforms to all the constraints in that schema and a number of global validation rules which apply to all topic maps independent of schema.

TMCL does not have any syntax of its own, since it is defined simply as a Topic Maps vocabulary. However, a number of CTM templates are defined in this International Standard in order to facilitate authoring of TMCL schemas using CTM.

1 Scope

This International Standard defines a Topic Maps vocabulary for representing constraints on Topic Maps instance data and CTM templates for authoring TMCL schemas.

It does not define a syntax for representing constraints on Topic Maps instance data.

2 Normative references

The following referenced documents are indispensable for the application of this document. For dated references, only the edition cited applies. For undated references, the latest edition of the referenced document (including any amendments) applies.

NOTE Each of the following documents has a unique identifier that is used to cite the document in the text. The unique identifier consists of the part of the reference up to the first comma.

  • ISO/IEC 13250-2:2006, Information technology — Topic Maps — 2: Data model
  • ISO/IEC 18048, Information technology — SGML applications — Topic Map Query Language (TMQL)1)
  • ISO/IEC 13250-6, Information technology — Topic Maps — 6: Compact syntax
  • XML Schema-2, XML Schema 2: Datatypes Second Edition, W3C Recommendation, 28 October 2004, available at < http://www.w3.org/TR/2004/REC-xmlschema-2-20041028 />