主要PaaSベンダー10社、ツールの長所と短所を総比較（関連情報）：AWS、Microsoft、Google、Red Hat、Pivotalなど