This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.

An electronic application through which individuals can access, manage and share their health information, and that of others for whom they are authorized, in a private, secure, and confidential environment.

Looking to fund building of GPL: Browser based P2P betting/trading exchange & account management system. Server/platform architecture accounts and debit management similar to betfair.com. 3rd party API to be completely open under GPL.

This project maps XML documents to RDF documents, with the Ontology defined in a RDF Schema document.The RDF Schema doc defines whether the elements in the XML doc will be mapped to the RDF doc as class or property, or will not be mapped to the RDF doc.