ISO/IEC 15909-2-2011 系统与软件工程.高级Petri网.第2部分:转换格式

作者:标准资料网 时间:2024-05-21 16:28:38  浏览:9271   来源:标准资料网

【英文标准名称】:Systemsandsoftwareengineering-High-levelPetrinets-Part2:Transferformat
【原文标准名称】:系统与软件工程.高级Petri网.第2部分:转换格式
【标准号】:ISO/IEC15909-2-2011
【标准状态】:现行
【国别】:国际
【发布日期】:2011-02-15
【实施或试行日期】:2011-02-15
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/IECJTC1/SC7
【标准类型】:()
【标准水平】:()
【中文主题词】:
【英文主题词】:Applications;Computersoftware;Dataexchange;Dataprocessing;Definitions;EDP;ExtensibleMarkupLanguage;Formats;Informationprocessing;Informationtechnology;Management;Mathematicalmodels;Petrinets;Programming;Semantics;Software;Specification(approval);Systemengineering;Transfer;Transformation;XML
【摘要】:ThispartofISO/IEC15909definesanXML-basedtransferformatforPetrinets,whicharedefinedconceptuallyandmathematicallyinISO/IEC15909-1.ThistransferformatenablestheexchangeofPetrinetsamongdifferentPetrinettoolsandamongdifferentparties.Moreover,thispartofISO/IEC15909definessomeconceptsandXML-basedsyntaxfordefiningthedetailedgraphicalappearanceofPetrinets.ThefocusofthispartofISO/IEC15909isonthetransferformatforPlace/TransitionNets,High-levelPetriNetsandSymmetricNets.Thepresentation,however,isstructuredinsuchawaythatitisopenforfutureextensions,sothatotherversionsofPetrinetscanbeaddedlater.Theexactdefinitionofthisextensionmechanism,calledPetrinettypedefinition,isnotdefinedinthispartofISO/IEC15909;itwillbedefinedinISO/IEC15909-3.ThetransferformatwillbeusedtotransferspecificationsofsystemsdevelopedinHigh-levelPetriNetsbetweentoolstofacilitatethedevelopmentofsystemsinteams.ThispartofISO/IEC15909iswrittenasareferencefordevelopersofPetrinettools.Moreover,itwillbeusefulforresearcherswhodefinenewversionsandvariantsofPetrinets.
【中国标准分类号】:L77
【国际标准分类号】:35_080
【页数】:110P.;A4
【正文语种】:英语