A computer-implemented method for integrating source models of Service Availability Forum, SA Forum, services into a system configuration , comprising: generating transformations according to a weaving model which specifies relations among metamodels of the source models and the system configuration , wherein the transformations , when executed, transform the source models into the system configuration including a plurality of target entities , wherein a generic weaving metamodel is extended to create a weaving metamodel to which the weaving model conforms, wherein the weaving metamodel defines link ends that are specialized into a SourceEnd representing entities in the source models , and a TargetEnd representing created or modified entities in the system configuration , wherein the weaving metamodel contains integration semantics between the entities of different configuration profiles and wherein the weaving model captures a mapping between the entities of the different configuration profiles; generating , from the transformations , one or more integration constraints for each target entity to be created or modified by an operation of the transformations , wherein the integration constraints describe semantics of the relations specified by the weaving model , wherein the integration constraints are between entity classes of different source metamodels , and wherein the constraints of each source model are between entity classes within each source metamodel ; forming system configuration constraints to include the integration constraints in addition to constraints of each source model ; and executing the transformations to transform the source models into the system configuration to thereby (i) generate the system configuration obeying the system configuration constraints and (ii) add the integration semantics, as integration constraints, to a system configuration profile . generating transformations according to a weaving model which specifies relations among metamodels of the source models and the system configuration , wherein the transformations , when executed, transform the source models into the system configuration including a plurality of target entities , wherein a generic weaving metamodel is extended to create a weaving metamodel to which the weaving model conforms, wherein the weaving metamodel defines link ends that are specialized into a SourceEnd representing entities in the source models , and a TargetEnd representing created or modified entities in the system configuration , wherein the weaving metamodel contains integration semantics between the entities of different configuration profiles and wherein the weaving model captures a mapping between the entities of the different configuration profiles; generating , from the transformations , one or more integration constraints for each target entity to be created or modified by an operation of the transformations , wherein the integration constraints describe semantics of the relations specified by the weaving model , wherein the integration constraints are between entity classes of different source metamodels , and wherein the constraints of each source model are between entity classes within each source metamodel ; forming system configuration constraints to include the integration constraints in addition to constraints of each source model ; and executing the transformations to transform the source models into the system configuration to thereby (i) generate the system configuration obeying the system configuration constraints and (ii) add the integration semantics, as integration constraints, to a system configuration profile . <EOS>