Institute of Information Theories and Applications FOI ITHEA
The using of the upsurge of semantics web technologies gives a possibility for an increasing of the
flexibility, extensibility and consistency of the existent industrial standards for modeling of web services. In the
paper the types of semantic description of web services and the degree of their realization in BPEL4WS
(Business Process Execution Language for Web Services) respectively on the abstract and executable level are
treated. The methods for using of BPEL4WS for the purposes of semantic web services in the direction of their
semi-automatic integration are suggested.