1426 search results - page 121 / 286 » Analyzing Web Service Based Business Processes |
120
click to vote
DBPL
2003
Springer
15 years 9 months ago
2003
Springer
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
122
click to vote
ANSOFT
2002
15 years 3 months ago
2002
Abstract. We evaluate the efficacy of an established OO/CBD development process (OPEN) in web development and propose new and amended Activities, Tasks, Techniques and Roles that s...
169
click to vote
WECWIS
2002
IEEE
15 years 8 months ago
2002
IEEE
Exploring an appropriate business application published as a Web Service in the UDDI registry is a critical issue. Search for such an application should be effective in terms of t...
170
click to vote
ECOWS
2007
Springer
15 years 7 months 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...
134
click to vote
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...