You are here : 
IAF Calls & Action Lines
XCC - eXtensible Computation Context
(Antonio Capani, Explo-IT Research)
XCC consists of a methodology and a set of tools which act as Integration Technology (or middleware) between Mathematical Systems and other Systems (e.g.: tools for doing education, or business systems).
XCC proposes a new (meta)language (XCL, eXtensible Computation Language) for communicating not only data, but also programs.The syntax of XCL is based on the XML language. The semantics of XCL is given in a declarative way and is "plugged" to each program during its execution.
XCL is at a low level but it is human readable (because it is based on XML). So programs may extend XCL and apply semantics to it even before designing a high level language. This is really useful for teams like the CoCoA Team in which the research is oriented to the mathematics rather than the computer science aspects. Other people may develop and maintain the high level language and the parser for converting it in XCL.
XCL proposes a unified approach for denoting data, programs, and documents. A tight integration of XCL with the XSL language (for mapping XML into HTML or other languages) will permit to implement, within a unified framework, "active documents", that is documents containing formulas which may be executed within the document itself. The XCL language is protocol independent and so multiple protocols may be used, (e.g.: OpenMath, MathML).
An application of XCC (called CoCo) is in progress for the new major release of the CoCoA System in collaboration with the CoCoA Team (http://cocoa.dima.unige.it) led by Prof. Lorenzo Robbiano of the University of Genova.
- Presentation slides
- e-mail: capani@Explo-IT.com
- URL: http://www.explo-it.com/