PyEmofUC_XMI

La especificación XMI ha sido propuesta por OMG a fin de estandarizar el intercambio de datos y el almacenamiento persistente en ficheros y se formaliza a través de del W3C-Schema XMI.xsd.

En el entono PyEmofUC se utiliza la formulación XMI de un modelo en dos casos:

Para almacenar el modelo en un fichero persistente.
Para transferir el modelo entre entornos a través de un recurso de comunicación que utilice un flujo de caracteres.

La representación textual XMI utiliza texto etiquetado XML y sobre él incorpora ciertas restricciones y extensiones para estandarizar su formulación entre entornos UML.

Los aspectos fundamentales especificados por el formato XMI son:

Los ficheros XMI son ficheros textuales etiquetados conformes a la especificación XML de la organización W3C.

La estructura del los documentos XMI se definen a través de documentos Schema definidos por W3C.

Se definen los mecanismos para formular las referencias entre elementos de los modelos como referencias textuales estandarizadas.

Los objeto se identifican en base a identificadores xmi:IDs

Especificación XMI específica de PyEmofUC

Estructura: Aunque XMI restringe mucho la estructura y los recursos para codificar la información de modelos, dejan abiertas muchas opciones para acoger las estrategias de diferentes diseñadores de entornos.
En PyEmofUC se han adoptado las siguientes características para la codificación textual de los modelos y metamodelos:

El elemento principal contiene información básica sobre el modelo y es común a todos ellos. Sus atributos identifican el modelo (URI y date), proporciona el localizador de su metamodelo, las características de su codificación y las relaciones de dependencia de otros modelos:

Su nombre es emof:METAMODEL si se trata de un metamodelo (M2) y «Metamodel nsPrefix»:MODEL si se trata de un modelo (M1) que es conforme con un determinado metamodelo.

Los atributos que tiene definidos son:

date(Opcional) : Representa el concepto de versión. Por ejemplo, puede ser la fecha en que se ha creado.

uri (Obligatorio): Representa el URI del modelo.

mmUrl (Obligatorio): Representa el localizador de su metamodelo.

En el caso de que el modelo sea un metamodelo su valor tiene que ser http://unican.es/istr/PyEmofUC/EmofUC.xmi que es el localizador asignado por convención al metametamodelo EMOF (no se utiliza como localizador)
En el caso de que sea un modelo tiene que ser un localizador válido en el contexto donde se interpreta.

importUrls(Opcional): Lista de los URL de otros modelos referenciados desde él, separados por el carácter espacio. Si un modelo referenciado no se incluye en esta lista, el modelo no se carga, y la referencia a él se mantienes en su formato textual URI. Esta lista no incluye su metamodelo que ya está referenciado por mmUrl ni el metametamodelo, que siempre están referenciados.

nsPrefix (Obligatorio): Prefijo del espacio de nombres del modelo. Es un prefijo que opcionalmente puede utilizarse para representa el URI del modelo en las referencias a sus elementos desde otros modelos.

rootType (Obligatorio en metamodelos): Indica el tipo del contenedor raíz de los modelos que son conformes con él. Se utiliza en la generación automática del Schema correspondiente.

xmlns:«nsPrefix del metamodelo» (Obligatorio): Declaración del identificador del espacio de nombres del metamodelo

xmlns:emof (Opcional): Declaración del identificador del espacio de nombres del metametamodelo. (Si el modelo es un metamodelo es al atributo anterior)

xsi:schemaLocation (opcional): URI y localizador del schema con el que es validado. Sólo se utiliza si va a ser procesado por una herramienta XML.

xmlns:xmi (obligatorio): Define el espacio de nombres de XMI.

xmlns:xsi (obligatorio): Define el espacio de nombres de W3C-Schema.

Elemento principal de un metamodelo

<?xml version="1.0" encoding="UTF-8"?>

<emof:METAMODEL date="2015-03-06"

uri="http://unican.es/istr/PyEmofUC/CountyCity/County"

mmUrl="http://unican.es/istr/PyEmofUC/EmofUC.xmi"

importedUrls="platform:CountyCity/City.xmi"

nsPrefix="cnty"

rootType="cnty.County"

xmlns:xmi="http://www.omg.org/XMI"

xmlns:emof="http://unican.es/istr/PyEmofUC/EmofUC"

xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"

xsi:schemaLocation="http://unican.es/istr/PyEmofUC/EmofUC ..\EMOF.xsd">

<rootPackage name="rootPackage" . . . .

. . . . .

</rootPackage>

</emof:METAMODEL>

Elemento principal de un modelo

<?xml version="1.0" encoding="UTF-8"?>

<cty:MODEL date="2013-03-07T20:34:18"

uri="http://unican.es/istr/PyEmofUC/CountyCity/EagleCity"

mmUrl="platform:CountyCity/City.xmi"

importedUrls="platform:CountyCity/EagleCounty.xmi"

nsPrefix="ecty"

xmlns:xmi="http://www.omg.org/XMI"

