SysML语言详述(OMG SysML-Tutorial-Final)

OMGSystemsModelingLanguage(OMGSysML™)TutorialSeptember,2009SanfordFriedenthalAlanMooreRickSteiner(emailsincludedinreferencesatend)Copyright©2006-2009byObjectManagementGroup.PublishedandusedbyINCOSEandaffiliatedsocietieswithpermission.4/15/2008Copyright©2006-2008byObjectManagementGroup.2OMGSysML™Specification•Specificationstatus–AdoptedbyOMGinMay’06–AvailableSpecificationv1.0inSept’07–AvailableSpecificationv1.1inNov‘08–Revisiontaskforceforv1.2inprocess•Multiplevendorimplementationsavailable•ThistutorialisbasedontheOMGSysMLavailablespecification(formal/2007-09-01)•Thistutorial,thespecifications,papers,andvendorinfocanbefoundontheOMGSysMLWebsiteat•Referto“APracticalGuidetoSysML”byFriedenthal,Moore,andSteinerforlanguagedetailsandreference4/15/2008Copyright©2006-2008byObjectManagementGroup.3Objectives&IntendedAudienceAttheendofthistutorial,youshouldhaveanawarenessof:•Motivationofmodel-basedsystemsengineeringapproach•SysMLdiagramsandlanguageconcepts•HowtoapplySysMLaspartofamodelbasedSEprocess•BasicconsiderationsfortransitioningtoSysMLThiscourseisnotintendedtomakeyouasystemsmodeler!Youmustusethelanguage.IntendedAudience:•PracticingSystemsEngineersinterestedinsystemmodeling•SoftwareEngineerswhowanttobetterunderstandhowtointegratesoftwareandsystemmodels•FamiliaritywithUMLisnotrequired,butithelps4/15/2008Copyright©2006-2008byObjectManagementGroup.4Topics•Motivation&Background•DiagramOverviewandLanguageConcepts•SysMLModelingasPartofSEProcess–StructuredAnalysis–DistillerExample–OOSEM–EnhancedSecuritySystemExample•SysMLinaStandardsFramework•TransitioningtoSysML•Summary•ClassExerciseMotivation&Background4/15/2008Copyright©2006-2008byObjectManagementGroup.6SEPracticesforDescribingSystems•Specifications•Interfacerequirements•Systemdesign•Analysis&Trade-off•TestplansMovingfromDocumentcentrictoModelcentricPastFuture4/15/2008Copyright©2006-2008byObjectManagementGroup.7SystemModelingStartShiftAccelerateBrakeEngineTransmissionTransaxleControlInputPowerEquationsVehicleDynamicsMassPropertiesModelStructuralModelSafetyModelCostModelRequirementsIntegratedSystemModelMustAddressMultipleAspectsofaSystem4/15/2008Copyright©2006-2008byObjectManagementGroup.8ModelBasedSystemsEngineeringBenefits•Sharedunderstandingofsystemrequirementsanddesign–Validationofrequirements–Commonbasisforanalysisanddesign–Facilitatesidentificationofrisks•Assistsinmanagingcomplexsystemdevelopment–Separationofconcernsviamultipleviewsofintegratedmodel–Supportstraceabilitythroughhierarchicalsystemmodels–Facilitatesimpactanalysisofrequirementsanddesignchanges–Supportsincrementaldevelopment&evolutionaryacquisition•Improveddesignquality–Reducederrorsandambiguity–Morecompleterepresentation•Supportsearlyandon-goingverification&validationtoreducerisk•Providesvaluethroughlifecycle(e.g.,training)•Enhancesknowledgecapture4/15/2008Copyright©2006-2008byObjectManagementGroup.9System-of-SystemsBoundariesInteractionsModelingNeededtoManageSystemComplexity4/15/2008Copyright©2006-2008byObjectManagementGroup.10ModelingatMultipleLevelsoftheSystemTITLESystemDesignTITLEMETAhttp-equiv=REFRESH!--CSSDATA:966533483--SCRIPTsrc=/virtual/2000/codeLINKrel=stylesheethref=/SCRIPTlanguage=javascriptDataProcessingTerminalHardwareDataProcessingTerminalHardwareTCIMVoiceCommHardwareincludesMSEVoiceCommHardwareincludesMSEOperatorInterfaceHardwareOperatorInterfaceHardwareForceLevelControlSystemForceLevelControlSystemPowerGenerationandDistributionPowerGenerationandDistributionEPLRSorSINGARSTerminalEPLRSorSINGARSTerminalJTIDSTerminalJTIDSTerminalTCIMPLGR(GPS)PLGR(GPS)SoftwareSoftwareA2C2SubsystemABMOCSubsystemPowerPowerPowerPowerPowerPowerPowerVoice&TADIL-BDataPowerPowerPowerPowerPowerPowerPowerVoice&TADIL-BDataTechSupportSystemEntryPrimaryKeyTSS_Entry_Number[PK1]Non-KeyAttributesWindows_VersionTSS_DescriptionCustomerPrimaryKeyCustomer_ID[PK1]Non-KeyAttributesCustomer_NamePurchase_ContactCustomer_AddressSoftwareLicensePrimaryKeySerial_Number[PK1]Non-KeyAttributesTechnical_ContactClientCallPrimaryKeySerial_Number[PK1][FK]LocationPrimaryKeyStatus[PK1][FK]SoftwareReleasePrimaryKeyVersion_Number[PK1]StatusPrimaryKeyStatus[PK1]ownsconsistsofissubjecttocreatescurrentlyhasisaCECInformationExchangeRequirements-ClassifiedSECRETwhenfilledin1234567891011Rationale/UJTLNumberEvent/ActionInformationCharacterizationSendingNodeReceivingNodeCriticalFormatClassLatency:SA/EngSupportMessageErrorRateRemarksOP5.1.1CommOpInfoProvideSA/SupportEngagementsRadarmeasurementstosupportdatafusioncompositetrackingHostCEPYesBinaryIAWIDDSecretxxsecs/xxsecsxx%REF:CECA-specTable3-3andHostreqmtsOP5.1.1CommOpInfoProvideSA/SupportEngagementsIFFmeasurementstosupportdatafusionandcompositetrackingHostCEPYesBinaryIAWIDDSecretxxsecs/xxsecsxx%OP5.1.1CommOpInfoProvideSA/SupportEngagementsIFFinterrogationrequeststosupportdatafusionandcompositetrackingHostCEPYesBinaryIAWIDDSecretxxsecs/xxsecsxx%RespondwhenrequestedOP5.1.1CommOpInfoProvideSA/SupportEngagementsIDChangestosupportdatafusionandcompositetrackingHostCEPYesBina