A method for assuring service grade with Assurance case: An experiment on a portal service | IEEE Conference Publication | IEEE Xplore