DEVS-ORIENTED TECHNIQUE FOR COMPOSITE WEB SERVICES VALIDITY CHECKING
Науковий журнал «Радіоелектроніка, інформатика, управління»
Переглянути архів Інформація| Поле | Співвідношення | |
| ##plugins.schemas.marc.fields.042.name## |
dc |
|
| ##plugins.schemas.marc.fields.245.name## |
DEVS-ORIENTED TECHNIQUE FOR COMPOSITE WEB SERVICES VALIDITY CHECKING |
|
| ##plugins.schemas.marc.fields.720.name## |
Shkarupylo, V. V.; Zaporizhzhya National Technical University, Zaporizhzhya Kudermetov, R. K.; Zaporizhzhya National Technical University, Zaporizhzhya Polska, O. V.; Zaporizhzhya National Technical University, Zaporizhzhya |
|
| ##plugins.schemas.marc.fields.653.name## |
SOA, WS-BPEL, Composite Web Service, Specification, Verification, Validation, TLA, DEVS. |
|
| ##plugins.schemas.marc.fields.520.name## |
A technique for Composite Web Services validity checking has been proposed. It is based on discrete-event DEVS-models synthesis, which<br />provides the ability to conduct the automated validation by way of simulation during the design process. Temporal Logic of Actions has been chosen as the basis for input data – formal specification of Composite Web Service. It allows to specify the functional properties of such systems mathematically strictly. Functional properties has been represented as computational processes. The Kripke structure has been used as TLA-specification analytical model. Our technique leans on the proposed rules, aimed at simulation DEVS-model synthesis from given<br />TLA-specification. The resulting coupled Composite Web Service DEVS-model consists of atomic web services models, model of client,<br />simulated as job-requests generator, and coordinator model. Coordinator represents the WS-BPEL-engine, functioning in accordance with centralized orchestration model. A case study has been conducted to verify the proposed technique. Its artifacts confirmed the adequacy of resulting DEVS-model. The technique verification is based on the proposed approach: simulation-driven validation results are compared with the ones, obtained with testdriven validation. Technique expediency has been grounded by Composite Web Services validity checking time costs reduction. |
|
| ##plugins.schemas.marc.fields.260.name## |
Zaporizhzhya National Technical University 2016-01-25 15:28:44 |
|
| ##plugins.schemas.marc.fields.856.name## |
application/pdf http://ric.zntu.edu.ua/article/view/60404 |
|
| ##plugins.schemas.marc.fields.786.name## |
Radio Electronics, Computer Science, Control; No 4 (2015): Radio Electronics, Computer Science, Control |
|
| ##plugins.schemas.marc.fields.546.name## |
uk |
|
| ##plugins.schemas.marc.fields.540.name## |
Copyright (c) 2016 V. V. Shkarupylo, R. K. Kudermetov, O. V. Polska |
|