Sciweavers

173 search results - page 7 / 35
» Notations for the Specification and Verification of Composit...
Sort
View
WECWIS
2005
IEEE
152views ECommerce» more  WECWIS 2005»
14 years 1 months ago
Semantic Web Service Composition in IRS-III: The Structured Approach
Semantic Web Services facilitate activities including automatic discovery and composition of Web Services. Research initiatives such as WSMO have been developing specifications fo...
Farshad Hakimpour, Denilson Sell, Liliana Cabral, ...
WWW
2002
ACM
14 years 8 months ago
Simulation, verification and automated composition of web services
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
Srini Narayanan, Sheila A. McIlraith
ENTCS
2006
148views more  ENTCS 2006»
13 years 7 months ago
Towards the Semantics and Verification of BPEL4WS
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan ...
SOFSEM
2009
Springer
14 years 4 months ago
A Formal Model of Business Application Integration from Web Services (Position Paper)
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
WISE
2003
Springer
14 years 27 days ago
ServiceCom: A Tool for Service Composition Reuse and Specialization
Web services are becoming the dominant paradigm for distributed computing and electronic business. This has raised the opportunity for service providers and application developers...
Bart Orriëns, Jian Yang, Mike P. Papazoglou