Cress is a comprehensive toolset for graphical service/workflow design
Cress (Communication Representation Employing Systematic Specification) allows graphical description of a wide variety of services such as in data communications/telecommunications, but Cress is not limited to this. The approach allows services to be described graphically as (work)flows of activities.
Cress diagrams are automatically translated into formal languages for rigorous analysis and verification, and are also automatically translated into implementation languages for deployment...
A unified open source software platform based on Linux for mobile smart phone. The first stage features are call, sms, address book, multimedia, J2ME, application install, and smart phone full feature set, something like MS smart phone.