A K-Based Specification of Web Services CAL2014 Manel Amel DJENOUHAT Laboratories : LIRE,team :GLSD ,UC2,Algeria,Cédric,team :VESPA CNAM-Paris ,France Pr.F.Belala , Pr.K.Barkaoui djenouhat.manel@gmail.com 1
Outline Ø Problematic Ø Objectives Ø Overviews Ø Contributions Ø Conclusion and Perspectives 2
SOA Conceptual Model Problematic Objectives What about its Standards : semantics § Service discovery-UDDI Overviews SAWSDL OWL Universal Description Discrovery Intergration § Service Description-WSDL Contributions Web Service Description Language § Service Invocation-SOAP Did the protocol describe the results of invocation Simple Object Access Protocol Conclusion& Perspectives 3
Intervene at each phase of the Web service development process to solve problems Problematic v Infer an operational semantic to service contracts written in WSDL Objectives v Formalize the Interactions between services Overviews v Optimize the Web services selection algorithm Contributions v Test the compatibility between services and try to adapt them to the context-aware Conclusion& v Verify and check the service properties Perspectives 4
WSDL Web Service Description Language Problematic Objectives Overviews Contributions Conclusion& Perspectives 5
The K-Tool Problematic Objectives Overviews K module ≡ Maude module (meta-data ,K semantic ) Contributions K- syntax = syntax of the language in K K- semantic = (import) Ksyntax +Ksemantic ( Evaluation strategies,Configuration, Rules) Conclusion& Perspectives 6
The K-Tool Problematic K- semantic = Ksyntax +Ksemantic ( Evaluation strategies , Configuration , Rules) q Evaluation strategies : Objectives Link between the syntax and the semantic. Gives the order in which the arguments of a construction must be evaluated. Overviews q Configuration : Represents the current state of execution. Contributions q Rules : Describe how a configuration evolve during the execution and which is susceptible to change states of the system . Conclusion& Perspectives 7
The K-Tool Problematic A sound modeling methodology, to integrate WSDL into rewriting logic. A high level specification of Web service without any encoding or translation process is Objectives given. Overviews K-Maude Intermediate interface representation Contributions Meta-data annotated Executable K-WSDL syntax K core Maude modules Maude modules K modules (K-WSDL) Conclusion& Perspectives 8
The K-Tool Problematic Advantages Objectives The main objective of K is to prove that a formal specification language can be at the same time : Simple,Comprehensive ,Analyzable ,Executable. Overviews v Extend the syntax of an existing language by the possibility of enriching it by adding new concepts and elements in answer to susceptible appearing needs . v Make a specification executable and consequently ,allow the concrete exploitation of the model. Contributions v Offer a high level of abstraction by the definition of a meta-model including all the language concepts . v Analyze and verify systems properties in a formal way by the use of the various mechanisms of analysis and Conclusion& check offered by the Maude language (K is implemented on the top of Maude). Perspectives 9
Full proposed grammar of WSDL in K : Problematic Objectives Overviews Contributions Conclusion& Perspectives 10
The K-WSDL-SYNTAX Module Problematic Objectives Overviews Contributions Conclusion& Perspectives 11
The K-WSDL Configuration Problematic Objectives Overviews Contributions Conclusion& Perspectives 12
The K-Rules Problematic Objectives Overviews Contributions Conclusion& Perspectives Operational Semantics Semantics of Syntactic Declarations 13
Problematic Objectives Overviews Contributions Conclusion& Perspectives 14
Problematic Service ¡discovery User ¡ Objectives Request WSDL UDDI Overviews Service ¡descrip6on K-‑Tool Contributions WSDL K-‑WSDL Conclusion& Perspectives Add ¡ ¡seman6cs 15
Problematic Service ¡selec6on ¡ SImilarity ¡ Objectives algorithm ¡ If…. ¡ K-‑WSDL K-‑WSDL else … Overviews Mesure ¡syntax ¡and ¡seman6c ¡similari6es ¡ ¡ Service ¡invoca6on ¡ SOAP Contributions K-‑Tool ¡ ¡Messages ¡ ¡Messages K-‑WSDL Conclusion& Perspectives 16
Example : Student registration Problematic Objectives Overviews Contributions Conclusion& Perspectives 17
The K-WSDL description of the student service and its execution in K Problematic WSDL Service Name Student: {definitions Service Name = Student: Objectives {TargeNameSpace Tns = "http://www.UC2.dz/kwsdl/Student.kwsdl" DefaultNameSpace Dns ="http://schemas.xmlsoap.org/kwsdl" message NumCardSearch request : "NumCardStudentRequest" message NumCardFound response :"NumCardStudentresponse" port StudentPort = Input request : "NumCardStudentRequest" port StudentPort = Output response :"NumCardStudentresponse" Overviews binding StudBinding StudentPort SOAP rpc = EncodingStyle = "http://schemas.xmlsoap.org/soap/encoding/" Tns = "http://www.UC2.dz/kwsdl/wiki.kwsdl" use = encoded service Student StudBinding Contributions StudentPort ServiceLocation :"http://www.UC2.dz/" exchange UC2 . Studentport to StudBinding . SendnumCardStudentRequest exchange Student .receiveNumCardStudentResponse to StudBinding .Studentport } } Conclusion& Perspectives 18
Service composition process Problematic Service ¡composi6on ¡ Objectives User ¡ Request Select ¡service Overviews WS1,WS2,WS3 ¡…WSn Compose ¡ ¡ ¡ ¡ ¡ TRUE Contributions services Check-‑compa6bility FALSE Resolve ¡mismatch Conclusion& Perspectives 19
Problematic Contributions : v Defining a generic syntax for Web service Objectives v Integrating WSDL in Maude using K technique . Overviews v Defining a complete formal execution framework for Web service Contributions v K represents the overall SOA architecture in a formal semantic framework Conclusion& Perspectives 20
Problematic Future Work : v Enrich the K-WSDL specification based on various related work Objectives v Exploiting the result model for executing more complex systems v Describe formally the web service behavior ( rewrite rules..) Overviews v Check the compatibility and similarities between services to compose them Contributions v Verifying the correctness of some properties :QoS, dynamic reconfiguration …etc. v Extending the proposed syntax of K-WSDL to deal with some others aspects (composition..) Conclusion& Perspectives v Exploiting the K2-tool (last release of K). 21
Thank you for your attention ! 22
Recommend
More recommend
