100 search results - page 14 / 20 » Model-Checking of Web Services Choreography |
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. To direct automated Web service composition, it is compelling to provide a template, workflow or scaffolding that dictates the ways in which services can be composed. I...
EEE
2005
IEEE
14 years 1 months ago
2005
IEEE
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
IEEESCC
2009
IEEE
13 years 5 months ago
2009
IEEE
Business-To-Business Integration (B2Bi) is a key mechanism for enterprises to gain competitive advantage. However, developing B2Bi applications is far from trivial. Inter alia, ag...
AICT
2006
IEEE
14 years 1 months ago
2006
IEEE
Workflow and Web Services have the main role in the development and in the realisation of B2B architectures. In this context, the principal target is to compose many services supp...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
— Web services orchestrations and choreographies require establishing Quality of Service (QoS) contracts with the user. This is achieved by performing QoS composition, based on c...