演讲主题：

所见即所得：所见即所得：从TAP规则自动生成最终用户编程的体验型原型

嘉宾简介：

陈小红副教授，中国计算机学会软件工程专业委员会委员，中国计算机学会形式化方法专业委员会委员，RE2021形式化需求程序委员会委员，需求的形式化建模与验证专家，长期从事基于环境建模的需求工程方法，在环境建模以及基于环境的需求的形式化建模与验证方向有着独特的建树，先后在基于自然语言的形式化、基于半形式化语言的形式化及验证方面形成了系列方法，包括：针对复杂需求提出了基于场景的需求自动分解以及基于因果关系的问题约减方法，基于自动分解的组合验证方法，在系统级和配置项级进行验证；针对安全需求提出了模式语言，用于将自然语言需求形式化，提出了基于SMT的需求形式化验证方法，定义了形式化语言CCSL的图化方法，并由此定义基于图搜索的循环依赖、实时一致性验证，适用于大规模系统需求。该系列方法已经成功应用在轨道交通、航空航天等安全攸关领域。经常在国内外需求工程、软件工程会议上发表演讲，并受邀担任RE2020会议的形式化验证workshop的主题报告人。

演讲简介：

随着物联网技术的快速发展，IoT使能的系统需求呈现个性化特征。此类系统常采用最终用户编程范式，使用TAP（触发-动作编程）规则描述他们的需求。然而，TAP规则极易出错，最终用户不知道它们的实际效果，希望在部署之前进行确认。据我们所知，最终用户编程的需求确认还没有得到太多关注。我将报告一种基于知识的从TAP规则自动生成体验型原型的方法，生成的动画形式原型，可以使最终用户有身临其境的感觉，由此确定他们的意图是否满足。