1. A process for automatically translating a specification defining a computer program to be automatically written by a computer into a computer program that implements the requirements of said specification, said specification defining at least classes of objects having attributes, services and relationships with other classes, said specification written in a formal language, comprising: using a computer, automatically write computer code that will request user name and password, receive any responses and authenticate the user; using a computer, automatically write computer code that will determine this user's privilege level and query said formal language specification and determine all object attributes this user has privilege to see and all services this user can invoke; using a computer, automatically write computer code which queries said specification for all services of all classes that any authorized user may invoke and identifies an object server which will implement said service; using a computer, automatically write code that will retrieve service arguments for all services from a user or from another object server or from another process, as appropriate; using a computer, automatically write code that displays menus options, icons or creates any other means by which a user or another process can invoke a service, and which receives input to invoke a particular service and responds by sending a message to the appropriate object server to invoke the service, said message including the necessary arguments for the service to execute; using a computer, automatically write code that implements an object server for every service, each of which first checks to verify that state transitions are valid and make sense for the current state of objects the object service will be altering the state using a computer, automatically write code for every object server that verifies preconditions are satisfied before making state transitions of any objects the states of which are acted upon by the object server; using a computer, automatically write code to make all valuation calculations required by said specification of each object server; using a computer, automatically write code to verify that integrity constraints specified in said specification on the values of attributes of objects have been satisfied after execution of a service and take action if said integrity constraints are not satisfied; and using a computer, automatically write code for every object server to test trigger relationships specified in said specification after execution of a service and carry out appropriate action if a trigger event has occurred.