xmlns:cty="http://unican.es/istr/PyEmofUC/CountyCity/City"

xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"

xsi:schemaLocation="http://unican.es/istr/PyEmofUC/CountyCity/City City.xsd">

<rootPackage . . . .

. . . .

</rootPackage>

</cty:MODEL>

rootPackage (obligarorio): Es el elemento contenedor raíz del modelo o metamodelo y corresponde al elemento contenedor raíz del modelo EMOF y que se define en su metamodelo.

A partir del contendor raíz (rootPackage) el modelo de contención de elementos es exactamente el establecido por el metamodelo (obligatorio). Todos los nudos tienen dos atributos que son generales e introducidos por la especificación XMI:

Atributo “xmi:id” (obligatorio si es referenciado)=> Representa el identificador del elemento XMI, y debe ser único en el ámbito del modelo. Es opcional, pero debe existir si el elemento es referenciado desde el propio modelo o desde otro modelo.

Atributo “xsi:type” (obligatorio) => En XML referencia el elemento del W3C-Schema que define el contenido del elemento. Este elemento se corresponde con la metaclase del metamodelo, y se utiliza para asignar valor al atributo metaclass definido en PyEmofObject, ya descrito. Aunque para XML es opcional en muchos casos, para la formalización de PyEmofUC es siempre obligatorio.

. . . .

</company>

Formulación de las referencias: En la formulación XMI, las referencias a elementos del mismo modelo o de otros modelos utilizan la sintaxis genérica definida para los Uniform Resource Identifier (URI). Sin embargo, la conveniencia de unificar estas referencia con otros estandares como XLink, sin duplicar la información, ha hecho que en función del atributo se utilicen diferentes esquemas de referencias:

Atributo xsi:type. La referencia tiene la doble función de designar el elemento del W3C-Schema y de referenciar a la metaclase del metamodelo. Se utiliza el formato XML, y por tanto aparece con el formato <nsPrefix schema>:<nombre del elemento del schema> (por ejemplo: “fam:Adulto”). Cuando es interpretado como meta clase, el valor que se asigna al atributo xmi_id es “fam.Adulto” (sustitución de ‘:’ por ‘.’).

Referencia a un elemento del mismo modelo: Se utiliza el formato “#<xmi_id del elemento referenciado>”. En el ejemplo previo, la referencia superclass="#fam.Persona" referencia como superclase al elemento (con xmi_id=”#famPersona”) del mismo documento.

Referencia a un elemento de otro modelo: Se utilizan indistintamente dos formatos:

Formato extenso <URI>#<xmi_id>. Siendo URI el correspondiente al modelo que contiene el elemento referenciado, y xmi_id el identificador del elemento referenciado en el modelo que lo contiene. Por ejemplo, theType="http://unican.es/istr/PyEmofUC/FamiliaEmpresa/Empresa_MM#emp.Puesto" representa la referencia al elemento (con xmi_id=“emp.puesto”) del modelo cuyo URI es http://unican.es/istr/ PyEmofUC/FamiliaEmpresa/Empresa_MM.

Formato corto <nsPrefix del modelo que contiene el elemento referenciado>#< xmi_id>. Por ejemplo, theType="emp#emp.Puesto" representa la referencia al elemento de xmi_id= “emp.puesto” del modelo cuyo nsPrefix es “emp”.

Schemas

Todos los ficheros xmi que definen modelos o metamodelos dentro del entorno PyEmofUC tienen definidos el correspondiente W3C-Schema que define su contenido y su formato:

