10 search results - page 2 / 2 » zeus 2010 |
ZEUS
2010
13 years 11 months ago
2010
The control-flow of business workflows is characterized by the strict execution order of the activities that is already defined at design time. This well-structured control-flow is...
ZEUS
2010
13 years 11 months ago
2010
Choreographies offer a global view on interacting processes. There are two ways to capture this global view: interaction models and interconnection models. Although there is a mapp...
ZEUS
2010
13 years 11 months ago
2010
Research in the domain of Workflow Management focuses increasingly on service orchestrations. Often the fact is neglected that a huge part of the activities of business processes a...
ENTCS
2002
13 years 9 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
ZEUS
2010
13 years 11 months ago
2010
When designing a publicly available Web service, a service designer has to take care of costs and revenue caused by this services. In the very beginning possible partners might onl...