305 search results - page 34 / 61 » Proof as Composition: An approach for the Large-granularity ... |
WWW
2005
ACM
14 years 2 months ago
2005
ACM
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
BPM
2006
Springer
14 years 11 days ago
2006
Springer
Web Services-based business processes spread over the boundaries of companies, requiring the integration of customers, suppliers and partners to achieve inter-organizational busine...
ECOWS
2007
Springer
14 years 17 days ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...
ECOWS
2007
Springer
14 years 2 months ago
2007
Springer
A major advantage offered by Web services technologies is the ability to dynamically discover and invoke services. This ability is particularly important for operations of many ap...