ATAC4Cloud: a framework for modeling and simulating autonomic cloud