Modelado de Servicios y Procesos

URI permanente para esta colección:

Artículos en la categoría Modelado de Servicios y Procesos publicados en las Actas de las XIII Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (JCIS 2017).
Notificar un error en esta colección


Envíos recientes

Mostrando 1 - 4 de 4
  • Resumen
    Complex Event Processing Modeling by Prioritized Colored Petri Nets
    Macià, Hermenegilda; Valero, Valentín; Díaz, Gregorio; Boubeta-Puig, Juan; Ortiz, Guadalupe. Actas de las XIII Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (JCIS 2017), 2017-07-19.
    Complex Event Processing (CEP) is a technology that allows us to process and correlate large volumes of data by using event patterns, aiming at promptly detecting specific situations that could require special treatment. The event types and event patterns for a particular application domain are implemented by using an Event Processing Language (EPL). Although some current model-driven tools allow end users to easily define these patterns, which are then transformed automatically into a particular EPL, the generated code is syntactically but not semantically validated. To deal with this problem, a Prioritized Colored Petri Net model (PCPN) for CEP is proposed and conducted in this paper. Thus, we have not only an event pattern graphical representation, but also the capability to perform formal analysis, and therefore semantic analysis, by means of the PCPN model obtained and the CPN Tools. This formal analysis is twofold. On the one hand, users can interact with the model itself by performing a step by step debugging, since the tool allows to simulate the model. With this in mind, users can specify a concrete scenario by providing the initial marking to check whether the model works as expected. By doing this, users can observe the results of the individual steps of the simulation, which represent the different EPL operators, as we can observe at the end of the case study where a user can detect whether the preferred operator has been used, that is, if the specified pattern behaves as expected. On the other hand, there are certain advantages of performing automatic simulations. An automatic simulation allows us to actually execute the EPL code and compare the obtained output, that is, we can compare whether the results obtained from a given input are the same when we execute the EPL code in the Esper EPL online tool and in CPN Tools.
  • Resumen
    Modeling Service Level Agreements with Linked USDL Agreement
    García, José María; Fernández Montes, Pablo; Pedrinaci, Carlos; Resinas Arias de Reyna, Manuel; Cardoso, Jorge S.; Ruiz Cortés, Antonio. Actas de las XIII Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (JCIS 2017), 2017-07-19.
    A pesar de la importancia de los servicios en la economía, las tareas como la búsqueda, análisis de alternativas, y contratación de servicios en virtud de acuerdos de nivel de servicio (ANS), siguen realizándose manualmente. En la denominada Web de los servicios existen alternativas para facilitar la automatización de estas tareas basadas en diversos modelos conceptuales: genéricos como Linked USDL, o centrados en algún aspecto concreto, como WS-Agreement con los ANS. Sin embargo, estos últimos contemplan principalmente sólo aspectos técnicos, sin proporcionar una semántica explícita a los términos del ANS ni cumplir los principios de la Web, dificultando su adopción y análisis automático. En este artículo presentamos Linked USDL Agreement, una extensión de la familia de ontologías Linked USDL que proporciona facilidades para especificar, gestionar y compartir descripciones de ANS en la Web. Este modelo semántico evita los problemas de interoperabilidad y heterogeneidad de las especificaciones de ANS actuales. Además, dado que nuestro modelo sigue los principios de la Web de los datos, las descripciones de ANS generadas son fácilmente publicables, compartibles y analizables, sirviendo como soporte del ciclo de vida de los servicios. Nuestra propuesta ha sido validada tanto sobre servicios Web tradicionales (e.g. computación en la nube), como sobre servicios no-computacionales (e.g. outsourcing de procesos de negocio). La comparación realizada con otras alternativas existentes, así como la implementación de una herramienta que facilita la creación, publicación, y análisis automático de documentos en Linked USDL Agreement, nos permite afirmar que nuestra propuesta es capaz de soportar completamente la gestión del ciclo de vida de los ANS.
  • Resumen
    Towards an MDE-Based Approach to Test Entity Reconciliation Applications
    González Enríquez, José; Blanco, Raquel; Domínguez Mayo, Francisco José; Tuya, Javier; Escalona Cuaresma, María José. Actas de las XIII Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (JCIS 2017), 2017-07-19.
    The management of large volumes of data has given rise to significant challenges to the entity reconciliation problem (which refers to combining data from different sources for a unified vision) due to the fact that the data are becoming more un-structured, un-clean and incomplete, need to be more linked, etc. Testing the applications that implement the entity reconciliation problem is crucial to ensure both the correctness of the reconciliation process and the quality of the reconciled data. In this paper, we have presented a work-in-progress that aims to test applications that implement an entity reconciliation problem to ensure the quality of both the applications and the reconciled data. The approach allows the creation of test models for integration testing, taking into account the problem specification and the data models of the data sources and the solution. These test models are composed of several business rules, called integration rules, which can be used to automatically derive the test requirements. Besides, as the integration rules also describe the business logic of the entity reconciliation process, they can be used to partially derive the implementation of the application. The proposal is based on two main pillars: MDE and virtual graph. The support of automation of the MDE paradigm allows us to build very scalable solutions at a low cost, whilst the virtual graphs allow us to dynamically build the entity reconciliation solution at runtime.
  • Resumen
    Hybrid business process modeling for the optimization of outcome data
    Parody, Luisa; Gómez-López, María Teresa; Gasca, Rafael M.. Actas de las XIII Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (JCIS 2017), 2017-07-19.
    Declarative business processes are commonly used to describe permitted and prohibited actions in a BP. However, most current proposals of declarative languages fail in three aspects: (1) they tend to be oriented only towards the execution order of the activities; (2) the optimization is oriented only towards the minimization of the execution time or the resources used in the business process; and (3) there is an absence of capacity of execution of declarative models in commercial Business Process Management Systems. Therefore, this contribution aims at taking into account these three aspects, by means of: (1) the formalization of a hybrid model oriented towards obtaining the outcome data optimization by combining a data-oriented declarative specification and a control-flow-oriented imperative specification; and (2) the automatic creation from this hybrid model to an imperative model that is executable in a standard Business Process Management System. An approach, based on the definition of a hybrid business process, which uses a constraint programming paradigm, is presented. This approach enables the optimized outcome data to be obtained at runtime for the various instances. In order to work out our approach, a language capable of defining a hybrid model is provided, and applied to a case study. Likewise, the automatic creation of an executable constraint satisfaction problem is addressed, whose resolution allows us to attain the optimized outcome data. A brief computational study is also shown.