PyEmofUC es un entorno ligero para la creación, procesamiento y visualización de información en base al paradigma de ingeniería basada en modelos MDE, en el que todos los elementos (modelo y metamodelos) se formulan de acuerdo a la especificación EMOF 2.4 de la organización OMG.

El entorno ha sido implementado utilizando el lenguaje Python, y con ello, se ha conseguido que sea un entorno:

• Multiplataforma: Opera en toda plataforma que disponga de un intérprete Python 2.7.
  
• Abierto: Opera sobre cualquier información formalizada como modelos conformes a la especificación EMOF que pueda ser accedida desde el entorno.
  
• Minimalista: El entorno es sólo un paquete Python muy ligero (siete módulos y 2553 LLoC (Logical line of Code)) y su interfaz hacia las aplicaciones.
  Además, cada modelo puede almacenarse en un fichero XMI aislado y cada transformación es un script Python.

El entorno PyEmofUC ha sido diseñado con el objetivo de que tenga las siguientes características específicas:

• Espacios tecnológicos: PyEmofUC da soporte a tres espacios tecnológicos:

• El entorno trata uniformemete todos artefactos como un modelo: El entorno gestiona de igual forma los metamodelos (M2) y de los modelos (M1). La única excepción a esta regla es el metametamodelo EmofUC, que se implementa directamente a partir del código del entorno, es inmutable y está siempre disponible ante cualquier consulta reflexiva.
  

El entorno PyEmofUC ofrece una interfaz pública a las aplicaciones y herramientas que procesan la información contenida en los modelos. La interfaz está  constituida por las propiedades y las operaciones de las clases AppRepository, MdlRepository, PyEmofObject y Element (y sus clases especializadas en cada modelo).

• Gestión de los modelos (AppRepository): El repositorio de aplicación almacena en memoria un conjunto de modelos sobre los que opera una aplicación en una determinada fase de su ejecución. Frecuentemente no referimos a él como "entorno".
  

  Los elementos de su interfaz pública son:

• Property mdlRepositories => Referencia al conjunto (diccionario) de repositorios de modelos almacenados en el entorno. (Nota: no debe utilizarse este método como atajo para añadir o eliminar repositorios aislados, ya que dejaría referencias secundarias sin establecer.)
• Operación getMdlRepository(uri) => Retorna la referencia al modelo (repositorio del modelo) con el URI especificado. Si el modelo no está almacenado en el entorno eleva la excepción AppRepositoryError.
• Operación hasMdlRepository(uri): PyBoolean => Retorna True si el modelo con el URI especificado está almacenado en el entorno.
• Operación CreateMdlRepository(uri, date=None, mmUrl=None, importUrls=None) => Crea en el entorno un nuevo modelo vacío con los atributos que se pasan como argumentos, y retorna una referencia a él.
• Operación getElement(uri,xmi_id): Element => Retorna referencia al elemento con el xmi_id especificado, perteneciente al modelo con el URI especificado. Puede elevas las excepciones MdlRepositoryError y AppRepositoryError.
• Operación loadModel(url) => Carga en el entorno el modelo descrito por su formulación serializada ubicada en el localizador url. En base al formato del URL, el método identifica la fuente del modelo y el formato en que está serializado. El método carga de forma recursiva (si no estuviesen ya cargados) todos los modelos y metamodelos referenciados por el modelo.

• Gestión de los elementos del modelo (MdlRepository): El repositorio de modelos almacena los elementos de un modelo. Frecuentemente nos referimos a él como "modelo".
  

  Su interfaz pública está compuesta de los siguientes elementos:

