348 search results - page 17 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
BPM
2010
Springer
15 years 28 days ago
2010
Springer
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
EDOC
2006
IEEE
15 years 5 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
TCS
2002
14 years 11 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
Service Oriented Architecture (SOA) is an architectural paradigm that enables dynamic composition of heterogeneous, independent, multi-vendor business services. A prerequisite for...
122
click to vote
CORR
2004
Springer
14 years 11 months ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...