Transformation Techniques for OCL Constraints

Constraints play a key role in the definition of conceptual schemas. In the UML, constraints are usually specified by means of invariants written in the OCL. However, due to the high expressiveness of the OCL, the designer has different syntactic alternatives to express each constraint. The techniques presented in this paper assist the designer during the definition of the constraints by means of generating equivalent alternatives for the initially defined ones. Moreover, in the context of the MDA, transformations between these different alternatives are required as part of the PIM-to-PIM, PIM-to-PSM or PIM-to-code transformations of the original conceptual schema

Verifying UML/OCL operation contracts

In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to ensure the quality of the final application. Research on model consistency has focused mostly on the models' static aspects. Instead, this paper addresses the verification of their dynamic aspects, expressed as a set of operations defined by means of pre/postcondition contracts. This paper presents an automatic method based on Constraint Programming to verify UML models extended with OCL constraints and operation contracts. In our approach, both static and dynamic aspects are translated into a Constraint Satisfaction Problem. Then, compliance of the operations with respect to several correctness properties such as operation executability or determinism are formally verified

Estudi informatiu de millora de les carreteres BP-4653 i BP-4654 als TT.MM. d'Olost, Sant Martí d'Albars, Perafita, Sant Agustí de Lluçanès, Sora i Sant Quirze de Besora

En aquest projecte es realitza una proposta de disseny de millora de traçat de les carreteres BP-4653, del PK 6+300 al PK 17+390 i BP-4654, del PK 0+000 al PK 8+120. El tram de carretera travessa els municipis de Sant Quirze de Besora, Sora, Sant Agustí de Lluçanès, Sant Martí d'Albars, Perafita i Olost. Les traces de les carreteres discorren, en la seva major part, a mitja vessant, excepte en els trams inicials i finals d’arribada a població o zones d’intersecció

Analysis of infrared optical polishing effluents and reduction of COD and TSS levels by ultrafiltration and coagulation/flocculation

Samples of polishing effluent produced during infrared optics manufacture were analyzed. Their particle size, composition, Zeta potential, chemical oxygen demand (COD), total suspended solids (TSS), and settleable solids were determined. Feasibility of treatment methods such as ultrafiltration (UF) and coagulation/flocculation was investigated to reduce both COD and TSS. It was found that effluents consisted of a suspension of micro- and nanoparticles. Effluent particle size distribution reflected the removal rate of the originating polishing process. Their composition was primarily germanium and other polished substrates as well as polishing abrasives. The effluent Zeta potential was highly negative and prevented particle settling. COD of all specimens was very high, which prevented sewage discharge. Laboratory-scale trials using UF showed substantial COD abatement of up to 74.1%. TSS was reduced to zero after UF. Comparable coagulation/flocculation COD abatement was demonstrated for the highest COD sample

Determinación cuantitativa de cal libre, por difracción de rayos X en una matriz de cemento anhidro y desecado

In manufactured cements, and concerning the quality control, the fast determination of the contents of free lime is a necessary step. The measurement of the content is made taking the net altitude of one peak of the DRX which, on each case, is peculiar to the compound to be determined. So, a calibrating curve is drawn, using there synthetic samples prepared with original cement with addition of 1%, 3% and 5% in weight of calcium oxide prepared fusing at 1100 °C for two hours a Merkc precipitate calcium carbonate. This calibrating curve allows to know the free lime content in original cement, when the results obtained by X ray diffraction is carried to the calibrating curve.En la fabricación de cementos, y dentro del control de su calidad, la determinación rápida del contenido de cal libre es un dato necesario. Esta determinación, según normativa (*), debe hacerse usando la vía química. Como método alternativo existe la técnica de difracción de rayos X que, en pocos minutos, puede determinar el contenido de cal libre, sin posibles interferencias de otros compuestos. La medida del contenido se hace midiendo la altura de un pico del difractograma de rayos X que, para cada caso, es privativo del compuesto que se quiere determinar. En el presente artículo se trata de explicar, paso a paso, el procedimiento para determinar cuantitativamente el contenido de cal libre que existe en un cemento anhidro y desecado a 110 °C. Para ello, se construye una curva de calibrado utilizando tres muestras sintéticas preparadas en el laboratorio partiendo del cemento utilizado, al que se le añade el 1%, 3% y 5% en peso de OXIDO DE CALCIO preparado calcinando a 1.100 °C durante dos horas CARBONATO DE CALCIO precipitado Merck. Dicha curva de calibrado permite conocer el contenido de cal libre, del cemento de partida, cuando el resultado obtenido por difracción de rayos X se lleva a la curva patrón obtenida

Flexibilidad laboral y nuevas tecnologías: e-trabajo

