An approach to formally modeling the component-based e-commerce system | IEEE Conference Publication | IEEE Xplore