Sciweavers

481 search results - page 64 / 97
» Automated Composition of Web Services: the ASTRO Approach
Sort
View
IJCAT
2010
132views more  IJCAT 2010»
14 years 8 months ago
Using weaving models to automate model-driven web engineering proposals
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
Juan M. Vara, Valeria de Castro, Marcos Didonet De...
78
Voted
SEMWEB
2009
Springer
15 years 4 months ago
Semantic Usage Policies for Web Services
Web Services provide standardized interfaces for accessing software systems and data sources over the Internet. Semantic descriptions of Web Services help to automate the discovery...
Sebastian Speiser
SIGSOFT
2008
ACM
15 years 10 months ago
Modular verification of web services using efficient symbolic encoding and summarization
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan
JWSR
2007
119views more  JWSR 2007»
14 years 9 months ago
Ontology Driven Data Mediation in Web Services
: With the rising popularity of Web services, both academia and industry have invested considerably in Web service description standards, discovery, and composition techniques. The...
Meenakshi Nagarajan, Kunal Verma, Amit P. Sheth, J...
70
Voted
ICNS
2008
IEEE
15 years 4 months ago
Enhancing User-Service Interaction through a Global User-Centric Approach to SOA
Considered as enablers of seamless application-toapplication integration both within company boundaries and on a global scale, Web Services-based SOAs have traditionally focused o...
Javier Soriano, David Lizcano, Juan José Hi...