Abstract: A systematic model transformation that replaces individual components of a model that are identified as incompatible with a type of analysis is discussed. The identified incompatible components are replaced with an alternative component or components that is/are simplified to support the analysis being performed. Each simplified component is composed of one or more primitive elements in a construct that approximates the original design behavior and supports the desired analysis technique. The result of the automated abstraction process is an updated model design that has the same fundamental structure as the original model design and can be executed in the same manner as the original model design. Each simplified component may have a configuration setting selectable by a user that enables it to revert to the form of the original component. The resulting updated model can be used to interactively investigate the abstraction and determine its validity and appropriateness.