李允中教授-軟體工程實驗室研究方向 觀點導向之軟體發展(Aspect-Oriented Software Development): 觀點導向軟體開發方法主要源自於重新思考軟體系統的模組化(Modularization)以及關注點分離的概念(Separation of Concerns)。當建構軟體系統功能時，往往會發現到除該功能本身之外，必須還要在這些功能上特別關注其他面向的考量，例如執行效能的面向、元件或模組的再利用性、系統的可靠程度等等。因此，一個軟體系統內，往往存在著這些錯綜交織的面向於軟體開發的各個階段。透過與目標導向軟體工程方面的研究成果結合所引領出來的研究方向包含(1)辨識早期觀點並整合早期觀點至目標驅動使用案例；(2)塑模早期觀點行為與系統互動之目標驅動表達法；(3)將目標驅動表達法轉換成觀點導向程式語言程式碼；(4)透過程式碼相似度找出Aspect Modularity。 大型軟體設計與分析(Design and Analysis of Large-Scale Software System): 軟體維護一直是處理軟體危機的重要課題，研究發現軟體經時間的累績不斷的修改會造成軟體衰退(Code Decay)，造成軟體的耦合關係升高，增加軟體維護的成本。我們的研究主要以程式碼耦合度(Coupling)與相似度(Similarity)為基礎，並透過Abstraction和Encapsulation探討大型軟體設計，包括程式碼分群(Code Clustering)、程式碼視覺化與標註(Code Visualization & Annotation)、程式碼重構(Refactoring)與程式碼模組化(Code Modularization)等問題，以提供軟體維護活動所需模型與工具，降低軟體維護成本。 代理人導向軟體技術(Agent-based software technology):由於高階模糊派翠網路是一個強大的系統模擬與分析的工具，同時提供一個整合性架構的可能性。透過高階模糊派翠網路整合模糊運算與模糊推理可以達成(1)模擬不確定之不精確資訊(數值與非數值)；(2)模擬模糊運算；(3)模擬不確定之不精確法則；(4)模擬模糊推理。同時利用可能性邏輯擴充派翠網路，可以表達與推理不確定性資訊。根據基本的派翠網路，我們主要利用可能性理論來擴充位置與轉置，使之得以處理不確定資訊，為有效整合模糊運算、模糊推理與模糊類神經網路，我們提出不確定轉置(uncertain transition)，並將 之分成下面幾類：計算轉置、推理轉置、整合轉置、複製轉置、整合-複製轉置。 服務導向計算(Service-Oriented Computing): 智慧型網際服務技術將發展可自我調整以貼近使用者需求的加值型網際服務，以達成「服務人性化」的目標。主要的研究項目有：(1) 服務提供，發展數種不同型態的網 際服務，如資料服務(data service)、工具服務(tool service)與程序服務(process service)，並研發各種服務型態的建置技術與整合技術；(2) 服務配對，利用語意網路(semantic web)、仲介代理人(middle agent)、與可能性配翠網路(Possibilitic Petri Net, PPN)等技術，開發具備深層語意(semantics)的配對機制，以及考量不確定性(uncertainty)的配對機制；(3) 服務組合(service composition)，利用服務流程(service flow)與規則基 (rule base)等技術，發展靜態與動態的服務組合，以視覺化的組合介面與配對引擎，提供使用者更為便利的服務需求；(4) 服務遞送(service delivery)，利用整合之服務工作區以遞送使用者 需求的服務。