上传者: weixin_38600253
|
上传时间:2024/6/29 11:30:31
|
文件大小:3MB
|
文件类型:PDF
AnApproachforAutomaticallyReasoningConsistencyofDomain-SpecificModellingLanguage
Domain-SpecificModelingLanguage(DSML)definedbyinformalwaycannotpreciselyrepresentitsstructuralsemantics,sopropertiesofmodelssuchasconsistencycannotbesystematicallyanalyzedandverified.Inresponse,thepaperproposesanapproachforautomatical-lyreasoningconsistencyofDS
本软件ID:15404981