26 search results - page 3 / 6 » Model-Based Analysis of Obligations in Web Service Choreogra... |
IEEESCC
2005
IEEE
13 years 10 months ago
2005
IEEE
Today’s information technologies, such as autonomic computing, offer companies new ways to do businesses. Those that fail to embrace and use such advantages in the next years ar...
AICT
2006
IEEE
13 years 11 months ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
ICWS
2008
IEEE
13 years 6 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
ICSOC
2005
Springer
13 years 10 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
EEE
2005
IEEE
13 years 10 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...