Shinji Kikuchi, Tetsuya Uchiumi, Shinya Kitajima, Yasuhide Matsumoto. Configuration Policy Extraction for Parameter Settings in Cloud Infrastructure Using UML/OCL Verification. In 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28 - July 3, 2013. pages 67-74, IEEE, 2013. [doi]
Abstract is missing.