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
Año de publicación
2008
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
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)
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Workflow management
Business
Petri nets
Languages
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/21953
Acceder
id SEDICI_dd27da661add6a84faaf4e4dc7bf2611
oai_identifier_str oai:sedici.unlp.edu.ar:10915/21953
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Temporal validation of extended workflow processes by means Petri Nets with ClocksRiesco, Daniel EduardoVilallonga, Gabriel DomingoMontejano, Germán AntonioUzal, RobertoWelch, DanielGallina, Sergio HilarioCiencias InformáticasWorkflow managementBusinessPetri netsLanguagesAt 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)Red de Universidades con Carreras en Informática (RedUNCI)2008-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/21953enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-15T10:47:28Zoai:sedici.unlp.edu.ar:10915/21953Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-15 10:47:28.811SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Temporal validation of extended workflow processes by means Petri Nets with Clocks
title Temporal validation of extended workflow processes by means Petri Nets with Clocks
spellingShingle Temporal validation of extended workflow processes by means Petri Nets with Clocks
Riesco, Daniel Eduardo
Ciencias Informáticas
Workflow management
Business
Petri nets
Languages
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
dc.creator.none.fl_str_mv Riesco, Daniel Eduardo
Vilallonga, Gabriel Domingo
Montejano, Germán Antonio
Uzal, Roberto
Welch, Daniel
Gallina, Sergio Hilario
author Riesco, Daniel Eduardo
author_facet Riesco, Daniel Eduardo
Vilallonga, Gabriel Domingo
Montejano, Germán Antonio
Uzal, Roberto
Welch, Daniel
Gallina, Sergio Hilario
author_role author
author2 Vilallonga, Gabriel Domingo
Montejano, Germán Antonio
Uzal, Roberto
Welch, Daniel
Gallina, Sergio Hilario
author2_role author
author
author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Workflow management
Business
Petri nets
Languages
topic Ciencias Informáticas
Workflow management
Business
Petri nets
Languages
dc.description.none.fl_txt_mv 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)
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2008
dc.date.none.fl_str_mv 2008-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/21953
url http://sedici.unlp.edu.ar/handle/10915/21953
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1846063900744744960
score 13.22299

Publicaciones similares