Moodelling of processes and formal methods

We proposed her a technique, which can be employed within the methodology know as process reengineering. This technique was applied in a government environment, which included an Information System and Geographical Information System, developed with financial support from The World Bank. One model...

Descripción completa

Detalles Bibliográficos
Autores principales: Riesco, Daniel Eduardo, Montejano, Germán Antonio, Uzal, Roberto
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2002
Materias:
Ciencias Informáticas
Reengineering of processes
Reverse engineering
RAISE language
SOFTWARE ENGINEERING
base de datos
Formal methods
Languages
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21911
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21911
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Reengineering of processes
Reverse engineering
RAISE language
SOFTWARE ENGINEERING
base de datos
Formal methods
Languages
spellingShingle Ciencias Informáticas
Reengineering of processes
Reverse engineering
RAISE language
SOFTWARE ENGINEERING
base de datos
Formal methods
Languages
Riesco, Daniel Eduardo
Montejano, Germán Antonio
Uzal, Roberto
Moodelling of processes and formal methods
topic_facet Ciencias Informáticas
Reengineering of processes
Reverse engineering
RAISE language
SOFTWARE ENGINEERING
base de datos
Formal methods
Languages
description We proposed her a technique, which can be employed within the methodology know as process reengineering. This technique was applied in a government environment, which included an Information System and Geographical Information System, developed with financial support from The World Bank. One model used in process reengineering is the process model diagram. Ir allows finding the tasks, to be completed in each area of the organization. To understand the domain is crucial to be able to specify each one of these tasks. We show here how to use modeling of processes to find the tasks and to formalize their description using RAISE formal method. In this way, using a model of process as input, an engineer employs a systematic technique to create –as a starting point- the mail functions (tasks) of the domain using the RAISE formal method.
format Objeto de conferencia
Objeto de conferencia
author Riesco, Daniel Eduardo
Montejano, Germán Antonio
Uzal, Roberto
author_facet Riesco, Daniel Eduardo
Montejano, Germán Antonio
Uzal, Roberto
author_sort Riesco, Daniel Eduardo
title Moodelling of processes and formal methods
title_short Moodelling of processes and formal methods
title_full Moodelling of processes and formal methods
title_fullStr Moodelling of processes and formal methods
title_full_unstemmed Moodelling of processes and formal methods
title_sort moodelling of processes and formal methods
publishDate 2002
url http://sedici.unlp.edu.ar/handle/10915/21911
work_keys_str_mv AT riescodanieleduardo moodellingofprocessesandformalmethods
AT montejanogermanantonio moodellingofprocessesandformalmethods
AT uzalroberto moodellingofprocessesandformalmethods
bdutipo_str Repositorios
_version_ 1764820465153474562

Ejemplares similares