RISC RISC Research Institute for Symbolic Computation  
  • @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 behavior of mathematical software. The observed behaviour implies the occurrence of commonly recur- ring patterns of interaction between communication participants. Identifying the interaction patterns facilitates the development of a declarative pattern language and in a nal step the possibility of ad-hoc interaction between the involved parties, that have no pre-implemented interaction 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}