1. Inicio
  2. Atrás
Título: Temporal validation of extended workflow processes by means Petri Nets with Clocks
Autores: Riesco, Daniel Eduardo
Vilallonga, Gabriel Domingo
Montejano, Germán Antonio
Uzal, Roberto
Welch, Daniel
Gallina, Sergio Hilario
Fecha: 2012-10-03
2008-10
2008
Publicador: Unversidad Nacional de La Plata
Fuente:

Tipo: Objeto de conferencia
Objeto de conferencia
Tema: Workflow management
Business
Petri nets
Languages
Ciencias Informáticas
Descripción: At present the business processes have temporary requirements within their specifications. Logistics, e-commerce, are examples of these, among others. The time involved in business processes is important regarding the interaction of the actors. The sound of the technology involved in building these processes plays a key role in assessing the risk of implementation. The possibility of having technologies with elements for such specifications is vital to accurately model of reality. Workflow (Wf) is the technology of wide acceptance and recognition that can improve business processes. The Wf architecture has the Interface 1, which lets you define process through its processes definition language (PDL), but has no elements to express temporary restrictions of this kind. Our works present a theoretical framework in which there is an extension of the grammar of the WPDL to allow the specification of time variable. It also establishes a correspondence between the PD and its underlying Petri Net with Clocks (PNwC) preserving its semantic. The correspondence is specified by means of the RAISE Specification Language (RSL). The correlation between these formalisms lets you define business process with temporary restrictions validated.
Workshop de Ingeniería de Software y Bases de Datos (WISBD)
Idioma: Inglés