scholarly journals A methodology for verifying request processing protocols

Author(s):  
Christos N. Nikolaou ◽  
Edmund M. Clarke ◽  
Nissim Francez ◽  
Stephen A. Schuman
Keyword(s):  

Author(s):  
Candy Bogar
Keyword(s):  


Author(s):  
Martin H. Weik


Author(s):  
Heiko Pfeffer ◽  
Carsten Jacob ◽  
Anna Kress ◽  
Stephan Steglich




2018 ◽  
Vol 10 (1) ◽  
Author(s):  
M. Melnichuk ◽  
Yu. Kornienko ◽  
O. Boytsova

Network technology for interaction between two applications via the HTTP protocol was considered in article.When client works with REST API - it means it works with "resources", and in SOAP work is performed with operations. To build REST web services, you must follow certain principles: explicit use of HTTP methods, access to resources by URI, stateless, HATEAOS, caching, transfer of objects in JSON or XML representation. But sometimes some principles are ignored to ensure a higher speed of work and to reduce development time.The pros and cons of using JSON and XML representations were considered, and it can be said that using the JSON format reduces the amount of data transfer, and with the use of XML, the readability of data increases.Also, two main ways of data transfer in REST web services were considered: converting the file to Base64 and transferring it as an object field or transferring the file using the usual HTTP multipart. The Base64 standard approach gives a higher speed for multiple files in a single request, because only one HTTP connection is created, but these files are stored in RAM during request processing, which increases chance of the application crashing.In the conclusion, the advantages of using web services and their wide use in other architectural approaches were considered, which increases the popularity of web services.



2017 ◽  
Vol 12 (2) ◽  
pp. 82-89
Author(s):  
Irina E. Nikitina

The paper examines current trends towards the enhancement of criminalistic tactics and mechanisms of criminal and international law in the context of cooperation between European states in transnational crime detection and investigation. Both traditional and new forms (types) of providing legal assistance in criminal cases are elucidated. It is observed that at the present stage procedures for legal assistance in criminal investigations have become more streamlined and efficient, and request processing times have been reduced.



Sign in / Sign up

Export Citation Format

Share Document