An Inconsistency Free Formalization of B/S Architecture | IEEE Conference Publication | IEEE Xplore