UCVSC: A Formal Approach to UML Class Diagram Online Verification Based on Situation Calculus | IEEE Conference Publication | IEEE Xplore