|
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
|
|
Volver
|
|
infoUYclei 2002
|
|