SCM. XML

Use XML

Use Stored Object

Use SCQL

SCM. XML. Document

SCM Document is a Document º

SCM Document has a Root Directory ®

<Two different root directories cannot contain directly nested files/directories having the same name.>

SCM Document is associated to an Application Domain º

<Application Domain has a full name that is equivalent to the part of the document name beginning from a root directory, using dot separator.>

SCM. XML. Import

Import Element is a Nested Element º

<At least one nested element of the import element is to be.>

<Import element is of type with name “import”.>

<Import element is to be nested to a SCM document.>

Server Import Element is a Nested Element º

<Server import element is nested to an import element.>

<Server import element is to have text.>

<Server import element is of type with name “serverimp”.>

Server Import Element is associated to a Reference º

<The reference pertains to an application domain of the SCM document.>

<The reference references to a stored object of type “server”.>

<The reference references to a server with the full name that is equal to the element text.>

<Reference name is the last component (via dot) of the element text.>

Concept Import Element is a Nested Element º

<Concept import element is nested to an import element.>

<Concept import element is to have text.>

<Concept import element is of type with name “conceptimp”.>

Concept Import Element is associated to a Reference º

<The reference pertains to an application domain of the SCM document.>

<The reference references to a stored object of type “concept”.>

<The reference references to a concept with the full name that is equal to the element text.>

<Reference name is the last component (via dot) of the element text.>

Query Import Element is a Nested Element º

<Query import element is nested to an import element.>

<Query import element is to have text.>

<Query import element is of type with name “queryimp”.>

Query Import Element is associated to a Reference º

<The reference pertains to an application domain of the SCM document.>

<The reference references to a stored object of type “query”.>

<The reference references to a query with the full name that is equal to the element text.>

<Reference name is the last component (via dot) of the element text.>

SCM. XML. Concept

Concept Element is a Nested Element º

<Concept element is to have attribute of type “name”.>

<Concept element is of type with name “concept”.>

<Concept element is to be nested to a SCM document.>

Concept Element has a Concept Name ®

<The name is value of the “name” attribute.>

Concept Element is associated to a Concept º

<Element concept name and name of the concept are the same.>

<The concept pertains to an application domain of the SCM document.>

<An application domain of the concept element is to contain a concept reference to the concept with its name as reference name.>

Concept Reference is a Nested Element º

<Concept reference is to have text.>

<Concept reference is of type with name “conceptref”.>

Concept Reference is referenced to a Concept ®

<If the concept reference text is not full reference (has no a dot), the concept is of that reference (of type “concept” and of the application domain) which has the same name as the text.>

<If the concept reference text is full reference (has a dot), the concept is that concept which full name is the same as the text.>

Simple Concept Reference is a Concept Reference º

<Simple concept reference is nested to a concept element. All such concept references are simple.>

<The simple concept reference is associated to a simple concept.>

<The simple concept of the concept reference is to be the part of the complex concept associated to the higher concept element in the same position as position of the simple concept reference within the higher element.>

SCM. XML. Connection

Connection Element is a Nested Element º

<Connection element can have attribute of type “biequivalent” taking only two values “true” or “false”.>

<Connection element can have attribute of type “equivalent” taking only two values “true” or “false”.>

<Connection element cannot be have both “equivalent” and “biequivalent” attributes.>

<Connection element is to have at least two nested connection concept references.>

<Connection element is of type with name “connection”.>

<Connection element is to be nested to a SCM document.>

<At least one connection concept reference of a connection element is not to be determinant.>

Biequivalent Connection Element is a Connection Element º

<It has attribute “biequivalent” with the value “true”.>

Equivalent Connection Element is a Connection Element º

<It has attribute “equivalent” with the value “true”.>

<Equivalent connection element is to have at least one nested determinant concept reference.>

Connection Element is associated to a Connection º

<The connection is based on a set of concepts to which the nested connection concept references are associated.>

<The connection is to be biequivalent if and only if the connection element is biequivalent.>

<The connection is to have the same mandatory concepts as those of mandatory concept references of the connection element.>

<If the connection element is equivalent, the connection is to have two determinant concept groups: one of determinant concept references and one of not determinant ones of the connection element.>

<If the connection element is not equivalent, the connection is to be functional only if the connection element has at least one determinant concept reference. The functional dependence is to be directed from concepts of determinant concept references to concepts of not determinant ones.>

<The connection pertains to an application domain of the SCM document.>

Connection Concept Reference is a Concept Reference º

<Connection concept reference is nested to a connection element. All such concept references are connection ones.>

<Connection concept reference can have attribute of type “mandatory” taking only two values “true” or “false”.>

<Connection concept reference can have attribute of type “determinant” taking only two values “true” or “false”.>

Mandatory Concept Reference is a Connection Concept Reference º

<Mandatory concept reference has attribute “mandatory” with the value “true”.>

