You compose these with each other into stacks and applications. here Then, you deploy your CDK programs to AWS CloudFormation to provision or update your resources.