Formalisms for IT Management Process Representation | IEEE Conference Publication | IEEE Xplore