Checking Robustness of Web Services Based on the Parallel Composition of Partial Timed Finite State Machines

Towards parallel composition of partial finite state machines: Checking safety property step-by-step

2016 IEEE East-West Design & Test Symposium (EWDTS) ◽

10.1109/ewdts.2016.7807689 ◽

2016 ◽

Author(s):

E. Darusenkova ◽

N. Shabaldina

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

Safety Property ◽

Vestnik Tomskogo gosudarstvennogo universiteta Upravlenie vychislitel naya tekhnika i informatika ◽

On deriving the parallel composition of extended finite state machines

10.17223/19988605/48/10 ◽

2019 ◽

pp. 83-91

Author(s):

Ekaterina V. Shirokova ◽

◽

Svetlana A. Prokopenko ◽

Natalia V. Shabaldina

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines

2010 Fourth Asia International Conference on Mathematical/Analytical Modelling and Computer Simulation ◽

Verification of Web Services Modeled as Finite State Machines

10.1109/ams.2010.107 ◽

2010 ◽

Cited By ~ 4

Author(s):

Deepak Chenthati ◽

Supriya Vaddi ◽

Hrushikesha Mohanty ◽

Avula Damodaram

Keyword(s):

Web Services ◽

Finite State Machines ◽

State Machines ◽

ON PARALLEL COMPOSITION OF FINITE STATE MACHINES WITH TIMED GUARDS

System Informatics ◽

10.31144/si.2307-6410.2019.n14.p55-64 ◽

2019 ◽

Author(s):

Aleksandr Tvardovskii ◽

Nina Yevtushenko

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

On the possibilities of FSM description of Parallel composition of Timed Finite State Machines

Proceedings of the Institute for System Programming of RAS ◽

10.15514/ispras-2018-30(1)-2 ◽

2018 ◽

Vol 30 (1) ◽

pp. 25-40 ◽

Author(s):

A. Tvardovskii ◽

A. Laputenko

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II

Automatic Control and Computer Sciences ◽

10.3103/s0146411617070094 ◽

2017 ◽

Vol 51 (7) ◽

pp. 507-515 ◽

Author(s):

M. L. Gromov ◽

N. V. Shabaldina

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

Experiments on Parallel Composition of Timed Finite State Machines

Proceedings of the Institute for System Programming of RAS ◽

10.15514/ispras-2017-29(3)-13 ◽

2017 ◽

Vol 29 (3) ◽

pp. 233-246

Author(s):

A. Sotnikov ◽

N. Shabaldina ◽

M. Gromov

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

USING BALM-II FOR DERIVING PARALLEL COMPOSITION OF TIMED FINITE STATE MACHINES WITH OUTPUTS DELAYS AND TIMEOUTS: WORK-IN-PROGRESS

System Informatics ◽

10.31144/si.2307-6410.2016.n8.p33-42 ◽

2016 ◽

Author(s):

Maxim Gromov ◽

◽

Natalia Shabaldina ◽

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

Work In Progress ◽

The Parallel Composition of Timed Finite State Machines

10.15514/syrcose-2011-5-16 ◽

2011 ◽

Author(s):

Olga Kondratyeva ◽

Maxim Gromov

Keyword(s):

Finite State Machines ◽

Parallel Composition ◽

State Machines ◽

Context based behavioural verification of composed web services modeled in finite state machines

International Conference on Computing and Communication Technologies ◽

10.1109/iccct2.2014.7066722 ◽

2014 ◽

Author(s):

Deepak Chenthati ◽

Hrushikesha Mohanty ◽

Avula Damodaram

Keyword(s):

Web Services ◽

Finite State Machines ◽

State Machines ◽