Techniques For The Specification And Verification Of Enterprise Applications