精彩導讀

《軟件工程》期刊始終以反映軟件工程理論、方法和技術創(chuàng)新成果，傳播軟件知識，推廣軟件應用為己任，期望可以為促進中國軟件工程學科和軟件產業(yè)發(fā)展略盡綿薄之力。

本期重點推薦論文

人機對話系統(tǒng)通常只是執(zhí)行用戶的命令，很少可以主動發(fā)起對話，或依據對話以外的內容進行個性化的人機交互。本期發(fā)表的論文《主動聯(lián)想型對話機器人的設計與實現(xiàn)》提出了聯(lián)想型對話機器人的概念和對應的設計方案，以及設計所需要的關鍵技術和方法。以在線教育系統(tǒng)為例，基于有限狀態(tài)機構建了主動聯(lián)想型對話機器人算法模型和聯(lián)想式對話生成策略。以用戶使用產品為背景，使機器人可以聯(lián)想用戶的歷史行為，通過融合用戶提問和個人特征的方式生成對話內容。對話系統(tǒng)不但可以主動發(fā)出對話邀請，而且可以個性化地回答用戶提問，很好地提升了人機對話的滿意度。

優(yōu)秀期刊及其論文推薦

IEEE Transactions on Software Engineering，簡稱TSE，中文譯為《IEEE軟件工程學報》，網址為https：//www.computer.org/csdl/journal/ts，1975年創(chuàng)刊（月刊），由IEEE COMPUTER SOCIETY出版，其2019年的影響因子為6.112，排在計算機科學軟件工程領域前列，并被收入《科學引文索引擴展版》（SCIE）。

《IEEE軟件工程學報》關注定義明確的理論結果和經驗研究，以及這些結果和研究對軟件構建、分析或管理的潛在影響，范圍從制定原則的機制到將這些原則應用于特定的環(huán)境，對軟件工程研究或實踐者都是很有價值的。

《IEEE軟件工程學報》重點主題包括開發(fā)和維護方法及模型、評估方法、軟件項目管理、工具和環(huán)境、系統(tǒng)問題等。它涵蓋了軟件系統(tǒng)的規(guī)范、設計和實現(xiàn)的技術與原則，包括符號和過程模型，軟件測試和驗證、可靠性模型，生產率因素、成本模型，特定工具、集成工具環(huán)境，硬件和軟件權衡，等等。

2021年第47卷01期“Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers”一文討論的是擴展狀態(tài)機的符號優(yōu)化和應用。它提出了一種程序，以符號化的方式修剪給定的擴展狀態(tài)機，使其達到某些用戶定義的一般目標，以及其他特定目標的最大子機，且永遠不會達到失敗狀態(tài)。這個過程消除了修剪過程中可能產生的所有不良死鎖。文中還提供了一些應用示例，演示了所建議過程的多個方面，包括其有用性和局限性。值得一提的是，文中提出的修剪過程也適用于修剪不確定的擴展狀態(tài)機。文章的另一個亮點是修剪算法在離散事件系統(tǒng)和子模塊構造控制中的應用，展示了如何將有限狀態(tài)機的通用子模塊構造算法調整為擴展狀態(tài)機模型。除了某些一般的用戶定義目標外，還考慮了某些傳統(tǒng)上被認為是特定的控制目標。

《軟件工程》期刊會持續(xù)為廣大讀者提供軟件工程領域方面的最新學術訊息，歡迎大家繼續(xù)支持我刊，我們共同關注軟件工程領域的發(fā)展動向，努力做好學術研究和交流工作。