ProcessMaker is workflow and business process management software that allows small to medium-sized organizations to automate document intensive, approval-based processes across various systems including finance, HR, and operations. An entirely Web-based, AJAX-enabled application built on the popular open source WAMP/LAMP stacks, it includes tools to design forms, create documents, assign roles and users, create routing rules, and send alerts. A full service-orientated architecture (SOA) and Web Services interface allows the software to directly connect with popular business intelligence, content management, and enterprise resource planning systems.
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.