MathBroker II

Project Description

The goal of “MathBroker II” is to continue and to extend the work done in “MathBroker I”. We continue this work by developing a high-level query model and language that can be used for matching service requests to service providers. We extend this work by incorporating into the declarative description model of MSDL a process description model based on the features of OWL-S (results of the Semantic Web activities) or of WS-CDL (result of the Web Services activities).

Proj Nr: P17643

Project Lead

Project Duration

01/01/2005 - 31/12/2007

Project URL

Go to Website

Publications

2009

Automated Reasoning

Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger

In: Hagenberg Research, B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiss, W. Windsteiger (ed.), pp. 63-101. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url]
[bib]
@incollection{RISC3844,
author = {Tudor Jebelean and Bruno Buchberger and Temur Kutsia and Nikolaj Popov and Wolfgang Schreiner and Wolfgang Windsteiger},
title = {{Automated Reasoning}},
booktitle = {{Hagenberg Research}},
language = {english},
pages = {63--101},
publisher = {Springer Dordrecht Heidelberg London New York},
isbn_issn = {ISBN 978-3-642-02126-8},
year = {2009},
annote = {2009-00-00-B},
editor = {B. Buchberger and M. Affenzeller and A. Ferscha and M. Haller and T. Jebelean and E.P. Klement and P. Paule and G. Pomberger and W. Schreiner and R. Stubenrauch and R. Wagner and G. Weiss and W. Windsteiger},
refereed = {no},
length = {39},
url = {http://www.springer.com/computer/programming/book/978-3-642-02126-8}
}

2008

Symbolic Computations for Nonlinear Wave Resonances

E. Kartashova, C. Raab, Ch. Feurer, G. Mayrhofer, W. Schreiner

In: "Extreme Ocean Waves", E. Pelinovsky, Ch. Kharif (ed.), pp. 97-128. 2008. Springer, ISBN: 978-1-4020-8313-6. [url] [pdf]
[bib]
@incollection{RISC3344,
author = {E. Kartashova and C. Raab and Ch. Feurer and G. Mayrhofer and W. Schreiner},
title = {{Symbolic Computations for Nonlinear Wave Resonances}},
booktitle = {{"Extreme Ocean Waves"}},
language = {english},
abstract = {Nonlinear dynamics and pattern formation in the systems with quadratic nonlinearity is computed symbolically by specially developed MATHEMATICA package. A Web interface for the presented methods is developed, which turns the implementations from only locally available software to Web-based services that can be accessed from any computer in the Internet that is equipped with a Web browser. In particular, the results are not bound to the current Mathematica implementation but can be adapted to any other computer algebra system (e.g. Maple) or numerical software system (e.g.MATLAB) of similar expressiveness. Barotropic vorticity equation (=Hasegawa-Mima equation) with zero boundary conditions on a square is taken as a main example.},
pages = {97--128},
publisher = {Springer},
isbn_issn = {ISBN: 978-1-4020-8313-6},
year = {2008},
editor = {E. Pelinovsky and Ch. Kharif},
refereed = {yes},
length = {31},
url = {http://www.springer.com/geosciences/oceanography/book/978-1-4020-8313-6}
}

2006

Querying Registry-Published Mathematical Web Services

Rebhi Baraka, Wolfgang Schreiner

In: Proceedings of the IEEE 20th International Conference on Advanced Information Networking and Applications (AINA 2006), Vienna, Austria, Roland Wagner, Jianhua Ma, Arjan Durresi (ed.), pp. 767-772. April 18 - 20 2006. IEEE Computer Society, Los Alamitos, ISBN-13: 978-0-7695-2466-4. [pdf]
[bib]
@inproceedings{RISC2786,
author = {Rebhi Baraka and Wolfgang Schreiner},
title = {{Querying Registry-Published Mathematical Web Services}},
booktitle = {{Proceedings of the IEEE 20th International Conference on Advanced Information Networking and Applications (AINA 2006), Vienna, Austria}},
language = {english},
abstract = {This paper describes a light-weight, content-based, functional query language. The Mathematical Services Query Language (MSQL) has been developed for querying mathematical web services described in the Mathematical Services Description Language (MSDL) and published in the MathBroker registry. Based on a client query, MSQL uses the registry to retrieve a candidate collection of documents and then uses its own querying functionality to filter these documents based on their contents.},
pages = {767--772},
publisher = {IEEE Computer Society},
address = {Los Alamitos},
isbn_issn = {ISBN-13: 978-0-7695-2466-4},
year = {2006},
month = {April 18 - 20},
editor = {Roland Wagner and Jianhua Ma and Arjan Durresi},
refereed = {yes},
length = {6}
}

Semantic Querying of Mathematical Web Service Descriptions

Rebhi Baraka, Wolfgang Schreiner

In: Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria, M. Bravetti, M. Nunez, and Gianluigi Zavattaro (ed.), Lecture Notes in Computer Science LNCS/4184, pp. 73-87. September 8-9 2006. Springer-Verlag, Berlin Heidelberg, 3-540-38862-1.
[bib]
@inproceedings{RISC2907,
author = {Rebhi Baraka and Wolfgang Schreiner},
title = {{Semantic Querying of Mathematical Web Service Descriptions}},
booktitle = {{Proceedings of the Third International Workshop on Web Services and Formal Methods (WS-FM 2006), Vienna, Austria}},
language = {english},
abstract = {This paper describes a semantic extension to the Mathematical Services Query Language (MSQL). MSQL is a language for querying registry-published mathematical Web service descriptions expressed in the Mathematical Services Description Language (MSDL). The semantic extension allows queries in MSQL to be based on the underlying semantics of service descriptions; the MSQL engine processes these queries with the help of an automated reasoner.},
series = {Lecture Notes in Computer Science},
volume = {LNCS},
number = {4184},
pages = {73--87},
publisher = {Springer-Verlag},
address = {Berlin Heidelberg},
isbn_issn = {3-540-38862-1},
year = {2006},
month = {September 8-9},
editor = {M. Bravetti and M. Nunez and and Gianluigi Zavattaro},
refereed = {yes},
length = {15}
}

A Framework for Publishing and Discovering Mathematical Web Services.

Rebhi Baraka

RISC, Johannes Kepler University Linz. PhD Thesis. 2006.
[bib]
@phdthesis{RISC4110,
author = {Rebhi Baraka},
title = {{A Framework for Publishing and Discovering Mathematical Web Services.}},
language = {english},
year = {2006},
translation = {0},
school = {RISC, Johannes Kepler University Linz},
length = {0}
}

2005

A Web Registry for Publishing and Discovering Mathematical Services

Rebhi Baraka, Olga Caprotti, Wolfgang Schreiner

In: Proceedings of the IEEE Conference on e-Technology, e-Commerce, and e-Service (IEEE EEE'05), Wiliam Cheung and Jane Hsu (ed.), pp. 190-193. March 21 - April 1 2005. IEEE Computer Society, ISBN 0-7695-2274-2. [ps] [pdf]
[bib]
@inproceedings{RISC2787,
author = {Rebhi Baraka and Olga Caprotti and Wolfgang Schreiner},
title = {{A Web Registry for Publishing and Discovering Mathematical Services}},
booktitle = {{Proceedings of the IEEE Conference on e-Technology, e-Commerce, and e-Service (IEEE EEE'05)}},
language = {english},
abstract = {This paper describes an extension of the ebXML registryfor publishing and discovering mathematical servicedescriptions. The MathBroker registry is able to handle descriptionsgiven in the Mathematical Service DescriptionLanguage, a language designed ad-hoc for capturing thesemantics of web services dealing with mathematical problems.The registry is distributed with a Java API implementinga MathBroker speci£c JAXR provider.},
pages = {190--193},
publisher = {IEEE Computer Society},
isbn_issn = {ISBN 0-7695-2274-2},
year = {2005},
month = {March 21 - April 1},
editor = {Wiliam Cheung and Jane Hsu},
refereed = {yes},
length = {4}
}

1995

Parallel Functional Programming for Computer Algebra

Wolfgang Schreiner

RISC, Johannes Kepler University Linz. PhD Thesis. 1995.
[bib]
@phdthesis{RISC4126,
author = {Wolfgang Schreiner},
title = {{Parallel Functional Programming for Computer Algebra}},
language = {english},
year = {1995},
translation = {0},
school = {RISC, Johannes Kepler University Linz},
length = {0}
}

Loading…