W3C home > Mailing lists > Public > public-sml@w3.org > October 2007

[Bug 5112] rule binding concept should move to sml

From: <bugzilla@wiggum.w3.org>
Date: Tue, 30 Oct 2007 17:01:20 +0000
CC:
To: public-sml@w3.org
Message-Id: <E1ImuSu-0005YP-Un@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5112


popescu@ca.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|editorial                   |needsReview




------- Comment #5 from popescu@ca.ibm.com  2007-10-30 17:01 -------
Changes :

1. In IF : Removed rule bindings definition from IF, section 5.4.2 ( moved
under SML ).

Current content of section 5.4.2 in IF

5.4.2 Rule bindings
The ruleBinding element is used in SML-IF to express SML rule bindings. In any
given binding the set of rule documents is that subset of rule documents in the
interchange set with an alias that matches the URI prefix given by the content
of the ruleAlias element. The set of model documents in the binding is that
subset of the documents in the interchange set with an alias that matches the
URI prefix given by the content of the documentAlias element. If the
documentAlias element is omitted in a ruleBinding, the set of model documents
in the binding is all documents in the interchange set.
Although SML-IF itself does not do so, various uses of SML-IF MAY choose to
extend the sets of documents involved in bindings to include documents not
contained in the interchange set. For example, if an SML-IF document is used to
represent a model fragment that is intended to be merged with some other model,
it is entirely possible that some or all of the bindings may involve not just
the documents in the interchange set, but documents in the other model.


2. In SML
Added rule binding definition in SML under Terminology section ( John suggested
to have a new section 5.1 Rule bindings but I found Terminology more
appropriate since it already contains the definition for rule )

3. In SML, under Terminology, added a new definition for ‘rule documents’ :
A rule document is an SML model definition document that conforms to the SML's
profile of Schematron.

New content for Terminology section:

2.2 Terminology

Document
A well-formed XML document, as defined in [XML].

Model
A set of inter-related documents that describe a service or system.  Each model
consists of two disjoint subsets of documents –definition documents and
instance documents.

Rule
A rule is a boolean expression that constrains the structure and content of a
set of documents in a model. 

Rule document
A rule document is an SML model definition document that conforms to the SML's
profile of Schematron.

Rule bindings
A rule binding is an association of a set of one or more rule documents with a
set of zero or more model documents. The documents associated with a given rule
document are said to be "bound" to it. For a model to be valid, every
definition and/or instance document in the model must conform to the
constraints defined by every rule document it is bound to. It is permissible
for a rule document to have no bindings associated with it, and for a model
document to be bound to zero rule documents.

Model Definition
The subset of documents in a model that describes the schemas and rules that
govern the structure and content of the model's documents. This specification
defines two types of model definition document - Schema documents that conform
to XML Schema and rule documents that conform to SML's profile of Schematron –
but permits implementations to define other types of model definition
documents. Such other types of model definition documents do not play any role
in SML model validation.

Model Instance
A model instance is the subset of documents in a model that describe the
structure and content of the modeled entities.

Model Validation
The model validation is the process of verifying that all documents in a model
are valid with respect to the model's definition documents.

Model Validator
A model validator is an embodiment capable of performing model validation

3. Changed SML section 5. Rules, second last paragraph
from:
Model validators that conform to this specification MUST provide a mechanism to
support binding of Schematron patterns that are authored in separate documents,
i.e., not embedded in schema definition, to a set of documents in a model.

To:
Model validators that conform to this specification MUST provide a mechanism to
support binding of Schematron patterns, authored in separate rule documents, to
a set of documents in a model.
Received on Tuesday, 30 October 2007 17:01:32 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:56:07 UTC