348 search results - page 41 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
137
Voted
ECAI
2008
Springer
15 years 4 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...
101
Voted
SIGSOFT
2006
ACM
16 years 3 months 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 ...
176
Voted
SEW
2006
IEEE
15 years 8 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...
87
Voted
BPM
2004
Springer
15 years 8 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...
139
Voted
MEMOCODE
2003
IEEE
15 years 8 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...