1. Inicio
  2. Atrás
Título: Moodelling of processes and formal methods
Autores: Riesco, Daniel Eduardo
Montejano, Germán Antonio
Uzal, Roberto
Fecha: 2012-10-02
2002-05
2002
Publicador: Unversidad Nacional de La Plata
Fuente:

Tipo: Objeto de conferencia
Objeto de conferencia
Tema: Reengineering of processes
Reverse engineering
RAISE language
SOFTWARE ENGINEERING
Formal methods
Languages
Ciencias Informáticas
base de datos
Descripción: 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.
Eje: Ingeniería de Software y Base de Datos
Idioma: Inglés