Abstract
As a result of the rapid increase in the number and range of services deployed on the Internet, it is becoming apparent that finding services, choosing between them and working out how to combine them is a desirable, but also very challenging problem, which has brought into existence numerous languages for describing the myriad aspects of web services. We describe here an approach to service brokerage being explored as part of the MONET project [12], whose larger aim is to demonstrate the applicability of the semantic web to the domain of mathematical software. The enabling technologies originate from artificial intelligence, with the objective of matching the characteristics of a problem to the advertised capabilities of available mathematical web services and then invoking the chosen web services through standardised mechanisms. The resulting framework aims to be a powerful, flexible, distributed and dynamic way of putting state-of-the-art algorithms at the disposal of users anywhere in the world. The scope of this paper is limited to service brokerage in the framework of the semantic web in which we use and redefine and extend features previously described in the RETSINA and InfoSleuth architectures by the incorporation of FIPA-ACL messaging, the ACL Infrastructure and the Mathematical Service Description Language (MSDL) which was developed in the MONET project to advertise capabilities of mathematical services. In addition we define a new layer, whose task is classification, thereby easing and distributing the problem of searching for mathematical services.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aird, Marc (2003). Symbolic Service Initial Beta Version. Technical report, The MONET Consortium. Available from http://monet.nag.co.uk.
Andrews, Tony, Curbera, Francisco, Dholakia, Hitesh, Goland, Yaron, Klein, Johannes, Leymann, Frank, Liu, Kevin, Roller, Dieter, Smith, Doug, Thatte, Satish, Trickovic, Ivana, and Weerawarana, Sanjiva (2003). Specification: Business Process Execution Language for Web Services Version 1.1. Report, IBM.
Angele, J., Fensel, D., Landes, D., and Studer, R. (1998). Developing Knowledge-Based Systems with MIKE. Automated Software Engineering: An International Journal, 5(4):389–418.
Bellifemine, Fabio, Poggi, Agostino, and Rimassa, Giovanni (1999). JADE — A FIPA-compliant agent framework. In Proceedings of 4th International Conference on The Practical Applications of Agents and Multi-Agent systems (PAAM-99), pages pp97–108.
Benjamins, V. Richard, Wielinga, Bob, Wielemaker, Jan, and Fensel, Dieter (1999). Towards Brokering Problem-Solving Knowledge on the Internet. In Fensel, Dieter and Studer, Rudi, editors, Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management (EKAW-99), volume 1621 of LNAI, pages 33–48, Berlin. Springer.
Buswell, S., O. Caprotti, and M. Dewar (2003). Mathematical Service Description Language: Initial Draft. Technical report, The MONET Consortium. Available from http://monet.nag.co.uk.
DAML-S (www). DAML-based Web Service Ontology. Available from http://www.daml.org/services/daml-s/0.7/.
Maple (www). Mathematical problem solving and programming environment. Available from http://www.maplesoft.com/.
MathML (www). Mathematical markup language (mathml) version 2.0. Available from http://www.w3.org/Math/.
Mayfield, James, Labrou, Yannis, and Finin, Tim (1996). Evaluation of KQML as an Agent Communication Language. In Wooldridge, Müchael, Möller, Jorg P., and Tambe, Milind, editors, Proceedings on the IJCAI Workshop on Intelligent Agents II: Agent Theories, Architectures, and Languages, volume 1037, pages 347–360. Springer-Verlag: Heidelberg, Germany.
MONET Consortium (2003). MONET Architecture Overview. Technical report, The MONET Consortium. Available from http://monet.nag.co.uk.
MONET Consortium (www). MONET Home Page. Available from http://monet.nag.co.uk.
National Institute for Standards (2003). GAMS Guide to Available Mathematical Software. Available from http://gams.nist.gov/.
Nodine, M. (1998). Invited Contribution: The InfoSleuth Agent System. In Klusch, Matthias and Weif, Gerhard, editors, Proceedings of the 2nd International Workshop on Cooperative Information Agents II: Learning, Mobility and Electronic Commerce for Information Discovery on the Internet, volume 1435 of LNAI, pages 19–20, Berlin. Springer.
OpenMath Society (www). OpenMath website. http://www.openmath.org.
OWL (www). OWL-Web Ontology Language. W3C Working Draft 21 February 2003. Available from http://www.w3.org/TR/owl-ref.
Paolucci, Massmo, Sycara, Katia, and Kawamura, Takahiro (2002). Delivering semantic web services. Technical Report CMU-RI-TR-02-28, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA.
RULEML (www). Rules and Rule Markup Languages for the Semantic Web. Available from http://www.dfki.uni-kl.de/ruleml/.
Russell, S. and Norvig, P. (2003). Artificial Intelligence. A Modern Approach. Prentice Hall.
Sycara, K., Decker, K., Pannu, A., Williamson, M., and Zeng, D. (1996). Distributed intelligent agents. IEEE Expert, 11(6):36–46.
Sycara, Katia (1999). In-Context Information Management Through Adaptive Collaboration of Intelligent Agents. In Klusch, Matthias, editor, Intelligent Information Agents: Cooperative, Rational and Adaptive Information Gathering on the Internet, pages 78–99. Springer Verlag.
Sycara, Katia, Paolucci, Massimo, Velsen, Martin Van, and Giampapa, Joseph Andrew (2001). The retsina mas infrastructure. Technical Report CMU-RI-TR-01-05, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA.
W3C (www). Web Services Description Language (WSDL) Version 1.2 W3C Working Draft. W3C. Available from http://www.w3.org/TR/wsdl12.
Wooldridge, Michael (2002). An Introduction to Multiagent Systems. John Wiley and Sons.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science+Business Media, Inc.
About this chapter
Cite this chapter
Barbera-Medina, W., Padget, J., Aird, M. (2004). Brokerage for Mathematical Services in Monet. In: Cavedon, L., Maamar, Z., Martin, D., Benatallah, B. (eds) Extending Web Services Technologies. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol 13. Springer, Boston, MA. https://doi.org/10.1007/0-387-23344-X_12
Download citation
DOI: https://doi.org/10.1007/0-387-23344-X_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-23343-7
Online ISBN: 978-0-387-23344-4
eBook Packages: Springer Book Archive