IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Guarded Workflow Language and Its Formal Semantics

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE)

Author(s): Chen-Wei Wang ; Davies, J. ; Welch, J.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2010
Conference Location: Taipei, Taiwan, Taiwan
Conference Date: 25 August 2010
Page(s): 25 - 34
ISBN (Paper): 978-1-4244-7847-7
DOI: 10.1109/TASE.2010.21
Regular:

Many information systems hold data of considerable value, and are subject to complex constraints and business rules. In these systems, update operations are often carefully described, to the... View More

Advertisement