• Propiedad aRep<read only>: Referencia al entorno (repositorio de aplicación) en el que está registrado el modelo. Se establece en su creación.
• Propiedad date: Describe la versión del modelo (fecha, código versión, etc.).
• Propiedad uri <read only>: Representa el identificador universal único del modelo. Si dos modelos tienen el mismo uri son el mismo modelo. Su formato está definido en el tipo “emof.Uri”. Es establecido en la creación.
• Propiedad nsPrefix <read only>: Contiene el prefijo que se utiliza como URI reducido en las referencias desde otros modelos hacia él.
• Propiedad mmUri <read only>: Contiene el identificador universal del metamodelo.
• Propiedad mmUrl <read only>: Es el localizador del fichero XMI que contiene el metamodelo que describe el contenido del modelo. Su existencia y disponibilidad es necesaria. Su formato admisible está definido en el tipo “emof.Url” (por ejemplo: "platform:FamiliaEmpresa/Familia_MM.xmi"). Es un atributo de sólo lectura, su valor es establecido en la creación del modelo.
• Propiedad mmRep <read only>: Referencia el metamodelo (al repositorio de modelo que lo contiene).
• Propiedad importedUrls <read only>: Lista textual con los localizadores de los  modelos que son referenciados desde el modelo. Cuando se carga un modelo, sólo se cargan en el repositorio de la aplicación los modelos referenciados en este atributo. Si en la información interna del modelo se referencian modelos no incluidos en este atributo, las referencias quedan sin resolver (esta situación sólo da lugar a un warning). Su valor es establecido en la carga del modelo y cuando el modelo se almacena.
• Propiedad importedModels <read only>: Diccionario que contiene las referencias de los modelos referenciados desde él, y que están cargados en el entorno. La clave del diccionario es el valor del atributo nsPrefix.
• Propiedad rootPackage: Referencia el elemento contenedor principal del modelo. Cuando se establece una nueva referencia, se eliminan del repositorio todos los elementos que previamente se habían registrado en él.
• Propiedad isMetamodel <is derived>: Retorna True si el modelo es un metamodelo, esto es, si su metamodelo es EmofUC.
• Propiedad currentUrl <read only>: URL válida del modelo contenido en el entorno. Se establece cuando el modelo se carga o se almacena. Se establece a None cuando se crea o se modifica algún elemento del modelo.
• Operación getElements():Element[0..*] => Retorna la lista con los elementos que contiene el modelo.
• Operación getElementXmiIds():XMI_Identifier[0..*] => Retorna la lista con las identificadores (xmi_id) de los elementos que contiene el modelo.
• Operación getElement(xmi_id):Element => Retorna la referencia al elemento almacenado en el repositorio con el identificador xmi_id especificado. Eleva la excepción MdlRepositoryError si el elemento no está registrado en el modelo.
• Operación hasElement(xmi_id): PyBoolean => Retorna True si en el modelo existe un elemento registrado con el xmi_id especificado.
• Operación createElement(self, metaclass, xmi_id) : Element => Crea en el modelo un elemento que corresponde al tipo especificado en el argumento metaclass. El elemento creado queda registrado en el repositorio. Si el elemento ya existe, no crea uno nuevo, sino que retorna una referencia a él.
• Operación dumpModel(url,schemaUrl=None) => Genera un fichero o un stream conteniendo la información del modelo con diferentes formatos, según sea la extensión del localizador (.xmi, .txt, .rtf).
• Operación nextXmiId(): XMI_Identifier => Cada vez que es invocado retorna un nuevo identificado para construir un nuevo xmi_id.

• Gestión de los atributos propios del entorno (PyEmofObject): PyEmofObject es la clase raíz de todos los elementos EmofUC. Aporta los atributos que el entorno PyEmofUC requiere para la gestión desde el entorno de los elementos del modelo.
  

  Aporta las operaciones reflexivas que por herencia son pasadas a todos los elementos.

• Propiedad xmi_id <is read only>: Identificador que constituye el localizador del elemento dentro del modelo. Se utiliza el mismo identificador en todos los espacios tecnológicos (de ahí su nombre). Se establece en la creación del elemento.
• Propiedad metaclass<is read only>: Referencia el elemento del metamodelo que describe la estructura de datos (propiedades) y el comportamiento (operaciones) del elemento. Es la base de la reflexividad del entorno PyEmofUC.
• Propiedad owner<is read only>: Referencia el modelo en el que se ha creado el elemento.  Es establecido en su creación.
• Propiedad pyClass<is read only>: Referencia la clase Python con la que se crean las instancias de él.  Sólo está establecido en algunos casos:
• Si el elemento pertenece al metametamodelo (M3) referencia una clase cuyo código está escrito en el módulo Python emof.core.py.
• Si el elemento pertenece a un metamodelo (M2) se crea dinámicamente cuando se crea el meta-modelo en el repositorio a partir de las clases genéricas definidas en el módulo Python pyemof.core.py.
• Si el elemento es un EnumerationLiteral, contiene el valor Python con el que se representa el literal. Es asignado en la creación del metamodelo en el que se define el literal.
• Si el elemento es una Operation, contiene la referencia a la operación Python que la implementa.
• Si el elemento pertenece a un modelo (M1), la referencia es siempre None.
• Operación isInstanceOf(metamodelType) : PyBoolean => Método reflexivo que retorna True si el elemento del modelo al que se aplica es una instancia del elemento del metamodelo que se pasa como parámetro (metamodelType). Esto es, si la información y operaciones del elemento incluye las descritas por el elemento del metamodelo. El elemento del metamodelo (metamodelType) puede ser indistintamente la referencia (Python) al elemento del metamodelo o el identificador xmi_id del mismo.
  
