| 摘要 |
A method and a system for automatically synchronizing the design features of disparate but conceptually corresponding code elements (e.g., image representations) within disparate but potentially composable code components (e.g., frameworks and their payloads). For example, an element that is a field within a structure that points to an abstract image BP within a skeletal framework component may conceptually correspond to a simple element that is a concrete image B within some intended framework payload. In the composition of the framework and the computational payload, the concrete image B must acquire the design features of the abstract image BP (i.e., a pointer within a structure field) to be properly synchronized with the design of the framework. This invention automates differencing of composite types to compute transformations that can add design features to B to convert it to BP thereby synchronizing the design features of the framework and its payload. |
