Shreya Banerjee, Shruti Bajpai, Anirban Sarkar. Constraint Specification for Service-Oriented Architecture. In Rituparna Chaki, Agostino Cortesi, Khalid Saeed 0001, Nabendu Chaki, editors, Advanced Computing and Systems for Security - Volume 7, 5th International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2018, Kolkata, India, February 9-11, 2018. Volume 897 of Advances in Intelligent Systems and Computing, pages 143-157, Springer, 2018. [doi]