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}
}

2007

A Pattern-based Interaction Language for Mathematical Services

Andreas Duscher

Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, Linz, Austria, December 2007. [pdf]
[bib]
@techreport{RISC3419,
author = {Andreas Duscher},
title = {{A Pattern-based Interaction Language for Mathematical Services}},
language = {english},
abstract = {In this paper we investigate a possible approach for describing the communication behaviorof mathematical software. The observed behaviour implies the occurrence of commonly recur-ring patterns of interaction between communication participants. Identifying the interactionpatterns facilitates the development of a declarative pattern language and in a nal step thepossibility of ad-hoc interaction between the involved parties, that have no pre-implementedinteraction protocols.},
address = {Johannes Kepler University, Linz, Austria},
year = {2007},
month = {December},
institution = {Research Institute for Symbolic Computation (RISC)},
sponsor = {FWF (Austrian Science Fund) Project P17643-N04 "MathBroker II: Brokering Mathematical Services"},
length = {26}
}

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

Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, April 2006. [pdf] [ps]
[bib]
@techreport{RISC2881,
author = {Rebhi Baraka and Wolfgang Schreiner},
title = {{Semantic Querying of Mathematical Web Service Descriptions}},
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.},
year = {2006},
month = {April},
howpublished = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report},
length = {15},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

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

Technical report no. 06-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. August 2006. PhD Thesis. [pdf]
[bib]
@techreport{RISC2945,
author = {Rebhi Baraka},
title = {{A Framework for Publishing and Discovering Mathematical Web Services}},
language = {english},
abstract = {Web service publishing and discovery is one of the crucial issues addressed by contemporary Web service architectural speci¯cations. In the case of mathematical Web services this issue is more subtle due to the fact that they operate within semantically rich domains on objects that need proper encoding and specification.This dissertation develops a framework for publishing and discovering mathematical Web services consisting of a registry for publishing mathematical services and a query language for syntactically and semantically discovering mathematical services published in the registry.The basis of the framework is a mathematical services infrastructure and a language (Mathematical Services Description Language) that describes the different aspects of a mathematical service. The description of a mathematical service in MSDL may contain information related to the type of theproblem, the algorithm(s) used to solve the problem, the implementation of the algorithm, machines executing the implementation, and related problems.On this basis, a language for querying registry published mathematical services is designed, formalized and implemented. The Mathematical Services Query Language (MSQL) provides the functionality to query services based on their MSDL descriptions. The implementation of MSQL is based on a formal de¯nition of the language using denotational semantics. This definition provides a reference for the correctness of the language implementation.MSQL supports queries on the syntactic structures of service descriptions but has been extended to address also the semantic information contained in service descriptions. This extension adds a number of constructs to the language in order to express predicate logic formulas that are processed with the help of an automated reasoner.The framework is evaluated experimentally and is compared to some related approaches in XML querying and mathematical service discovery.},
number = {06-04},
year = {2006},
month = {August},
note = {PhD Thesis},
sponsor = {RISC PhD scholarship program, Austrian Science Fund (FWF) (Project P15183 and Project P17643-NO4)},
length = {213},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}

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}
}

An Execution Environment for Mathematical for Services based on WSRF and WS-BPEL

Andreas Duscher

Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, March 2006. [pdf]
[bib]
@techreport{RISC2906,
author = {Andreas Duscher},
title = {{An Execution Environment for Mathematical for Services based on WSRF and WS-BPEL}},
language = {english},
abstract = {This paper describes the architecture of an execution environment formathematical services using current web service technologies. This en-vironment allows to execute manually created process descriptions thatspecify the dynamic behavior of stateful mathematical services; the indi-vidual interaction steps needed for obtaining a result are hidden by theenvironment. Building on previous work done in this area, an approach fortransforming descriptions in Mathematical Services Description Language(MSDL) is introduced.},
year = {2006},
month = {March},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},
sponsor = {FWF (Austrian Science Fund) Project P17643-N04},
length = {40}
}

Interaction Patterns of Mathematical Services

Andreas Duscher

Research Institute for Symbolic Computation (RISC), Johannes Kepler Univeristy, Linz, Austria. Technical report, December 2006. [pdf]
[bib]
@techreport{RISC3064,
author = {Andreas Duscher},
title = {{Interaction Patterns of Mathematical Services}},
language = {english},
year = {2006},
month = {December},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler Univeristy, Linz, Austria},
length = {54}
}

2005

Querying Registry-Published Mathematical Web Services

Rebhi Baraka, Wolfgang Schreiner

Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, September 2005. [pdf]
[bib]
@techreport{RISC2489,
author = {Rebhi Baraka and Wolfgang Schreiner},
title = {{Querying Registry-Published Mathematical Web Services}},
language = {english},
year = {2005},
month = {September},
organization = {Johannes Kepler University},
institution = { Research Institute for Symbolic Computation (RISC)},
length = {6}
}

Mathematical Services Query Language: Design, Formalization, and Implementation

Rebhi Baraka

Research Institute for Symbolic Computation (RISC). Technical report, Johannes Kepler University, September 2005. [ps] [pdf]
[bib]
@techreport{RISC2738,
author = {Rebhi Baraka},
title = {{Mathematical Services Query Language: Design, Formalization, and Implementation}},
language = {english},
abstract = {The Mathematical Services Query Language (MSQL) is a content-based query language developed for querying mathematical descriptions in the form of the Mathematical Services Description Language (MSDL). It provides the user with the ability to query the contents of MSDL documents published in the MathBroker registry. It complements the metadata-based querying facility of the MathBroker registry which facilitates querying of metadata accompanying descriptions published in the registry. In this report, we present the design, the formal de¯nition, and the implementation of MSQL with use-cases and examples demonstrating its usage.},
year = {2005},
month = {September},
organization = {Johannes Kepler University},
institution = {Research Institute for Symbolic Computation (RISC)},
length = {85}
}

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…