25 - 29 de Noviembre de 2002

Montevideo, Uruguay

Radisson Victoria Plaza Hotel

 
CL63
 
LUPA: Lenguaje Unificado de Procesos Administrativos

Emely Arráiz
Universidad Simón Bolivar, Dpto. de Computación y Electrónica de la Información
arraiz@ldc.usb.ve
Pedro R. Borges
Universidad Simón Bolivar, Dpto. de Computación y Electrónica de la Información
borges@ldc.usb.ve
Roger V. Soler
Universidad Simón Bolivar, Dpto. de Computación y Electrónica de la Información
soler@ldc.usb.ve
Cristina Zoltan
Universidad Simón Bolivar, Dpto. de Computación y Electrónica de la Información
zoltan@ldc.usb.ve
 
Abstract

The Unified Lenguage for Administrative Process (LUPA, in spanish) is a lenguage oriented towards programming and communicating the various task associated to the precise treatment of business transaction. The syntatic object of the lenguage are regular expressions built from a small set of operators, which allow the denotation of the process associated to each transaction to be expressed in a simple and modular way. The semantic specification is given and interpreted Petri nets, and the consistency of the process is shown.

Keywords: Formal methods, Regular expresions, Petri nets

 
Resumen

El Lenguaje Unificado de Procesos Administrativos (LUPA) es un lenguaje orientado a la programación y comunicación de las distintas tareas asociadas al tratamiento preciso de transacciones en la empresa. Los objetos sintácticos del lenguaje son expresiones regulares construídas a partir de un pequeño conjunto de operadores que permiten en forma sencilla denotar el proceso asociado a una transacción, haciendo uso de la modularidad (subexpresiones). La especificación semántica es dada a través de redes de Petri interpretadas, mostrando la consistencia de los procesos denotados.

Palabras Clave: Metodos formales, Expresiones regulares, Redes de Petri



Texto completo        Volver

infoUYclei 2002