Determinant Concept Reference is a Connection Concept Reference º

<Determinant concept reference has attribute “determinant” with the value “true”.>

SCM. XML. Server

Server Element is a Nested Element º

<Server element is to have an attribute of type “name”, and can have an attribute of type “connect_string”.>

<Server element is of type with name “server”.>

<Server element is to be nested to a SCM document.>

Server Element is associated to a Server º

<Server element is associated to a server, having value of “name” attribute as its name.>

<The server pertains to an application domain of the SCM document.>

<An application domain of the server element is to contain a server reference to the server with its name as reference name.>

SCM. XML. Table

Table Element is a Nested Element º

<Table element is to have attributes of types “name” and “serverref”.>

<Table element is of type with name “table”.>

<Table element is to be nested to a SCM document.>

<Table element is to have at least one nested field element.>

Table Element is associated to a Table º

<Attribute “name” of the table element is to be relation name of the table.>

<If the attribute “serverref” of the table element is full server reference (with a dot), the table is stored in a server having value of this attribute as a server full name.>

<If the attribute “serverref” of the table element is not full server reference (without a dot), the table is stored in a server to which a server import element reference having the same name as value of this attribute is referencing.>

<If the table element has nested table connection references, the table reflects those connections associated to the table connection references.>

<Primary key of the table consists of attributes of those nested table field elements which “pk” attribute has value “true”.>

<The table pertains to an application domain of the SCM document.>

Field Element is a Nested Element º

<Field element is to have an attribute of type “name”.>

<Field element is to have as nested either at least one nested field element, or at least one field concept reference.>

<Field element is of type with name “field”.>

Table Field Element is a Field Element º

<Table field element is to be nested to a table element.>

<Table field element can have an attribute of type “pk” taking two values: “true”, “false”.>

Nested Field Element is a Field Element º

<Nested field element is to be nested to a table field element.>

Field Element is associated to an Attribute Field º

<Attribute “name” of the field element has the same value as name of the attribute field.>

<If the field element is table field element, the attribute field is to be an attribute nested to a table of the higher table element. The field element has the same position as the attribute field in the table.>

<If the field element is nested field element, the attribute field is to be nested to an attribute field of the higher field element in the same position as the field element.>

<If the field element has nested field concept references, it reflects concepts associated to the concept references.>

Field Concept Reference is a Concept Reference º

<Field concept reference is to be nested to a field element.>

<The concept reference is to be associated to a simple concept.>

Table Connection Reference is a Nested Element º

<Table connection reference is to be nested to a table element.>

<Table connection reference is to have at least two nested concept references.>

<Table connection reference is of type with name “connectionref”.>

Table Connection Reference is associated to a Connection º

<The connection is to be based on set of concepts that are associated to nested concept references.>

SCM. XML. Query

Query Element is a Nested Element º

<Query element is to have the attribute of type “name”.>

<Query element is of type “query”.>

<Query element is to be nested to a SCM document.>

Query Element is associated to a Query º

<The value of the attribute “name” is the same as the name of the query.>

<The query pertains to an application domain of the SCM document.>

<The query has root selection operation of a selection operation element nested to the query element.>

<The query has natural texts of natural elements nested to the query element.>

<The query has formal texts of natural elements nested to the query element.>

<An application domain of the query element is to contain a query reference to the query with its name as reference name.>

Natural Element is a Nested Element º

<Natural element is to be nested to a query element.>

<Natural element is to have text.>

<Natural element is of type with name “natural”.>

Formal Element is a Nested Element º

<Formal element is to be nested to a query element.>

<Formal element is to have text.>

<Formal element is of type with name “formal”.>

Order Element is a Nested Element º

<Order element is to be nested to a query element.>

<Order element can to have the attribute of type “type” taking two values: “ASC”, “DESC”. Default value is “ASC”.>

<Order element is to have one nested role concept element.>

<Order element is of type with name “order”.>

Order Element is associated to a Role Concept Order º

<The order element is nested to a query element associated to a query having the role concept order.>

<The role concept order position is the sequential number of the order element among all order elements of the query element.>

<The role concept order has order type according to value of the attribute “type”.>

<The role concept order is defined for the role concept associated to the nested role concept element of the order element.>

Selection Operation Element is a Nested Element º

<Selection operation element can be nested to a query or selection operation element.>

<Selection operation element can have attribute of type “outer” taking two values: “true”, “false”.>

Selection Operation Element is associated to a Selection Operation º

<The type of selection operation element is to be the same as the type of selection operation.>

<If the selection operation element has a higher selection operation element, the selection operation is nested to a selection operation associated to the higher element in the same position.>

<The selection operation element is associated to a selection operation according to particular associations below (including query reference element).>

<If the selection operation element has the attribute “outer” with value “true”, the selection operation is outer, else the selection operation is not outer.>

Connection Selection Element is a Selection Operation Element º

