领域分析与形式化方法在内控信息化实施中的应用研究--以销售业务内控为例
企业内控信息化实施是指通过信息技术手段将内控理念、内部控制制度规范、流程、控制措施固化到信息系统中,建立一个集成了企业内控需求的管理信息系统.企业内控信息化实施是一个复杂庞大的系统工程,需要有科学规范的方法、工具和技术手段保证内控系统实施的质量.领域分析和形式化方法是计算机软件工程中对软硬件系统进行分析、规范、建模、证明的方法和技术,将其应用于企业内控信息化实施,可以在内控系统运行前,通过基于数理逻辑证明的方法快速有效的发现系统设计和实施中存在的缺陷漏洞,降低企业内控系统低效或失效的风险.本文以销售业务为例讨论了领域分析与形式化建模方法的内控信息化实施过程.
企业管理 内部控制 信息化建设 领域分析 形式化方法
陈潇怡 欧阳电平
武汉大学经济与管理学院 430072
国内会议
北京
中文
189-198
2013-05-01（万方平台首次上网日期，不代表论文的发表时间）