The PHP Application Distribution Licensing System (PADL) generates keys that control the distribution of PHP applications according to a license. It generates license strings that can bind PHP applications to specific servers, confine execution to a limited time period, or restrict execution to a single server. The time limiting uses a start period (and a given start offset to allow for time discrepancies) and an expiry date if required. When validating a key it is possible to optionally make applications dial home to check the license key on your own server. It is also possible to encrypt additional information into the license key.
The goal of XPS is to make programming simpler by raising the level of abstraction without loss of performance. It provides true support for meta-programming and domain specific languages, making it possible to design simple programming languages to match the problem at hand. This is the opposite of current practice which seeks to translate the problem domain down into the low level solution domain of current programming languages.
Quality Objects (QuO) is a framework for providing quality of service (QoS) in network-centric distributed applications. These applications range from embedded applications to wide area network applications, including many military and commercial applications. QuO bridges the gap between the socket-level QoS being specified, researched, and provided by a number of organizations and the distributed object level where many distributed applications are best written. QuO adds QoS to CORBA and Java RMI in a manner which is appropriate for creating applications that can adapt to environments that are unpredictable or have strict resource constraints.
Generating new objects for the Query Object Framework is repetitive, tedious, and time consuming. Qof Generator automates this process in PHP to build a working test program linked against QOF. Objects are created from an HTML form using a temporary MySQL cache and exported with Makefile, ./autogen.sh, ChangeLog, README, C source code, and doxygen mark-up comments in a tarball built by the PHP code.
Maria is a reachability analyzer for concurrent systems that uses Algebraic System Nets (a high-level variant of Petri nets) as its modelling formalism. It is implemented as a pack of software tools that perform reachability analysis and check safety and liveness properties of distributed system models. The models can be constructed either by hand or automatically from other formalisms, such as the CCITT Specification and Description Language (SDL).