CAJ | 학술논문

针对复杂软件系统的需求信息难以表达和沟通的问题,提出了一种用动画方式描述需求行为模型的可视化方法.该方法基于行为描述语言(Behavior Description Language,BDL)所建立的需求行为模型,动画的执行机制是采用状态机和状态块分别作为其执行模型和描述模型,每一个状态迁移都对应一个需要进行可视化描述的行为,一个关联元素将状态块模型中的一个迁移与一个动作原语进行关联,控制图形的运动,实现需求行为模型的可视化.该方法的优点在于,需求动画的直观性可以使不同背景的用户发现遗漏和不正确的潜在需求,避免需求变更,并且BDL模型必须通过一系列检测,以确保需求动画的正确性.文中给出了行为模型到状态模型转换规则的正确性证明,为转换提供了相应的理论验证.最后给出了校园通系统实例分析以及所实现的建模工具和动画工具介绍.
침대복잡연건계통적수구신식난이표체화구통적문제,제출료일충용동화방식묘술수구행위모형적가시화방법.해방법기우행위묘술어언(Behavior Description Language,BDL)소건립적수구행위모형,동화적집행궤제시채용상태궤화상태괴분별작위기집행모형화묘술모형,매일개상태천이도대응일개수요진행가시화묘술적행위,일개관련원소장상태괴모형중적일개천이여일개동작원어진행관련,공제도형적운동,실현수구행위모형적가시화.해방법적우점재우,수구동화적직관성가이사불동배경적용호발현유루화불정학적잠재수구,피면수구변경,병차BDL모형필수통과일계렬검측,이학보수구동화적정학성.문중급출료행위모형도상태모형전환규칙적정학성증명,위전환제공료상응적이론험증.최후급출료교완통계통실례분석이급소실현적건모공구화동화공구개소.