| 企业需求模型的形式化验证 |
| |
| 引用本文： | 苗虹,李震,葛世伦.企业需求模型的形式化验证[J].江苏科技大学学报(社会科学版),2008,22(5). |
| |
| 作者姓名： | 苗虹 李震 葛世伦 |
| |
| 作者单位： | [1]江苏科技大学经济管理学院,江苏镇江212003 [2]南京理工大学自动化学院,江苏南京210094 [3]北京航空航天大学工程系统工程系,北京100083 |
| |
| 基金项目： | 江苏科技大学人文社科资助项目 |
| |
| 摘 要： | 企业信息化建设和改造中对建立全面、正确、一致的企业模型存在巨大需求.在企业信息系统开发的生命周期中,系统分析阶段内需求的正确获取与表达是保证软件质量、降低软件开发成本和风险的关键.文中提出对需求建模时引入本体方法进行形式化描述,进而设计模型能力问题验证,发现需求和设计的缺陷,确保软件需求的正确、有效和完备.基于此选择企业经营销售管理领域,并采用逻辑程序设计语言Visual Prolog给出了针对需求模型进行验证的应用实例.
|
| 关 键 词： | 企业建模 本体 模型能力 形式化 |
Formal validation on enterprise requirements model |
| |
| MIAO Hong,LI Zhen,GE Shilun.Formal validation on enterprise requirements model[J].Journal of Jiangsu University of Science and Technology:Natural Science Edition,2008,22(5). |
| |
| Authors: | MIAO Hong LI Zhen GE Shilun |
| |
| Institution: | MIAO Hong1,2,LI Zhen3,GE Shilun1(1.School of Economics , Management,Jiangsu University of Science , Technology,Zhenjiang Jiangsu 212003,China)(2.School of Automation,Nanjing University of Science , Technology,Nanjing Jiangsu 210094,China)(3.Department of System Engineering of Engineering Technology,Beihang University,Beijing 100083,China) |
| |
| Abstract: | There are great requirements on comprehensive,accurate and consistent enterprise model in enterprise informationization.In life cycle of enterprise information system development,the acquisition and expression of requirements in system analysis phase is the key to guarantee the quality of software,and to reduce the development cost and risks.In this paper,we introduce the method of ontology into modeling the requirements to describe requirements formally,and then to detect bugs or errors in the model by des... |
| |
| Keywords: | enterprise modeling ontology model competency formalization |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
