CAJ | 학술논문

针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法.该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程.结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持.
침대면향복무연건중이상처리난이건모적문제,기우층차착색Petri망제출료일충면향복무연건중이상처리적형식화건모방법.해방법종이상적포출、포획、처리、반회혹전파등방면입수진행료이상처리성분건모,급출료각성분적층차화적형식어의모형,래청석지표체이상처리적과정.결합실례종유효성화가고성각도대건모방법진행료험증,결과표명,소제방법능구충분이용착색Petri망적층차화수거류형적건모능력,위면향복무연건적수거류화공제류、대규모면향복무연건적층차화모형건모,위이상처이성질적분석여험증제공지지.