Article FORMAL SPECIFICATIONS OF PRO-ACTIVE SOFTWARE COMPONENTS IN THE MULTIAGENT VIRTUAL BUSINESS ENVIRONMENT OF INNOVATIONS DEVELOPMENT