形式语义学与软件工程中的不确定性和自适应研究

• 作者: 梁志荣
• 来源期刊: 福建电脑
• 关键词: 形式语义学 不确定性 自适应 软件工程
• 年，卷（期）: 2016,（7）
• 所属期刊栏目: 研究与探讨
• 页码范围: 82-84
• 页数: 3页
• 字数: 5840字
• 语种: 中文
• DOI: 10.16707/j.cnki.fjpc.2016.07.040

摘要

互联网、物联网环境下,在面向服务的软件开发形式下,研究如何让软件感知环境的动态变化,上下文环境的不确定性和软件系统需求本身的动态性,建立软件的自适应机制以应对处理软件工程中的不确定性.初步的研究思路利用Petri网建立软件的形式化模型,利用人工智能的不确定性处理机制对历史数据和上下文动态环境进行分析处理,建立软件的自适应机制.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁志荣	肇庆学院教育技术与计算机中心	12	54	3.0	7.0