形式语义学与软件工程中的不确定性和自适应研究
作者机构:肇庆学院教育技术与计算机中心广东肇庆526061
出 版 物:《福建电脑》 (Journal of Fujian Computer)
年 卷 期:2016年第32卷第7期
页 面:82-84页
学科分类:12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)]
摘 要:互联网、物联网环境下,在面向服务的软件开发形式下,研究如何让软件感知环境的动态变化,上下文环境的不确定性和软件系统需求本身的动态性,建立软件的自适应机制以应对处理软件工程中的不确定性。初步的研究思路利用Petri网建立软件的形式化模型,利用人工智能的不确定性处理机制对历史数据和上下文动态环境进行分析处理,建立软件的自适应机制。