Title :
A framework for the translation of extended workflow processes to Petri Net with Clocks
Author :
Debnath, Narayan ; Riesco, Daniel ; Vilallonga, Gabriel ; Montejano, Germán ; Uzal, Roberto
Author_Institution :
Winona State Univ., Winona
Abstract :
Workflow (Wf) has proven to be technology for the improvement of the businesses process. Interphase 1 of Wf allows the Wf processes definition (WPD). This definition does not have elements for the validation, in addition to the lack of temporal elements for time specifications. Our work approaches the theoretical frame for the WPD validation by means of Petri net with clocks (PNwC). This work presents, the correspondence between the WPD and a PNwC. The process definition analysis is made on the PNwC obtained by translation of the underlying process. The correspondence is specified by means of the RAISE specification language (RSL).
Keywords :
Petri nets; business process re-engineering; specification languages; workflow management software; Petri net; RAISE specification language; Wf process definition; business process reengineering; clocks; extended workflow process; Algebra; Business process re-engineering; Clocks; Engines; Logic; Neural networks; Software design; Specification languages; State-space methods; USA Councils;
Conference_Titel :
Electro/Information Technology, 2007 IEEE International Conference on
Conference_Location :
Chicago, IL
Print_ISBN :
978-1-4244-0941-9
Electronic_ISBN :
978-1-4244-0941-9
DOI :
10.1109/EIT.2007.4374545
