Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Annals of Computer Science and Information Systems

1 2022

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

An Experimentation Framework for Specification and Verification of Web Services

Katra Szymon, Daszczuk Wiktor, Czejdo Danny

Annals of Computer Science and Information Systems

2022

Vol. 30

913--917

Designing and implementing Web Services constitutes a large and constantly growing part of the information technology market. It requires efficient personnel training in the application's preparation (visual programming, libraries, repositories, code reusability) and other stages of development, such as formal verification. Web Services have specific scenarios in which distributed processes and network resources are used. This aspect of services requires integration with the model checkers. This article presents the experimentation framework in which services can be specified and then formally analyzed against deadlock-freedom, achievement of process goals, and similar features. This language enriches the basic Rybu language with the ability to use variables in processes, service calls between servers, new structural instructions, and other constructions known to programmers while remaining in line with declarative, mathematical IMDS formalism. Additionally, the development environment allows simulation of a counterexample or a witness - obtained as a result of the model checking - in a similar way to traditional debuggers.