Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces

@article{BetinCan2013ModularVO,
  title={Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces},
  author={Aysu Betin-Can and Sylvain Hall{\'e} and Tevfik Bultan},
  journal={IEEE Transactions on Services Computing},
  year={2013},
  volume={6},
  pages={262-275}
}
A crucial problem in service-oriented computing is the specification and analysis of interactions among multiple peers that communicate via messages. We propose a design pattern that enables the specification of behavioral interfaces acting as communication contracts between peers. This "peer controller pattern" provides a modular, assume-guarantee style verification strategy that consists of three phases. 1) Each individual peer is statically verified for conformance to its part of the… CONTINUE READING