supporedTypesOfServices [*]securesServiceCompositionknowsAvailableServicesisCentralizedServiceCompositionMsupportedLanguageTypes [*]inspectsArtifactswritesArtifactschangesArtifactscompletesArtifactsgivesSecurityAdviceImplementationMversionTrackingApproachadaptionProcessToNewEnvupdateProcessDeploymentMusedFormalisms [*]assuranceCriteria [*]canProvideCounterExamplecanProvideProofAssuranceMworksWithLanguages [*]canDamageSystemcanInsertDatacanAlterDatacanStealDatacanGenerateFlowcanInspectFlowcanInspectDatacanBlockFunctionCallsRuntimeMusedIndicators [*]supportsRiskIdentificationsupportsRiskAssessmentRiskAndCostMusedAdversaryModels [*]usedEquationusesFixedPropertiesProtocolVerificationisUsedForCommunicationcanGenerateArtifactsDesignMcomprisesElicitationcomprisesAnalysiscomprisesSpecificationcomprisesManagementlevelOfDetailRequirementsMisTestingWebAppisTestingNetworkisTestingSystemisWhiteboxTestisBlackboxTestisGreyboxTestTestingMinput [*]output [*]isModelDrivenhasChecklistsisPhysicalMethodMAreasOfDev{ordered}*steps1..*belongsTo*describes*extends**usesdetailedInfo*