Abstract: One embodiment provides model-driven and automated generation of information technology (IT) solutions including obtaining a set of business and technical requirements for IT infrastructure and applications. A client business and technical requirement model is generated based on generic model constructs and extending with constructs specific to capturing client requirements. A draft IT solution is generated using an automated model-driven process to generate the draft IT solution configuration for client requirements for a target shared resource environment offering. The generated draft IT solution is translated into a language of a constraint satisfaction engine that propagates values of chosen attributes in the draft solution to identify valid values for unset attributes, and identifies conflicts. An IT solutions interface is generated based on auto-population of verified attribute results.

Abstract: A method and system are provided for performing a security inspection of a set of virtual images. The method includes merging the virtual images into a tree structure having a root and a plurality of leaves such that child leaves and a parent leaf to the child leaves have common ones of the virtual images. The method further includes applying a bisection method against a path in the tree from the root to a given one of the plurality of leaves having a given one of the virtual images in which a security violation has been identified to find a particular one of the virtual images that is a root cause of the security violation. The method also includes performing a corrective action for any of the plurality of images having the security violation.

Abstract: One embodiment provides model-driven and automated generation of information technology (IT) solutions including obtaining a set of business and technical requirements for IT infrastructure and applications. A client business and technical requirement model is generated based on generic model constructs and extending with constructs specific to capturing client requirements. A draft IT solution is generated using an automated model-driven process to generate the draft IT solution configuration for client requirements for a target shared resource environment offering. The generated draft IT solution is translated into a language of a constraint satisfaction engine that propagates values of chosen attributes in the draft solution to identify valid values for unset attributes, and identifies conflicts. An IT solutions interface is generated based on auto-population of verified attribute results.

Abstract: A method and system are provided for performing a security inspection of a set of virtual images. The method includes merging the virtual images into a tree structure having a root and a plurality of leaves such that child leaves and a parent leaf to the child leaves have common ones of the virtual images. The method further includes applying a bisection method against a path in the tree from the root to a given one of the plurality of leaves having a given one of the virtual images in which a security violation has been identified to find a particular one of the virtual images that is a root cause of the security violation. The method also includes performing a corrective action for any of the plurality of images having the security violation.

Abstract: A method and system are provided for performing a security inspection of a set of virtual images in a cloud infrastructure. The method includes merging the virtual images into a tree structure having a root and a plurality of leaves such that child leaves and a parent leaf to the child leaves have common ones of the virtual images. The method further includes identifying a security violation in a given one of the virtual images at a given one of the plurality of leaves. The method also includes applying a bisection method against a path in the tree from the root to the given one of the plurality of leaves to find a particular one of the virtual images that is a root cause of the security violation. The method additionally includes performing a corrective action for any of the plurality of images having the security violation.

Abstract: A method and system are provided for performing a security inspection of a set of virtual images in a cloud infrastructure. The method includes merging the virtual images into a tree structure having a root and a plurality of leaves such that child leaves and a parent leaf to the child leaves have common ones of the virtual images. The method further includes identifying a security violation in a given one of the virtual images at a given one of the plurality of leaves. The method also includes applying a bisection method against a path in the tree from the root to the given one of the plurality of leaves to find a particular one of the virtual images that is a root cause of the security violation. The method additionally includes performing a corrective action for any of the plurality of images having the security violation.