Abstract
In our economic society, the market serves as the mechanism for decentralized resource allocation. In the disciplinary of neoclassical economics, the fundamental theorem of welfare economics vouchs the Pareto optimality of the equilibrium allocation in Walrasian market. In this paper, we develop Walrasian virtual market with Market-Oriented Programming based on multi-agent paradigm, and validate on Pareto optimality of the allocation in the market by comparing with analytical methods.