![]() ![]() ![]() In this paper, a new model to verify the composed web services using Enhanced Stacked Automata Model (ESAM) has been proposed. #Otomata for web verificationMoreover the existing models did not address the verification properties like dead transition, deadlock, reachability and safetyness. A few research works has been carried out in the literature survey for verification of web services for deterministic system. It has to depend on formal verification method to ensure the correctness of composed services. The problems with most realistic approaches to service composition are the verification of composed web services. BPEL provides an initial work for forming an Extended Markup Language (XML) specification language for defining and implementing business practice workflows for web services. Many new standards have been defined to decipher web service composition problem namely Business Process Execution Language (BPEL). Individual service offered by some service providers may symbolize limited business functionality however, by composing individual services from different service providers, a composite service describing the intact business process of an enterprise can be made. #Otomata for web softwareCiraci, B.Currently, Service-Oriented Architecture (SOA) is becoming the most popular software architecture of contemporary enterprise applications, and one crucial technique of its implementation is web services.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |