Ingeniería de software: composición de servicios en ambientes ubicuos

Este Proyecto deriva del anterior: “Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software”. Como parte de los desarrollos de dicho proyecto se identificó la falta de enfoque sistémico en aspectos relacionados con la confiabilidad en la composición de servicios en ambientes ubicuos, más precisamente en el ámbito del manejo de transacciones en servicios dependientes. Se propone entonces desarrollar una línea de investigación para resolver la insuficiencia que presenta la composición de servicios en ambientes ubicuos a nivel de transacciones atómicas, la cual ha sido abordada en diversos trabajos de investigación e incluso desde las propias especificaciones de OASIS (WSCoordination, WS-AtomicTransaction), pero desde un punto de vista estático y donde prima la estabilidad de los distintos servicios componentes. Se avanzará en el análisis del estado del arte de los métodos de desarrollo SOA, de las especificaciones existentes y de investigaciones actuales, en lo relacionado a la composición de servicios en ambientes ubicuos y el manejo de transacciones identificando las flaquezas que ellos presentan, con el objetivo de realizar propuestas superadoras basadas en la confiabilidad y previsibilidad de los sistemas de información.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Ingeniería de software: composición de servicios en ambientes ubicuos

Este Proyecto deriva del anterior: “Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software”. Como parte de los desarrollos de dicho proyecto se identificó la falta de enfoque sistémico en aspectos relacionados con la confiabilidad en la composición de servicios en ambientes ubicuos, más precisamente en el ámbito del manejo de transacciones en servicios dependientes. Se propone entonces desarrollar una línea de investigación para resolver la insuficiencia que presenta la composición de servicios en ambientes ubicuos a nivel de transacciones atómicas, la cual ha sido abordada en diversos trabajos de investigación e incluso desde las propias especificaciones de OASIS (WSCoordination, WS-AtomicTransaction), pero desde un punto de vista estático y donde prima la estabilidad de los distintos servicios componentes. Se avanzará en el análisis del estado del arte de los métodos de desarrollo SOA, de las especificaciones existentes y de investigaciones actuales, en lo relacionado a la composición de servicios en ambientes ubicuos y el manejo de transacciones identificando las flaquezas que ellos presentan, con el objetivo de realizar propuestas superadoras basadas en la confiabilidad y previsibilidad de los sistemas de información.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Ingeniería de software: composición de servicios en ambientes ubicuos

Este Proyecto deriva del anterior: “Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software”. Como parte de los desarrollos de dicho proyecto se identificó la falta de enfoque sistémico en aspectos relacionados con la confiabilidad en la composición de servicios en ambientes ubicuos, más precisamente en el ámbito del manejo de transacciones en servicios dependientes. Se propone entonces desarrollar una línea de investigación para resolver la insuficiencia que presenta la composición de servicios en ambientes ubicuos a nivel de transacciones atómicas, la cual ha sido abordada en diversos trabajos de investigación e incluso desde las propias especificaciones de OASIS (WSCoordination, WS-AtomicTransaction), pero desde un punto de vista estático y donde prima la estabilidad de los distintos servicios componentes. Se avanzará en el análisis del estado del arte de los métodos de desarrollo SOA, de las especificaciones existentes y de investigaciones actuales, en lo relacionado a la composición de servicios en ambientes ubicuos y el manejo de transacciones identificando las flaquezas que ellos presentan, con el objetivo de realizar propuestas superadoras basadas en la confiabilidad y previsibilidad de los sistemas de información.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Confusion Analysis and Detection for Workflow Nets

Option processes often occur in a business procedure with respect to resource competition. In a business procedure modeled with a workflow net (WF-net), all decision behavior and option operations for business tasks are modeled and performed by the conflicts in corresponding WF-net. Concurrency in WF-nets is applied to keep a high-performance operation of business procedures. However, the firing of concurrent transitions in a WF-net may lead to the disappearance of conflicts in the WF-net. The phenomenon is usually called confusions that produces difficulties for the resolution of conflicts. This paper investigates confusion detection problems in WF-nets. First, confusions are formalized as a class of marked subnets with special conflicting and concurrent features. Second, a detection approach based on the characteristics of confusion subnets and the integer linear programming (ILP) is developed, which is not required to compute the reachability graph of a WF-net. Examples of the confusion detection in WF-nets are presented. Finally, the impact of confusions on the properties of WF-nets is specified

A Petri net approach to analyzing behavioral compatibility and similarity of web services

Web services have become the technology of choice for service-oriented computing implementation, where Web services can be composed in response to some users' needs. It is critical to verify the compatibility of component Web services to ensure the correctness of the whole composition in which these components participate. Traditionally, two conditions need to be satisfied during the verification of compatibility: reachable termination and proper termination. Unfortunately, it is complex and time consuming to verify those two conditions. To reduce the complexity of this verification, we model Web services using colored Petri nets (PNs) so that a specific property of their structures is looked into, namely, well structuredness. We prove that only reachable termination needs to be satisfied when verifying behavioral compatibility among well-structured Web services. When a composition is declared as valid and in the case where one of its component Web services fails at run time, an alternative one with similar behavior needs to come into play as a substitute. Thus, it is important to develop effective approaches that permit one to analyze the similarity of Web services. Although many existing approaches utilize PNs to analyze behavioral compatibility, few of them explore further appropriate definitions of behavioral similarity and provide a user-friendly tool with automatic verification. In this paper, we introduce a formal definition of context-independent similarity and show that a Web service can be substituted by an alternative peer of similar behavior without intervening other Web services in the composition. Therefore, the cost of verifying service substitutability is largely reduced. We also provide an algorithm for the verification and implement it in a tool. Using the tool, the verification of behavioral similarity of Web services can be performed in an automatic way.Xitong Li, Yushun Fan, Quan Z. Sheng, Zakaria Maamar, and Hongwei Zh

Annual Research Report, 2010-2011

Annual report of collaborative research projects of Old Dominion University faculty and students in partnership with business, industry and government.https://digitalcommons.odu.edu/or_researchreports/1000/thumbnail.jp