5 research outputs found

    Especificaciones formales tempranas del comportamiento de sistemas de software

    Get PDF
    El objetivo general del presente proyecto es facilitar la especificaci贸n formal del comportamiento de artefactos de software. La especificaci贸n formal del comportamiento esperado de artefactos de software ha sido identificada como uno de los mayores obst谩culos para el desarrollo de software basado en modelos, y para la transferencia de t茅cnicas de validaci贸n y verificaci贸n formal como model checking. La comunidad en Ingenier铆a de Software cree que una posible soluci贸n debe poder combinar varios condimentos: deben permitir la descripci贸n parcial del comportamiento, la facilidad para especificar sistemas abiertos, se deben usar sintaxis simples y conocidas, deben basarse en notaciones con suficiente poder expresivo y deben soportar heterogeneidad (combinando declaratividad para estar cerca de la especificaci贸n de los requerimientos y notaciones operacionales basadas en aut贸matas oformalismos similares). El objetivo espec铆fico de esta investigaci贸n es el desarrollo de un nuevo lenguaje declarativo con el suficiente poder expresivo para especificar el comportamiento de sistemas abiertos, y la capacidad para operacionalizar las especificaciones. En el mismo se combinar谩 la posibilidad de describir comportamiento parcial, permitiendo el modelado incremental, junto con la posibilidad de especificar el comportamiento de artefactos describiendo su interacci贸n con un ambiente o contexto externo, habilitando las especificaciones de sistemas abiertos.Eje: Ingenier铆a de Software.Red de Universidades con Carreras en Inform谩tica (RedUNCI

    DECLARE: Full Support for Loosely-Structured Processes

    Full text link
    Traditional Workflow Management Systems (WFMSs) are not flexible enough to support loosely-structured pro- cesses. Furthermore, flexibility in contemporary WFMSs usually comes at a certain cost, such as lack of support for users, lack of methods for model analysis, lack of methods for analysis of past executions, etc. DECLARE is a proto- type of a WFMS that uses a constraint-based process mod- eling language for the development of declarative models describing loosely-structured processes. In this paper we show how DECLARE can support loosely-structured pro- cesses without sacrificing important WFMSs features like user support, model verification, analysis of past execu- tions, changing models at run-time, etc

    WICC 2017 : XIX Workshop de Investigadores en Ciencias de la Computaci贸n

    Get PDF
    Actas del XIX Workshop de Investigadores en Ciencias de la Computaci贸n (WICC 2017), realizado en el Instituto Tecnol贸gico de Buenos Aires (ITBA), el 27 y 28 de abril de 2017.Red de Universidades con Carreras en Inform谩tica (RedUNCI
    corecore