CAJ | 학술논문

高品质的复杂信息系统软件设计与开发源自合理的、完整的和准确的软件需求.为了描述需求领域的非确定问题,并在需求获取不完全的情况下对需求规约进行非单调推理,本文将回答集逻辑程序和基于因果关系的动作理论应用于需求描述与验证.针对复杂信息系统需求问题空间规模较大的特点,将动作描述语言C与动作查询语言Q结合形成动作语言Lo,作为需求描述的基础；通过分析需求领域各个元素及其相互关系,以表单驱动引导需求,并作为需求描述依据与核心,提出了描述需求问题空间静态关系和动态行为关系的“主谓宾状”需求模型MRspoa.利用回答集逻辑程序求解器SMODELS,可以对需求规约进行多层次规划与检测.本文的研究来自工程项目实践的总结与提高,研究成果得到具体应用.
고품질적복잡신식계통연건설계여개발원자합리적、완정적화준학적연건수구.위료묘술수구영역적비학정문제,병재수구획취불완전적정황하대수구규약진행비단조추리,본문장회답집라집정서화기우인과관계적동작이론응용우수구묘술여험증.침대복잡신식계통수구문제공간규모교대적특점,장동작묘술어언C여동작사순어언Q결합형성동작어언Lo,작위수구묘술적기출；통과분석수구영역각개원소급기상호관계,이표단구동인도수구,병작위수구묘술의거여핵심,제출료묘술수구문제공간정태관계화동태행위관계적“주위빈상”수구모형MRspoa.이용회답집라집정서구해기SMODELS,가이대수구규약진행다층차규화여검측.본문적연구래자공정항목실천적총결여제고,연구성과득도구체응용.