<Connection selection element is of type with name “connection”.>

<Connection selection element is to have at least two nested role concept elements.>

<All role concept elements nested to the connection selection element are to have concepts.>

Connection Selection Element is associated to a Connection Selection º

<The connection selection is to be based on connection based on a set of concepts of nested role concept elements.>

Transformation Element is a Selection Operation Element º

<Transformation element is of type with name “transformation”.>

<Transformation element is to have at least one nested role concept element.>

<Transformation element is to have exactly one nested selection operation element.>

<Nested role concept elements of the transformation element can have only one nested function element or role concept element.>

Transformation Element is associated to a Transformation º

<The transformation is based on role concepts of nested role concept elements.>

<For each nested role concept element of the transformation element, having nested function element or nested role concept element, there is one transformation function in the transformation. The transformation function calculates the role concept of this nested role concept element according to a) the function of this nested function element, b) term function based on a role concept of this nested role concept element.>

Composition Element is a Selection Operation Element º

<Composition element is of type with name “composition”.>

<Composition element has at least two nested selection operation elements.>

Composition Element is associated to a Composition º

Union Element is a Selection Operation Element º

<Union element is of type with name “union”.>

<Union element has only two nested selection operation elements.>

Union Element is associated to a Union º

Minus Element is a Selection Operation Element º

<Minus element is of type with name “minus”.>

<Minus element has only two nested selection operation elements.>

Minus Element is associated to a Minus º

Logical Selection Element is a Selection Operation Element º

<Logical selection element is a predicate element directly nested to a composition element.>

Logical Selection Element is associated to a Logical Selection º

<The logical selection is to have the predicate associated to the predicate element of the logical selection element.>

Query Reference Element is a Selection Operation Element º

<Query reference element is of type with name “queryref”.>

<Query reference element is to have text.>

<Cyclic query references are not allowed.>

Query Reference Element is referenced to a Query ®

<If the value of text is full (with a dot), the query reference element is referenced to a query having full name as this value.>

<If the value of text is not full (without a dot), the query reference element is referenced to a query referenced by a reference associated to a query import element having the same text as this value.>

Query Reference Element is associated to a Selection Operation º

<The selection operation is full copy (including all selection operations tree and their main parameters) of a root selection operation of a query referenced by the query reference element.>

Role Concept Element is a Nested Element º

<Role concept element can be nested to order element, selection operation element, predicate element, function element, role concept element.>

<Role concept element is to have at least one of attributes of types: “concept”, “role”.>

<Role concept element is of type with name “role concept”.>

Role Concept Element can reference to a Concept ®

<If and only if the role concept element has “concept” attribute, it references to a concept.>

<If the “concept” attribute value is full name of a concept (with a dot), the concept is this concept.>

<If the “concept” attribute value is not full name of a concept, the concept is that which is referenced by the attribute value with a “concept” reference in the application domain.>

Role Concept Element has a Role Name ®

<If the role concept element has no attribute of type “role”, the role name is empty. Else the role name is the value of the attribute.>

Role Concept Element is associated to a Role Concept º

<If the role concept element does not reference to a concept, the role concept is a calculated role concept having the appropriate role name.>

<If the role concept element does reference to a concept, the role concept is a base one based on this concept and having the appropriate role name.>

Predicate Element is a Nested Element º

<Predicate element can be nested to predicate element, composition element.>

<Predicate element is to have attribute of type “type”.>

<Predicate element is of type with name “predicate”.>

Predicate Element is associated to a Predicate º

<If the predicate element has a higher predicate element, then this predicate is nested to a predicate associated to the higher predicate element in the same position as the predicate element.>

<If the predicate element has a nested role concept element in a position, then the predicate has a nested term function based on associated role concept as variable in the same position.>

<Type of the predicate is to be the same as value of the “type” attribute (AND, OR, NOT, >, <, >=, <=, =): the predicate is to be logical or term according to type and is to have an appropriate comparison operation or logical operation.>

<Predicate element associated to a term predicate can have only two nested elements of types: function element or role concept element.>

Function Element is a Nested Element º

<Function element can be nested to role concept element, function element, predicate element.>

<Function element is to have either an attribute of type “type”, or an attribute of type “constant”.>

<Function element with “constant” attribute is not to have nested function elements.>

<Function element is of type with name “function”.>

Function Element is associated to a Function º

<If the function element has a higher predicate element, then this function is nested to a term (only) predicate associated to the higher predicate element in the same position as the function element.>

<If the function element has “constant” attribute, the function is constant and is based on constant value being equal to value of the “constant” attribute.>

<If the function element has “type” attribute, the function is operation and its operation type is the same as value of “type” attribute.>

<If the function element has a nested role concept element in a position, then the function has a nested term function based on associated role concept as variable in the same position.>

<If the function element has a higher function element, then this function is nested to a function associated to the higher function element in the same position as the function element.>