Workshop on Modelling of Objects, Components, and Agents, Aarhus, Denmark, August 27-28, 2001

This booklet contains the proceedings of the workshop Modelling of Objects, Components, and Agents (MOCA'01), August 27-28, 2001. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark and the "Theoretical Foundations of Computer Science" Group at the University of Hamburg, Germany. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop01

The Meaning of UML Models

The Unified Modelling Language (UML) is intended to express complex ideas in an intuitive and easily understood way. It is important because it is widely used in software engineering and other disciplines. Although an official definition document exists, there is much debate over the precise meaning of UML models. ¶ In response, the academic community have put forward many different proposals for formalising UML, but it is not at all obvious how to decide between them. Indeed, given that UML practitioners are inclined to reject formalisms as non-intuitive, it is not even obvious that the definition should be “formal” at all. Rather than searching for yet another formalisation of UML, our main aim is to determine what would constitute a good definition of UML. ¶ The first chapter sets the UML definition problem in a broad context, relating it to work in logic and the philosophy of science. ..

Combining SOA and BPM Technologies for Cross-System Process Automation

This paper summarizes the results of an industry case study that introduced a cross-system business process automation solution based on a combination of SOA and BPM standard technologies (i.e., BPMN, BPEL, WSDL). Besides discussing major weaknesses of the existing, custom-built, solution and comparing them against experiences with the developed prototype, the paper presents a course of action for transforming the current solution into the proposed solution. This includes a general approach, consisting of four distinct steps, as well as specific action items that are to be performed for every step. The discussion also covers language and tool support and challenges arising from the transformation

Coherently explaining UML statechart and collaboration diagrams by graph transformations

In this paper we continue our work on the formalization and validation of UML models by means of graph transformation systems. We here concentrate on statechart and collaboration diagrams albeit our approach covers use case, class, object, and sequence diagrams as well. The statechart and collaboration diagrams describe the operations of the underlying class diagram and include OCL expressions as guards and parts of message expressions. We illustrate in detail the generation of graph transformation rules for the statechart and collaboration diagrams

Método de identificación de variaciones genéticas relevantes asociadas a la Distrofia Muscular de Duchenne y de Becker basado en la Inteligencia Artificial Explicable

[ES] El presente proyecto de fin de grado, impulsado por el grupo de genómica del Centro de Investigación en Métodos de Producción de Software (PROS) de la UPV, miembro del Instituto Valenciano de Inteligencia Artificial (VRAIN), en colaboración con el Dr. José M. Millán, director del Grupo de Investigación en Biomedicina Molecular, Celular y Genómica del IIS La Fe de Valencia, consistió en la identificación de variaciones relevantes asociadas al desarrollo de las enfermedades de distrofia muscular de Duchenne (DMD) y Becker (BMD). Para la consecución de tal tarea, se empleó un método surgido a partir de la unión de dos métodos preexistentes: el método SILE y el método sobre el cual está basado la Inteligencia Artificial Explicable (IAE) . A lo largo del desarrollo del método, se alcanzaron una serie de objetivos específicos que fueron surgiendo a medida que avanzaba el proyecto. Dichos objetivos consistieron en evaluar y contribuir a la evolución de la plataforma de gestión de datos genómicos “Oráculo Genómico de Delfos” (OraGenDel), desarrollada por el Centro PROS, así como en elaborar propuestas de mejora de la misma. También se determinó la importancia de la base de datos de LOVD, considerada de referencia por parte del personal investigador en el ámbito de las distrofinopatías (el grupo de enfermedades entre las cuales se encuentran la DMD y la BMD), dado que la plataforma OraGenDel no presentaba los conectores necesarios para analizar la información de la misma. Por último, se llevó a término un análisis del significado biológico que albergaban las variaciones que se asociaban a los pacientes de ambas enfermedades (DMD y BMD) y que habían sido clasificadas como relevantes en los experimentos previos. De estas enfermedades destaca el hecho de que, al estar incluidas dentro del grupo de Enfermedades Raras por su baja prevalencia (1-9/100000), suelen contar con menos medios para su investigación. No obstante, con este trabajo, se contribuyó a profundizar en el conocimiento de las mismas a nivel molecular.[EN] The present end-of-degree project, promoted by the genomics group of the Center for Research on Software Production Methods (PROS) of the UPV, member of the Valencian Institute of Artificial Intelligence (VRAIN), in collaboration with José M. Millán, PhD, director of the Molecular, Cellular and Genomic Biomedicine Research Group of the IIS La Fe of Valencia, consisted in the identification of relevant variations associated with the development of Duchenne muscular dystrophy (DMD) and Becker muscular dystrophy (BMD) diseases. In order to achieve this task, a method was used that arose from the union of two pre-existing methods: the SILE method and a method in which Explainable Artificial Intelligence is based. Throughout the development of this method, a series of specific objectives were achieved, which emerged as the project progressed. These objectives consisted, firstly, in evaluating and contributing to the evolution of the “Delphos Genomic Oracle” genomic data management platform (OraGenDel), developed by PROS, as well as in elaborating proposals for its improvement. Another objective that was achieved was the determination of the importance of the LOVD database, considered as a reference by research staff in the field of dystrophinopathies (the group of diseases among which DMD and BMD are found), given that the OraGenDel platform did not present the needed connectors to analyze the information therein. Finally, an analysis of the biological significance of the variations that were associated with patients with both diseases (DMD and BMD) and that had been classified as relevant in previous experiments was carried out. It is key to point out that given that these diseases are included in Rare Diseases group due to their low prevalence (1-9/100000), they usually have fewer means for their research stands out. However, this work contributed to deepen the knowledge of these diseases at the molecular level.López García, EM. (2021). Método de identificación de variaciones genéticas relevantes asociadas a la Distrofia Muscular de Duchenne y de Becker basado en la Inteligencia Artificial Explicable. Universitat Politècnica de València. http://hdl.handle.net/10251/171055TFG

EG-ICE 2021 Workshop on Intelligent Computing in Engineering

The 28th EG-ICE International Workshop 2021 brings together international experts working at the interface between advanced computing and modern engineering challenges. Many engineering tasks require open-world resolutions to support multi-actor collaboration, coping with approximate models, providing effective engineer-computer interaction, search in multi-dimensional solution spaces, accommodating uncertainty, including specialist domain knowledge, performing sensor-data interpretation and dealing with incomplete knowledge. While results from computer science provide much initial support for resolution, adaptation is unavoidable and most importantly, feedback from addressing engineering challenges drives fundamental computer-science research. Competence and knowledge transfer goes both ways

EG-ICE 2021 Workshop on Intelligent Computing in Engineering

The 28th EG-ICE International Workshop 2021 brings together international experts working at the interface between advanced computing and modern engineering challenges. Many engineering tasks require open-world resolutions to support multi-actor collaboration, coping with approximate models, providing effective engineer-computer interaction, search in multi-dimensional solution spaces, accommodating uncertainty, including specialist domain knowledge, performing sensor-data interpretation and dealing with incomplete knowledge. While results from computer science provide much initial support for resolution, adaptation is unavoidable and most importantly, feedback from addressing engineering challenges drives fundamental computer-science research. Competence and knowledge transfer goes both ways

Education and Social Work handbook

2005 handbook for the faculty of Education and Social Wor