1-李智-需求工程分论坛-iSQE2023峰会(1).pptx

1、中国国际软件质量工程峰会中国国际软件质量工程峰会International Software Quality Engineering Forum需求工程中的需求工程中的“E=mcE=mc2 2”理论理论扩展及工具支持扩展及工具支持李智李智广西师范大学广西师范大学计算机与工程学院计算机与工程学院/软件学院软件学院2023年5月26日 22023 iSQE 内 容u 需求工程中的“E=mc2”理论u 扩展：面向问题的复杂性(语义+建模+度量)u 语义扩展：指称语义-操作语义u 建模扩展：Zoom-in vs.Zoom-outu 复杂度度量：以微服务拆分为例u 讨论与总结（AI4RE及RE4AI）需

2、求工程中的“E=mc2”理论需求工程中与爱因斯坦需求工程中与爱因斯坦“E=mc2”对等的理论对等的理论vsE=mc2S,E|RCyber-Physical WorldMichael A.JacksonPhysical WorldAlbert Einstein杰克逊原创性贡献杰克逊原创性贡献-JSP(结构化编程结构化编程)和和JSD(系统开发系统开发)*Anthony Hall,E=mc2 Explained,in*Software Requirements and Design:The Work of Michael Jackson,ed.Bashar Nuseibeh and Pamela

3、Zave,Chatham,NJ Good Friends Publishing Company,2010.“1974年年英国政府英国政府把把JSP采纳为程序采纳为程序设计的设计的标准方法标准方法”*JSD(面向数据结构开发方法面向数据结构开发方法)被被MS Visio2007版采纳为版采纳为内建模板内建模板CMU访问教授、访问教授、Praxis Critical Systems首席顾问首席顾问Anthony Hall博士将博士将杰克逊提出的杰克逊提出的“S,E|-R”评价为评价为需求工需求工程的程的“E=mc2”理论理论*需求工程中的“E=mc2”理论该理论该理论2005年荣获软工顶会年荣获软

4、工顶会ICSE颁发的颁发的10年最有影年最有影响力论文奖响力论文奖*Michael Jackson and Pamela Zave.Deriving specifications from requirements:an example.Proceedings of the 17th International Conference on Software Engineering,ICSE 95,Seattle,Washington,USA,pages1524,April 1995需求工程中的“E=mc2”理论“The Master Law in Requirements Engineerin

5、g”Video*ICSE2006 Panel Topic“Formal methods too much or too little?”ICSE06国际软工大会首次在中国召开国际软工大会首次在中国召开会议会议Panel讨论议题讨论议题“形式化方法太形式化方法太多还是太少？多还是太少？”加拿大滑铁卢大学加拿大滑铁卢大学Joanne Atlee教授教授把该理论称把该理论称“需求工程中最重要公式需求工程中最重要公式”需要适合领域的描述语言需要适合领域的描述语言/符号符号(适合适合描述软件的符号语言不见得最好描述软件的符号语言不见得最好)需求及规格说明的形式化描述语言要需求及规格说明的形式化描述语言要

6、让普通人容易读懂和书写：方便用户让普通人容易读懂和书写：方便用户确认需求；方便开发者确定构建什么确认需求；方便开发者确定构建什么要把要把领域领域、规格规格及及需求需求三种性质不同的语言组合起来构成三种性质不同的语言组合起来构成推理推理需求工程中的“E=mc2”理论“S，E|-R”理论的扩展So far so good?Classics never go out of style!“可是这个理论怎么用啊？可是这个理论怎么用啊？!”经典永不过时，所需要的是扩展！经典永不过时，所需要的是扩展！All they need is extensions!扩展1：模型建模能够把能够把“S,E|-R”(S指称