• Operación isSuperclassOf(modelType) : PyBoolean => Método reflexivo que retorna True si la clase del modelo al que se aplica es una superclass de la clase del mismo modelo que se pasa como parámetro (modelType). Si se aplica a un elemento PyEmofObject que no sea una clase retorna None. El método considera que una clase es superclass de si misma. (Nota: Entre los tipos Enumeration no se define herencia, por tanto el método no es aplicable. Entre los tipos PrimitiveType la herencia se implementa mediante tags específicos que la describe. En la actual implementación, esté método no lo contempla (TODO).)
• Operación metaclassByName(xmi_id) : Element => Método reflexivo que retorna el elemento del metamodelo (o del metametamodelo) que corresponde con el identificador (xmi_id) que se pasa como argumento. Retorna None si el elemento no existe.
• Operación elementByName(xmi_id) : Element => Método reflexivo que retorna el elemento del modelo al que pertenece el elemento al que se aplica el método que corresponde al identificador (xmi_id) que se pasa como argumento. Retorna None si el elemento no existe.
  
• Operación getAllProperties(): Property[0..*] => Método reflexivo que retorna un diccionario {<xmi_id>,<property>} con todas las propiedades que tiene el elemento al que se aplica.
• Operación getAllAttributes(): Property[0..*] => Método reflexivo que retorna un diccionario {<xmi_id>,<property>} con todas las propiedades de tipo DataType (emof.PrimitiveType y emof.Enumeration) que tiene el elemento al que se aplica.
• Operación getAllReferences(): Property[0..*] => Método reflexivo que retorna un diccionario {<xmi_id>,<property>} con todas las referencia a otros elementos para los que isComposite= False del elemento al que se aplica.
• Operación getAllAggregations(): Property[0..*] => Método reflexivo que retorna un diccionario {<xmi_id>,<property>} con todas las referencia a otros elementos para los que isComposite= True del elemento al que se aplica.
• Operación getContainer(): Element => Metodo reflexivo que retorna el elemento que contiene al elemento al que se aplica el método, de acuerdo con lo especificado en el metamodelo. (Nota: Todos los elementos están almacenados en el MdlRepository en el que se creó. A él se accede por la propiedad owner. Este método se refiere a la contención definida por el metamodelo.)

• Gestión de la información de los modelos (EMOF::Element y sus clases especializadas): La información de un modelo se formula como una estructura de elementos agregados y mediante los valores que se asignan a las propiedades de estos. El comportamiento de un modelo se formula a través de las operaciones que se declaran en las clases de los elementos. Los elementos del modelo (clases especializadas de la clase EMOF.Element) se implementan en el entorno como clases Python con las siguientes características:

• Las propiedades de las clases EMOF se formulan en la clase Python como una propiedad Python con el mismo nombre, y en su caso con el valor por defecto asignado.
• Las operaciones definidas en las clases EMOF se formulan en la clase Python como una función Python, con el mismo nombre, con los mismos parámetros y que retorna el mismo tipo de valor.

Cuando un modelo va a ser gestionado fuera del espacio de memoria de una aplicación, se representa mediante una secuencia de caracteres alfanuméricos estándares. En la formulación textual, las referencias son hiper-referencias textuales ( URIs textuales estándares) y el acceso a los modelos se realiza a través de localizadores (URL). La formulación textual de los modelos se utiliza en los siguientes casos:

• Almacenamiento del modelo en un repositorio persistente.
• Transferencia del modelo entre diferentes entornos.
• Visualización en un terminal para su interpretación por un operador humano.
• Creación o modificación en un editor textual plano o XML.

La serialización y des-serialización se realiza a través de las operaciónes dump() y loadModel() de la interfaz pública. Se utilizan tres formatos de serialización:

• «model».xmi: Texto etiquetado XML conforme a la especificación XMI de OMG. Almacenamiento persistente del modelo. (Formato XMI específico de PyEmofUC) 
• «model».txt: Texto plano formulado de acuerdo con una  gramática específica del dominio generada a partir del metamodelo.(Formato de texto plano de PyEmofUC)
• «model».rtf: Texto plano similar al anterior y enriquecido con color. (Formato de texto plano con color de PyEmofUC)