CAJ | 학술논문

为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性.以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模.首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接件模型;其次,建立软件体系结构的静态视图和动态视图,为软件动态演化的分析和实施奠定基础;最后,通过案例研究表明:该方法是有效的,并可显著提高所建立的软件体系结构模型的动态演化性.
위료응대연건동태연화면림적도전,응제고소건립적연건체계결구모형적동태연화성.이확전적Petri망위형식화공구,대면향동태연화적연건체계결구진행건모.수선,장Petri망확전성위구건망결구,병설계유효지지연건동태연화적구건모형화련접건모형;기차,건립연건체계결구적정태시도화동태시도,위연건동태연화적분석화실시전정기출;최후,통과안례연구표명:해방법시유효적,병가현저제고소건립적연건체계결구모형적동태연화성.