348 search results - page 44 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
93
Voted
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...
100
click to vote
KESAMSTA
2010
Springer
14 years 10 months ago
2010
Springer
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
BIS
2007
15 years 1 months ago
2007
Abstract. Most approaches to B2B interoperability are based on language syntax standardisation, usually by XML Schemas. However, due to XML expressivity limitations, they are diffi...
106
click to vote
ICUMT
2009
14 years 9 months ago
2009
Web services are ubiquitous technologies which are used for integrating business processes and services. As is the case in many other applications, the information processed in we...