IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Temporal Semantics for Workflow Control Patterns

2008 IEEE 32nd International Computer Software and Applications Conference (COMPSAC)

Author(s): D. Gagne ; A. Trudel
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2008
Conference Location: Turku, Finland
Conference Date: 28 July 2008
Page(s): 999 - 1,004
ISBN (CD): 978-0-7695-3262-2
ISSN (Paper): 0730-3157
DOI: 10.1109/COMPSAC.2008.66
Regular:

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

Advertisement