348 search results - page 41 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
113
click to vote
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Keyword-based search engines, though hugely popular, are limited when trying to answer very specific queries. The processing of search results is performed by users, rather than th...
SIGSOFT
2006
ACM
16 years 14 days ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
141
click to vote
SEW
2006
IEEE
15 years 5 months ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
BPM
2004
Springer
15 years 5 months ago
2004
Springer
: One of the most debatable features of Event driven Process Chains (EPCs) is their non-local semantics. Most non-local semantics for EPCs either have a formal flaw or are given i...
115
click to vote
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...