Description Schemes for Mathematical Web Services
نویسنده
چکیده
The process of Web Service Discovery consists of finding the best match amongst a collection of available services to a particular problem or kind of problem. In our particular area of interest, mathematics, this matching process will involve both mathematical ("can it solve my problem?") and non-mathematical ("am I authorised to use it?", "will the resources needed to solve my problem be available soon?", ...) criteria, but this paper is only concerned with the former.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملScenario Analysis of Web Service Composition based on Multi-Criteria Mathematical Programming
Web-based software is fast becoming an integral part of e-business. In particular, the proliferation of ecommerce and the use of distributed computing in recent years have fueled the explosive growth of web services. Web service composition helps build web-based applications by composing as well as integrating existing web services. In general, web services are diverse in terms of both function...
متن کاملApproximating Mathematical Semantic Web Services Using Approximation Formulas and Numerical Methods
Mathematical semantic web services are very useful in practice, but only a small number of research results are reported in this area. In this paper we present a method of obtaining an approximation of a mathematical semantic web service, from its semantic description, using existing mathematical semantic web services, approximation formulas, and numerical methods techniques. We also give a met...
متن کاملAn Architecture for Distributed Mathematical Web Services
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients to access mathematical computational facilities through a uniform set of network protocols, independent of the software packages that provide the end functionality. The author of a mathematical web service need know on...
متن کاملMathematical Service Matching Using Description Logic and OWL
Web Service technology is increasingly being used to develop distributed applications, however the convention is to describe individual services in terms of the interfaces that they expose, rather in terms of the function that they perform. In this paper we describe a mechanism for encoding information about mathematical web services which is rich enough to allow a potential client to identify ...
متن کامل