An Experimentation Framework for Specification and Verification of Web Services

• Autorzy: Katra Szymon , Daszczuk Wiktor , Czejdo Danny

Identyfikatory

DOI

10.15439/2022F188

• Konferencja: Federated Conference on Computer Science and Information Systems (17 ; 04-07.09.2022 ; Sofia, Bulgaria)
• Języki publikacji: EN

Abstrakty

EN

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.

• Wydawca: Polskie Towarzystwo Informatyczne
• Czasopismo: Annals of Computer Science and Information Systems
• Rocznik: 2022
• Tom: Vol. 30
• Strony: 913--917
• Opis fizyczny: Bibliogr. 24 poz.

Twórcy

autor

Katra Szymon

autor

Daszczuk Wiktor

autor

Czejdo Danny