Temporal validation of extended workflow processes by means Petri Nets with Clocks

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Riesco, Daniel Eduardo, Vilallonga, Gabriel Domingo, Montejano, Germán Antonio, Uzal, Roberto, Welch, Daniel, Gallina, Sergio Hilario
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2008
Materias:
Ciencias Informáticas
Workflow management
Business
Petri nets
Languages
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21953
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21953
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
Workflow management
Business
Petri nets
Languages
spellingShingle Ciencias Informáticas
Workflow management
Business
Petri nets
Languages
Riesco, Daniel Eduardo
Vilallonga, Gabriel Domingo
Montejano, Germán Antonio
Uzal, Roberto
Welch, Daniel
Gallina, Sergio Hilario
Temporal validation of extended workflow processes by means Petri Nets with Clocks
topic_facet Ciencias Informáticas
Workflow management
Business
Petri nets
Languages
description 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.
format Objeto de conferencia
Objeto de conferencia
author Riesco, Daniel Eduardo
Vilallonga, Gabriel Domingo
Montejano, Germán Antonio
Uzal, Roberto
Welch, Daniel
Gallina, Sergio Hilario
author_facet Riesco, Daniel Eduardo
Vilallonga, Gabriel Domingo
Montejano, Germán Antonio
Uzal, Roberto
Welch, Daniel
Gallina, Sergio Hilario
author_sort Riesco, Daniel Eduardo
title Temporal validation of extended workflow processes by means Petri Nets with Clocks
title_short Temporal validation of extended workflow processes by means Petri Nets with Clocks
title_full Temporal validation of extended workflow processes by means Petri Nets with Clocks
title_fullStr Temporal validation of extended workflow processes by means Petri Nets with Clocks
title_full_unstemmed Temporal validation of extended workflow processes by means Petri Nets with Clocks
title_sort temporal validation of extended workflow processes by means petri nets with clocks
publishDate 2008
url http://sedici.unlp.edu.ar/handle/10915/21953
work_keys_str_mv AT riescodanieleduardo temporalvalidationofextendedworkflowprocessesbymeanspetrinetswithclocks
AT vilallongagabrieldomingo temporalvalidationofextendedworkflowprocessesbymeanspetrinetswithclocks
AT montejanogermanantonio temporalvalidationofextendedworkflowprocessesbymeanspetrinetswithclocks
AT uzalroberto temporalvalidationofextendedworkflowprocessesbymeanspetrinetswithclocks
AT welchdaniel temporalvalidationofextendedworkflowprocessesbymeanspetrinetswithclocks
AT gallinasergiohilario temporalvalidationofextendedworkflowprocessesbymeanspetrinetswithclocks
bdutipo_str Repositorios
_version_ 1764820465206951937

Ejemplares similares