Una de las principales metas de las empresas es atraer y retener a personas cualificadas. Para ello se ponen en práctica diferentes estrategias de gestión de los recursos humanos, entre las que destacamos las relacionadas con la flexibilidad laboral y más concretamente aquellas que persiguen compaginar la vida laboral y privada de los trabajadores. En este contexto, las nuevas tecnologías juegan un importante papel a través del e-trabajo y de una de sus modalidades más conocidas: el teletrabajo.One of the main goals of the companies is to attract and to retain qualified people. To get it, they put into practice different human resource strategies, among those, we will highlight those related with the work flexibility, and more exactly those that try to obtain a work-life balance. In this context, the new technologies play an important paper through the e-work and one of their good known modalities: telework

El proyecto reformador del General José Ballivián. La construcción del Estado-Nación durante el gobierno provisional de 1841-1843

Durante los dos primeros años del gobierno de José Ballivián (1841- 1847) se aprueba una numerosa legislación respecto a la Instrucción Pública, la reforma del ejército, la ocupación del territorio nacional y la reforma de la administración pública del estado. A raíz de esta legislación se establecen bases para el avance en la construcción del estado-nación boliviano mediante el control del territorio nacional, la racionalización de la administración pública, el impulso a la educación y la parcial desmovilización del ejército.During it’s first two years the government of Jose Ballivián (1841-1847) passes a huge legislation regarding the Public Instruction, the reform of armed forces, the occupation of national territory and the reform of the public administration of the country. Following this legislation foundations establishe the construction progress of the Bolivian national state led by the control of national territory, rationalization of the public administration, promotion of education and a partial reduction of armed forces

A UML/OCL framework for the analysis of fraph transformation rules

In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, together with the properties of interest (like rule applicability, conflicts or independence). The intermediate representation serves three purposes: (i) it allows the seamless integration of graph transformation rules with the MOF and OCL standards, and enables taking the meta-model and its OCL constraints (i.e. well-formedness rules) into account when verifying the correctness of the rules; (ii) it permits the interoperability of graph transformation concepts with a number of standards-based model-driven development tools; and (iii) it makes available a plethora of OCL tools to actually perform the rule analysis. This approach is especially useful to analyse the operational semantics of Domain Specific Visual Languages. We have automated these ideas by providing designers with tools for the graphical specification and analysis of graph transformation rules, including a backannotation mechanism that presents the analysis results in terms of the original language notation

La agenda de inmigración de la UE hacia Europa oriental : diseñando las bases para un partenariado migratorio

Amb l'aprovació del programa de Tampere el 1999 la Unió Europea (UE) va començar a articular una política d'immigració cap a l'exterior, sent prioritaris els països veïns d'Europa oriental en l'establiment de l'agenda en qüestions migratòries. El contingut d'aquesta agenda inclou normes aprovades bilateralment entre la Unió i els països veïns, normes que emanen de règims internacionals i fins i tot normes pròpies del patrimoni de la Unió. Aquest Working Paper analitza sintèticament l'agenda en matèria d'immigració entre la UE i els països veïns d'Europa oriental en funció del tipus de normes que es disposen a adoptar. Per això, s'han d'observar tres subsectors de la política d'immigració (immigració irregular, immigració regular i asil) per a cada un dels tres països de l'àrea amb els que la cooperació ha estat més intensa (Rússia, Ucraïna i Moldàvia). Prova d'això és l'entrada en vigor de sengles acords de readmissió i facilitació de visats entre la UE i aquests països. L'objectiu d'aquest article és elaborar un retrat matisat de l'agenda d'immigració més ambiciosa que la UE ha dissenyat cap a l'exterior.Con la aprobación del programa de Tampere en 1999 la Unión Europea (UE) empezó a articular una política de inmigración hacia el exterior, siendo prioritarios los países vecinos de Europa oriental en el establecimiento de la agenda en cuestiones migratorias. El contenido de dicha agenda incluye normas aprobadas bilateralmente entre la Unión y los países vecinos, normas que emanan de regímenes internacionales e incluso normas propias del acervo de la Unión. El presente Working Paper analiza sintéticamente la agenda en materia de inmigración entre la UE y los países vecinos de Europa oriental en función del tipo de normas que se disponen a adoptar. Para ello, se observarán tres subsectores de la política de inmigración (inmigración irregular, inmigración regular y asilo) para cada uno de los tres países del área con los que la cooperación ha sido más intensa (Rusia, Ucrania y Moldova). Prueba de ello es la entrada en vigor de sendos acuerdos de readmisión y facilitación de visados entre la UE y dichos países. El objetivo de este artículo es elaborar un retrato matizado de la agenda de inmigración más ambiciosa que la UE ha diseñado hacia el exterior