Abstract: A method, system, and computer program product for reversibly instrumenting a computer software application is described. The method may comprise creating a map indicating a plurality of locations of application instruction sections within instructions of a computer software application. The method may further comprise inserting a plurality of instrumentation sections into the computer software application instructions. The method may also comprise updating the map to indicate the locations of the instrumentation sections within the computer software application instructions, where the indications in the map of the locations of the instrumentation sections are distinguishable from the indications in the map of the locations of the application instruction sections.

Abstract: A system for modeling computer software product line variants may include a model builder configured to construct a model of a plurality of variants of a computer software application. The model may include at least one common-to-variants element that may be common to a plurality of the variants, a plurality of variant-specific elements, and interface code configured to adapt any of the variant-specific elements to any of the common-to-variants elements. The model may further include an application generator configured to generate a plurality of computer software applications for a corresponding plurality of combinations of the common-to-variants elements and the variant-specific elements, where the model builder and the application generator may be implemented in at least one of computer hardware and computer software embodied in a tangible computer-readable storage medium.

Abstract: Validating a system model. An embodiment can include receiving the system model. The system model can include at least one activity diagram. Via a processor, computer-readable program code corresponding to the system model, including the at least one activity diagram of the system model, can be generated. The computer-readable program code can be executed, and the execution of the computer-readable program code can be analyzed to perform a validation of the system model. A result of the validation can be output.

Abstract: Validating a system model. An embodiment can include receiving the system model. The system model can include at least one activity diagram. Via a processor, computer-readable program code corresponding to the system model, including the at least one activity diagram of the system model, can be generated. The computer-readable program code can be executed, and the execution of the computer-readable program code can be analyzed to perform a validation of the system model. A result of the validation can be output.

Abstract: A method, system, and computer program product for reversibly instrumenting a computer software application is described. The method may comprise creating a map indicating a plurality of locations of application instruction sections within instructions of a computer software application. The method may further comprise inserting a plurality of instrumentation sections into the computer software application instructions. The method may also comprise updating the map to indicate the locations of the instrumentation sections within the computer software application instructions, where the indications in the map of the locations of the instrumentation sections are distinguishable from the indications in the map of the locations of the application instruction sections.

Abstract: A system for modeling computer software product line variants may include a model builder configured to construct a model of a plurality of variants of a computer software application. The model may include at least one common-to-variants element that may be common to a plurality of the variants, a plurality of variant-specific elements, and interface code configured to adapt any of the variant-specific elements to any of the common-to-variants elements. The model may further include an application generator configured to generate a plurality of computer software applications for a corresponding plurality of combinations of the common-to-variants elements and the variant-specific elements, where the model builder and the application generator may be implemented in at least one of computer hardware and computer software embodied in a tangible computer-readable storage medium.