CAJ | 학술논문

基于XSLT技术的SBML与其他生物建模语言之间的转换方法存在无法保证转换结果的确定性、语法正确性及不能满足模型转换的工业化需求等缺陷.针对以上问题,提出了利用图文法定义SBML Schema及其他生物建模语言,并且利用Triple Graph Grammar构造SBML与其他建模语言之间的转换方法.在此基础上,提出了一种基于单路径尝试条件的转换算法,该算法具有多项式时间复杂性,能够保证转换目标对象的确定性与语法正确性,给出了相关证明,并且讨论了该条件在生物模型转换中的适用性.与传统方法相比,该方法利用可视化方法实现转换,简化了定义过程;无需动态检查转换过程,只要转化规则正确即可保证转换结果正确;同时支持扩增传播以及模型间双向转换.最后,通过Petri网与SBML之间的转换例子证实了该算法的正确性与有效性.
기우XSLT기술적SBML여기타생물건모어언지간적전환방법존재무법보증전환결과적학정성、어법정학성급불능만족모형전환적공업화수구등결함.침대이상문제,제출료이용도문법정의SBML Schema급기타생물건모어언,병차이용Triple Graph Grammar구조SBML여기타건모어언지간적전환방법.재차기출상,제출료일충기우단로경상시조건적전환산법,해산법구유다항식시간복잡성,능구보증전환목표대상적학정성여어법정학성,급출료상관증명,병차토론료해조건재생물모형전환중적괄용성.여전통방법상비,해방법이용가시화방법실현전환,간화료정의과정;무수동태검사전환과정,지요전화규칙정학즉가보증전환결과정학;동시지지확증전파이급모형간쌍향전환.최후,통과Petri망여SBML지간적전환례자증실료해산법적정학성여유효성.