- Programming Language: Standard ML ×
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.1 weekly downloads
The Crop Simulation Markup Language (CropSim-XML) is a XML-based framework for the transfer of agricultural crop simulation data between crop simulation users. The backbone of CropSim-XML is an XML document type definition (DTD).
The Pi Markup Language (PiML) aims at providing an XML based representation format for the description of models encoded in the Pi Calculus. The XML representation of such Pi Calculus models should support model storage, exchange, and coupling.