111 search results - page 1 / 23 » A Logic-Based Formalism to Model and Analyze Workflow Execut... |
CAISE
2003
Springer
13 years 8 months ago
2003
Springer
ICWS
2008
IEEE
13 years 5 months ago
2008
IEEE
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...
ICDT
1997
ACM
13 years 8 months ago
1997
ACM
This paper provides a formal foundation for distributed workfiow executions. The state chart formalism is adapted to the needs of a workflow model in order to establish a basis for...
ENTCS
2002
13 years 4 months ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...
FUIN
2007
13 years 4 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...