348 search results - page 23 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
110
click to vote
WER
2007
Springer
15 years 5 months ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...
MASCOTS
2003
15 years 1 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...
100
click to vote
ACMICEC
2008
ACM
15 years 1 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
120
click to vote
XMLSEC
2003
ACM
15 years 5 months ago
2003
ACM
Business Processes for Web Services are the new paradigm for the lightweight integration of business from different enterprises. Whereas the security and access control policies ...