Shkarupylo V. Composite Web Services Specification, Verification and Validation Models and Methods Development and Investigation

Thesis is devoted to composite web services formal specifications and verification models and methods development and investigation in order to increase the effectiveness of corporate distributed SOA-based computer systems design process. An approach to composite web services designing has been developed. It allows to conduct the verification and validation procedures during designing. The model of composite web services functional properties TLA-specifications, which allowed to increase the effectiveness of designing by 3% by components consistency criterion, has been proposed. The method for composite web services functional properties TLA-specifications formal verification, which allowed to increase the effectiveness of designing by 4%, has been proposed. The simulation DEVS model as a validation mean has been proposed. Keywords: SOA, Composite Web Service, Specification, Verification, Validation, WS-BPEL, TLA, DEVS.