A framework for the verification of UML models. Examples using Petri Nets

This is an electronic version of the paper presented at the VIII Jornadas de Ingeniería del Software y Bases de Datos, held in Alicante on 2003This paper presents a framework for the verification of UML models. Our approach is to build meta-models for the different UML diagrams and translate them into formalisms (whose syntax is also specified with a meta-model) in which properties of interest can be proved. The translation (denotational semantics) as well as the formalisms operational semantics are formally described by means of graph grammars. We show the implementation of these concepts in the Multi-Paradigm tool AToM3 together with an example in which we translate a UML design (composed of Statecharts, Class and Sequence diagrams) into Petri nets for subsequent verification using model checkingPartially sponsored by the Spanish Ministry of Science and Technology (TIC2002-01948

Using the reader's context to customize news streams

This is an electronic version of the paper presented at the Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2011, held in A Coruña on 2011Many people today subscribe to streaming news services, and their number can be expected to grow together the number of web sites that offer a streaming service using protocols such as Real Simple Syndication. In this paper we present a method, and the relative algorithms, for ranking the news for relevance based on the working context of the reader. We use the contents of the reader’s computer as an indication of his or her interests, and build with them a suitable context representation. We then use it to filter the incoming stream of news.The authors were supported in part by the Ministerio de Educación y Ciencia under the grant N. MEC TIN2008-06566-C04-02, Information Retrieval on different media based on multidimensional models: relevance, novelty, personalization and context

A Constraint-based Job-Shop Scheduling Model for Software Development Planning

This paper proposes a constraint-based model for the Job Shop Scheduling Problem to be solved using local search techniques. The model can be used to represent a multiple software process planning problem when the different (activities of) projects compete for limited sta®. The main aspects of the model are: the use of integer variables which represent the relative order of the operations to be scheduled, and two global constraints, all different and increasing, for ensuring feasibility. An interesting property of the model is that cycle detection in the sched- ules is implicit in the satisfaction of the constraints. In order to test the proposed model, a parameterized local search algorithm has been used, with a neighborhood similar to the Nowicki and Smutnicki one, which has been adapted in order to be suitable for the proposed model.Ministerio de Educación y Ciencia DIP2006-15476-C02-0

Towards Modelling and Tracing Key Performance Indicators in Business Processes

It is increasingly important to evaluate the performance of business processes. A key instrument in order to detect the state of cur rent and completed processes, as well as to identify undesired behaviour, and suggest potential improvements are the key performance indicators (KPIs). The KPI lifecycle in the context of business process driven devel opment comprises the definition, measuring, analysis and report phases. In this paper we analyse how some current proposals deal with these stages, concluding that none of them covers properly the entire cycle; we also identify the challenges which are to be faced to achieve this goal of evaluating business processes performanceComisión Interministerial de Ciencia y Tecnología (CICYT) TIN2006-00472Comisión Interministerial de Ciencia y Tecnología (CICYT) SETI (TIN2009-07366)Junta de Andalucía P07-TIC-253

Evaluating embedded relational databases for large model persistence and query

Large models are increasingly used in Model Driven Development. Different studies have proved that XMI (default persistence in Eclipse Modelling Framework) has some limitations when operating with large models. To overcome them, recent approaches have used databases for the persistence of models. EDBM (Embedded DataBase for Models) is an approach for persisting models in an embedded relational database, providing scalable querying mechanism by runtime translation of modellevel queries to SQL. In this paper, we present an evaluation of EDBM in terms of scalability with existing approaches. GraBaTs 2009 case study (models from 8.8MB to 646MB) is used for evaluation. EDBM is 70% faster than the compared approaches to persist XMI GraBats models into databases and executes the GraBats query faster, as well as having a low memory usage. These results indicate that an embedded relational database, combined with an scalable query mechanism provides a promising alternative for persisting and querying large models

Advances in a DSL for Application Integration

Enterprise Application Integration (EAI) is currently one of the big challenges for Software Engineering. According to a recent report, for each dollar spent on developing an application, companies usually spend from 5 to 20 dollars to integrate it. In this paper, we propose a Domain Specific Language (DSL) for designing application integration solutions. It builds on our experience on two real-world integration projects

Modelling CRM implementation services with SysML

CRM information systems are valuable tools for enterprises. But CRM implementation projects are risky and present a high failure rate. In this paper we regard CRM implementation projects as services that could be greatly improved by addressing them in a methodological way that can be designed with the help of tools such as SysML. Here we introduce and comment on our first experience on the use of SysML language, not very well known, for modelling the elements involved in the CRM implementation processes included in our method.Peer ReviewedPostprint (published version

Diagnosing Business Processes Execution using Choreography Analysis

This work presents a proposal to diagnose business processes that form a global process using a choreography analysis. The diagnosis is based on distributed diagnosis since the business process is formed by a process orchestrations modelled by a set of activities. These business processes have two different types of activities, with internal and external interaction. In this paper the knowledge of the whole business process is divided in different processes. In means that each user has a local point of view of the information of the organization, it also happens in distributed system, where neither agent has global information of how the system is modelled. This work propose a methodology to diagnose the business processes, analyzing only the interactions between the activities of different processes. In order to perform the fault detection for business processes, an algorithm has been defined based on distributed diagnosis. Also some definitions about model-based diagnosis have been redefined to be adapted to business processes diagnosis.Ministerio de Educación y Ciencia DIP2006-15476-C02-0

Soporte a la Evolución Dinámica de Tipos Arquitectónicos

Los sistemas software con una fuerte naturaleza dinámica suponen un reto para la ingeniería del software. Este tipo de sistemas requieren de mecanismos que les permitan modificar tanto estructura como comportamiento en tiempo de ejecución, para adaptarse a las distintas situaciones que puedan presentarse. El área de arquitecturas software, que permite describir la estructura de los sistemas complejos a un alto nivel de abstracción, proporcionados grados de dinamismo para la construcción de sistemas dinámicos, dependiendo de si lo que evoluciona es la configuración de la arquitectura o los tipos que componen dicha arquitectura. El primer tipo de evolución, denominado reconfiguración dinámica, permite a una arquitectura software cambiar su configuración en tiempo de ejecución, creando/destruyendo instancias de elementos arquitectónicos y/o las conexiones entre ellas. El segundo tipo de evolución, que denominamos evolución dinámica de tipos arquitectónicos, permite cambiar completamente la especificación arquitectónica de un sistema dinámicamente, bien introduciendo nuevos tipos arquitectónicos, modificando tipos e instancias en ejecución, o bien introduciendo nuevas conexiones. Este artículo presenta cómo soportar este último grado de dinamismo desde un punto de vista independiente de plataforma. Para ello, se han identificado los diferentes asuntos de interés implicados en el proceso y se han encapsulado en aspectos