116 search results - page 13 / 24 » Automated Model Checking and Testing for Composite Web Servi... |
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
PTS
2008
13 years 8 months ago
2008
Abstract. Model-based testing (MBT) seems to be technically superior to conventional test automation. However, MBT features some difficulties that can hamper its deployment in indu...
WSC
2007
13 years 9 months ago
2007
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...
ECBS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper provides three contributions to the study of functional integration of distributed enterprise systems. First, we describe the challenges associated with functionally in...
EUROMICRO
2003
IEEE
14 years 18 days ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...