A verification and deployment approach for elastic SCA-based applications

• Paper submitted at FAC journal(Pdf paper)
• The Event-B model sources(zip file)
• The Eclipse SCA2B plug-in
• The demo of the Eclipse SCA2B plug-in
• Application to cases studies