Checks that a certain required attribute is present

A Schematron mini-schema for PNML constraints specification

This schema is the first of a set or Schematron schemas, which provide sets of Schematron rules you may use to further check the validity of a PNML Document, in addition to the original PNML Schema in RELAX NG. So you may use these rules complementary to validating a PNML Document against its grammar. This document provides constraints on the Core Model and PT nets. First, some basic checks on some important attributes are performed. Then, some OCL constraints stated in the PNML standard that are not captured in PNML Schema are translated into Schematron rules. Schematron is the third part of the ten-part International Standard ISO/IEC 19757, related to XML technologies for data model specification and validation. File name : CMconstraints.sch Version : 2010 Copyright notice : Copyright 2010 Lom Hillah (AFNOR) License : GNU GPL v3 (See http://www.gnu.org/licenses/) Revisions - (Number/Date/Author/[Comment]) : 1/August 13, 2009/L.H./Inception : 2/March 2, 2010/L.H + C.D./Optimization with HashMap of Nodes:Ids

Phases are used for progressive validation. Each phase we provide is basically about a Petri net type. This schema provides a phase for Core Models. If you extend this schema with another phase, you may set the phase you just want for validation: set the value of the @defaultPhase attribute of the 'iso:schema' element to the id of the desired phase. For example a typical extension may involve your tool specific elements. Each phase may activate several rule patterns. It's up to you if you want all patterns be activated, or just the ones you are interested in. In that case, use XML classic comment tag to deactivate those patterns you don't want to use.

Checks that a certain required attribute is present A node of type '' must have a $att attribute. Checks that a certain attribute is referencing an actual node in the document The $att attribute of node of type '' must refer to an existing node. Checks id attribute existence Checks id attribute uniqueness The @id attribute value of the node of type '' is not unique. Checks arcs's source attribute existence Checks arcs's target attribute existence Checks arcs's source attribute references an existing node Checks arcs's target attribute references an existing node Checks if the source and target referenced nodes are on the same page as this arc The 'target' node of arc node must be on the same page as this arc. The 'source' node of arc must be on the same page as this arc. Checks reference nodes' ref attribute existence Checks reference places' ref attribute references an exiting node Checks reference places' ref attribute references a place or another reference place The referenced node from reference place must be a place or a referencePlace. Checks reference transitions' ref attribute references an existing node Checks reference transitions' ref attribute references a transition or another reference transition The referenced node from reference transition must be a transition or a referenceTransition. No cyclic reference among self reference nodes (Just first level of cyclic reference) The reference node of type '' is referencing itself. This document contains net(s). This document contains place(s). This document contains transition(s). This document contains arc(s). This document contains reference place(s). This document contains reference transition(s). In the case of a referencePlace, it must refer to a place or another referencePlace. In the case of a referenceTransition, it must refer to a transition or another referenceTransition. Cyclic references are forbidden.