11. The method of claim 10 , wherein the first semantic style includes language for describing a regulatory environment and the second semantic style includes language for describing a software programming environment.
10. A method for performing automatic trace retrieval, comprising: receiving a first model for a system or service, the first model including a first plurality of model artifacts at least partially represented by a first semantic style; receiving a second model for the system or service, the second model including a second plurality of artifacts at least partially represented by a second semantic style; collecting one or more manually input correspondences between artifacts of the first plurality of model artifacts and artifacts of the second plurality of artifacts; joining artifacts of the first and second plurality of model artifacts; employing association rule mining to detect co-occurrences within the joined artifacts; establishing transformation rules from the association rule mining; filtering the established transformation rules to remove invalid rules; and using the filtered transformation rules in tracing associations between artifacts of the first plurality of artifacts and artifacts of the second plurality of artifacts.