Applying Tropos for Web-Based Multi-Agent eBookstore | IEEE Conference Publication | IEEE Xplore