loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 32nd Annual IEEE International Computer Software and Applications Conference
A Temporal Semantics for Workflow Control Patterns
July 28-August 01
ISBN: 978-0-7695-3262-2
ASCII Text
x 
 
Denis Gagn?, Andr? Trudel, "A Temporal Semantics for Workflow Control Patterns," Computer Software and Applications Conference, Annual International, pp. 999-1004, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2008.66,
author = {Denis Gagn? and Andr? Trudel},
title = {A Temporal Semantics for Workflow Control Patterns},
journal ={Computer Software and Applications Conference, Annual International},
volume = {0},
year = {2008},
issn = {0730-3157},
pages = {999-1004},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.66},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - A Temporal Semantics for Workflow Control Patterns
SN - 0730-3157
SP999
EP1004
A1 - Denis Gagn?,
A1 - Andr? Trudel,
PY - 2008
KW - null
VL - 0
JA - Computer Software and Applications Conference, Annual International
ER -
 
We use a temporal logic to generate a temporal account (characterization) of workflow control patterns. This characterization not only permits the integration of the control workflow patterns with formal validation tools, such as constraint satisfaction or theorem proving systems, but also provides means to formally identify occurrences of the patterns. This approach leads to the study of business process modeling from a complementary temporal perspective. The approach can also be used to assess and compare the temporal expressiveness of various process modeling formalisms and tools.
Citation:
Denis Gagn?, Andr? Trudel, "A Temporal Semantics for Workflow Control Patterns," compsac, pp.999-1004, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Usage of this product signifies your acceptance of the Terms of Use.