El schema común a todos los metamodelos es EmofUC.xsd (uri= http://unican.es/istr/pyemofuc/emofUC.xmi) y se proporciona con el entorno.
El schema que formaliza un modelo, es generado automáticamente por el entorno a partir del correspondiente metamodelo cuando éste se almacena (método dump()) con extensión ".xmi" . Su nombre es el nombre del metamodelo con la extensión ".xsd" y se almacena en la misma carpeta en la que se salva el metamodelo.

El objetivo del schema en PyEmof es servir de ayuda para que el operador cree o edite los modelos conformes a él en base a un editor XML. Por ello su formulación es laxa y utiliza los siguientes criterios:

Los nombres de los elementos, de los elementos anidados y de los atributos son los definidos para el correspondiente elemento en el metamodelo.
Los elementos anidados se introducen en cualquier orden.
Los atributos derivados no se incluyen.
Los atributos xmi:id y xsi:type son obligatorios en todos los elementos.
Los tipos de los atributos se definen siempre como un xsd:string.
El tipo de las referencias a otros elementos es xsd:anyURI.

En las dos columnas de la siguiente tabla se muestra como ejemplo un metamodelo y el correspondiente schema que genera el entono.

<?xml version="1.0" encoding="UTF-8"?>

<emof:METAMODEL date="2015-03-06"

uri="http://unican.es/istr/PyEmofUC/CountyCity/City"

mmUrl="http://unican.es/istr/PyEmofUC/EmofUC.xmi"

importedUrls="platform:CountyCity/County.xmi"

nsPrefix="cty"

rootType="#cty.CompanyDirectory"

xmlns:xmi="http://www.omg.org/XMI"

xmlns:emof="http://unican.es/istr/PyEmofUC/EmofUC"

xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"

xsi:schemaLocation="http://unican.es/.../EmofUC ..\EMOF.xsd">

<rootPackage name="rootPackage"

xmi:id="cty.rootPacage"

xsi:type="emof:Package">

<ownedType name="CompanyDirectory"

xmi:id="cty.CompanyDirectory"

xsi:type="emof:Class"

superclass="emof#emof.Object">

<ownedAttribute name="company"

xmi:id="cty.CompanyDirectory.company"

xsi:type="emof:Property"

theType="#cty.Company"

isComposite="True"

upper="*"/>

</ownedType>

<ownedType name="Company"

xmi:id="cty.Company"

xsi:type="emof:Class"

superclass="emof#emof.Object">

<ownedAttribute name="name"

xmi:id="cty.Company.name"

xsi:type="emof:Property"

theType="emof#emof.PyString"/>

<ownedAttribute name="employ"

xmi:id="cty.Company.employ"

xsi:type="emof:Property"

theType="#cty.Employ"

isComposite="True"

lower='0'

upper="*"

opposite="#cty.Employ.employer"/>

</ownedType>

<ownedType name="Employ"

xmi:id="cty.Employ"

xsi:type="emof:Class"

superclass="emof#emof.Object">

<ownedAttribute name="name"

xmi:id="cty.Employ.name"

xsi:type="emof:Property"

theType="emof#emof.PyString"/>

<ownedAttribute name="salary"

xmi:id="cty.Employ.salary"

xsi:type="emof:Property"

theType="emof#emof.PyReal"

default="0.0"/>

<ownedAttribute name="employer"

xmi:id="cty.Employ.employer"

xsi:type="emof:Property"

theType="#cty.Company"

opposite="#cty.Company.employ"/>

<ownedAttribute name="worker"

xmi:id="cty.Employ.worker"

xsi:type="emof:Property"

theType="cnty#cnty.Adult"

opposite="cnty#cnty.Adult.job"/>

</ownedType>

</rootPackage>

</emof:METAMODEL>

<?xml version="1.0" encoding="UTF-8"?>

<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema"

xmlns:cty="http://unican.es/istr/PyEmofUC/CountyCity/City"

xmlns:xmi=http://www.omg.org/XMI

xmlns:emof=http://unican.es/istr/PyEmofUC/EmofUC

targetNamespace="http://unican.es/istr/PyEmofUC/CountyCity/City">

<xsd:import namespace=http://www.omg.org/XMI

schemaLocation="../XMI.xsd"/>

<xsd:import namespace=http://unican.es/istr/PyEmofUC/EmofUC

schemaLocation="../EMOF.xsd"/>

<xsd:complexType name="CompanyDirectory">

<xsd:complexContent>

<xsd:extension base="emof:PyEmofObject">

<xsd:sequence>

<xsd:element name="company"

type="cty:Company"

maxOccurs="unbounded"/>

</xsd:sequence>

</xsd:extension>

</xsd:complexContent>

</xsd:complexType>

<xsd:complexType name="Company">

<xsd:complexContent>

<xsd:extension base="emof:PyEmofObject">

<xsd:sequence>

<xsd:element name="employ"

type="cty:Employ"

minOccurs="0"

maxOccurs="unbounded"/>

</xsd:sequence>

<xsd:attribute name="name"

type="xsd:string"

use="required"/>

</xsd:extension>

</xsd:complexContent>

</xsd:complexType>

<xsd:complexType name="Employ">

<xsd:complexContent>

<xsd:extension base="emof:PyEmofObject">

<xsd:attribute name="name"

type="xsd:string"

use="required"/>

<xsd:attribute name="salary"

type="xsd:float"

use="optional"

default="0.0"/>

<xsd:attribute name="employer"

type="xsd:anyURI"

use="optional"/>

<xsd:attribute name="worker"

type="xsd:anyURI"

use="required"/>

</xsd:extension>

</xsd:complexContent>

</xsd:complexType>

<xsd:element name="MODEL">

<xsd:complexType>

<xsd:complexContent>

<xsd:extension base="emof:Model">

<xsd:sequence>

<xsd:element name="rootPackage"

type="cty:CompanyDirectory"

maxOccurs="unbounded"/>

</xsd:sequence>

</xsd:extension>

</xsd:complexContent>

</xsd:complexType>

</xsd:element>

</xsd:schema>

PyEmofUC

Formato XMI de serialización de modelos

J.M. Drake, P. López Martínez y C. Cuevas

Grupo de Ingeniería Software y Tiempo Real (ISTR) - Universidad de Cantabria

Tabla de Contenidos

Especificación XMI

Especificación XMI específica de PyEmofUC

Schemas

Documentos

Enlaces de interés