348 search results - page 37 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
119
click to vote
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
ENTCS
2007
14 years 11 months ago
2007
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...
BPM
2006
Springer
15 years 3 months ago
2006
Springer
An important shortcoming in the Business Process Redesign (BPR) literature is the lack of concrete guidance on how to improve an existing business process. Our earlier work has aim...
106
click to vote
ICEBE
2007
IEEE
15 years 6 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
CISC
2005
Springer
15 years 5 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...