Operating systems

Zynaptic Reaction is a flexible asynchronous programming framework for Java which may be used to implement complex event-driven applications. It is heavily influenced by the Twisted programming framework developed by TwistedMatrix Labs for the Python programming language. The focus of the Reaction library is on the concurrency and callback model and as such it is application neutral. It can be used to manage lots of concurrent I/O or to farm out compute intensive tasks to multicore processors. As well as being usable as a basic Java library, Reaction can also run as an independent OSGi service and integrate into any GUI framework you choose.

Aniketos-SSVV (Aniketos Security Service Validation and Verification) provides a series of modules that work together to validate the security properties of a Web service composition. The package is given a selection of service compositions (provided in the form of BPMN processes with Web services bound to the service tasks), along with the security policy to be fulfilled. The package then performs various checks on the services to establish whether each composition satisfies the policy, returning an ordered list (ordered in terms of security) of the services that do. It forms part of the larger Aniketos project comprised of four packages in total.