Formal Verification of SCA Assembly Model with Event-B

Service Component Architecture (SCA) is a new promising programming model for constructing service-oriented application, which facilitates the development of business integration in SOA. However, SCA in its current form does not represent any formal definition. In addition, there is a growing interest for verification techniques which help to prevent SCA composition specification failure. In this paper, firstly, we present an Event-B model for formal representation and verification of an SCA based composition. And then, we extend this model in order to automate the transformation and the verification of the SCA assembly by the implantation of an Eclipse plug-in.

[1]  Chris Sharp,et al.  SCA Policy Association Framework , 2006, ICSOC.

[2]  Laura Bocchi,et al.  A Formal Approach to Service Component Architecture , 2006, WS-FM.

[3]  Michael J. Butler,et al.  ProB: A Model Checker for B , 2003, FME.

[4]  Jean-Raymond Abrial,et al.  Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.

[5]  Soumaya Louhichi,et al.  MDE approach for the generation and verification of SCA model , 2011, iiWAS '11.

[6]  Sami Bhiri.  Approche Transactionnelle pour Assurer des Compositions Fiables de Services Web. (A Transactional Approach to Ensure Reliable Web Services Compositions) , 2005 .

[7]  Zhenbang Chen,et al.  A Rigorous Model of Service Component Architecture , 2008, Electron. Notes Theor. Comput. Sci..

[8]  Jing Liu,et al.  A Rigorous Model of Contract-Based Service Component Architecture , 2008, 2008 International Conference on Computer Science and Software Engineering.

[9]  Soumaya Louhichi,et al.  ATL Transformation for the Generation of SCA Model , 2011, 2011 Seventh International Conference on Semantics, Knowledge and Grids.

[10]  Michael J. Butler,et al.  An Open Extensible Tool Environment for Event-B , 2006, ICFEM.

[11]  Zuohua Ding,et al.  Model Checking Service Component Composition by SPIN , 2009, 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science.