本文關(guān)鍵詞：關(guān)注點(diǎn)分離在計(jì)算思維和軟件工程中的方法論意義，，由筆耕文化傳播整理發(fā)布。

關(guān)注點(diǎn)分離可追溯到柏拉圖對(duì)整體與部分關(guān)系的思考。作為基本的系統(tǒng)化計(jì)算思維原則, 關(guān)注點(diǎn)分離體現(xiàn) 在問(wèn)題求解、算法設(shè)計(jì)、軟件設(shè)計(jì)、軟件架構(gòu)描述、軟件開(kāi)發(fā)過(guò)程等諸多方面。簡(jiǎn)要?dú)w納了軟件和計(jì)算的本質(zhì)特點(diǎn); 重 點(diǎn)分析關(guān)注點(diǎn)分離作為重要的方法論原則在軟件工程中的主要作用和體現(xiàn)形式; 介紹了近期有關(guān)關(guān)注點(diǎn)高級(jí)分離的 研究, 包括關(guān)注點(diǎn)的多維分離和面向方面軟件開(kāi)發(fā); 最后闡述了關(guān)注點(diǎn)分離原則與具體問(wèn)題具體分析策略相結(jié)合

第36卷 第4期計(jì)算機(jī)科學(xué)Vol.36No.4關(guān)注點(diǎn)分離在計(jì)算思維和軟件工程中的方法論意義

何明昕

(暨南大學(xué)計(jì)算機(jī)科學(xué)系 廣州510632)

摘 要 關(guān)注點(diǎn)分離可追溯到柏拉圖對(duì)整體與部分關(guān)系的思考。作為基本的系統(tǒng)化計(jì)算思維原則,關(guān)注點(diǎn)分離體現(xiàn)在問(wèn)題求解、算法設(shè)計(jì)、軟件設(shè)計(jì)、軟件架構(gòu)描述、軟件開(kāi)發(fā)過(guò)程等諸多方面。簡(jiǎn)要?dú)w納了軟件和計(jì)算的本質(zhì)特點(diǎn);重點(diǎn)分析關(guān)注點(diǎn)分離作為重要的方法論原則在軟件工程中的主要作用和體現(xiàn)形式;介紹了近期有關(guān)關(guān)注點(diǎn)高級(jí)分離的研究,包括關(guān)注點(diǎn)的多維分離和面向方面軟件開(kāi)發(fā);最后闡述了關(guān)注點(diǎn)分離原則與具體問(wèn)題具體分析策略相結(jié)合的實(shí)踐意義。

關(guān)鍵詞 關(guān)注點(diǎn)分離,計(jì)算思維,軟件工程,方法論中圖法分類號(hào) TP301 文獻(xiàn)標(biāo)識(shí)碼 A

Separation of concernsasaMethodologicalPrincipleinComputationalThinkingandSoftwareEngineering

HEMing xin

(DepartmentofComputerScience,JinanUniversity,Guangzhou510632,China)

Abstract Theideaofseparation of concerns(SoC)canbetracedbacktoPlato'sthinkingontherelationshipbetween

theuniverseanditselements.Asafundamentalsystematicprincipleincomputationalthinking,itisincarnatedinmanyaspectssuchasproblemsolving,algorithmdesign,softwaredesign,softwarearchitecturesdocumentinganddevelopmentprocesses.Theessentialcharacteristicsofsoftwareandcomputingweresummarized.ThesignificanceandembodimentsofSoCasamethodologicalprincipleinsoftwareengineeringwereanalyzed.TherecentresearchesonadvancedSoC,in cludingmultidimensionalSoCandaspect orientedsoftwaredevelopment(AOSD)wereintroduced.Thepragmaticsig nificanceofcombiningseparation of concernsprinciplewithconcrete problem with concrete analysisstrategywerestressedtosolveacomplexproblem.

Keywords Separationofconcerns(SoC),Computationalthinking,Softwareengineering,Methodology

計(jì)等設(shè)計(jì)方法中,同時(shí)也體現(xiàn)在軟件開(kāi)發(fā)過(guò)程、軟件項(xiàng)目管理

[5]

以及軟件開(kāi)發(fā)方法學(xué)等諸多方面。在某種意義上,正是對(duì)軟件開(kāi)發(fā)不同關(guān)注點(diǎn)的分離視角和關(guān)注重點(diǎn)的差別,導(dǎo)致了軟件開(kāi)發(fā)技術(shù)和開(kāi)發(fā)方法的演變和發(fā)展[7]。

因此,從方法論角度,研究關(guān)注點(diǎn)分離在計(jì)算科學(xué)和軟件工程中的作用,對(duì)相關(guān)教學(xué)和實(shí)踐都有重要的現(xiàn)實(shí)意義。本文簡(jiǎn)要?dú)w納了軟件和計(jì)算的本質(zhì)特性;重點(diǎn)討論了關(guān)注點(diǎn)分離作為方法論原則在軟件工程中的主要作用和體現(xiàn)形式;最后介紹了近期關(guān)于關(guān)注點(diǎn)高級(jí)分離的研究,包括多維關(guān)注點(diǎn)分離[8]和面向方面軟件開(kāi)發(fā)(AOSD,Aspect OrientedSoftwareDevelopment)[9]。這些創(chuàng)新的思想涉及專門(mén)編程技術(shù)和整體開(kāi)發(fā)方法,被認(rèn)為是繼結(jié)構(gòu)化開(kāi)發(fā)范型(Paradigm)及面向?qū)ο箝_(kāi)發(fā)范型之后最重要的新的軟件開(kāi)發(fā)范型。

1 引言

關(guān)注點(diǎn)分離(SeparationofConcerns,SoC)是日常生活和生產(chǎn)中廣泛使用的解決復(fù)雜問(wèn)題的一種系統(tǒng)思維方法。大體思路是,先將復(fù)雜問(wèn)題做合理的分解,再分別仔細(xì)研究問(wèn)題的不同側(cè)面(關(guān)注點(diǎn)),最后綜合各方面的結(jié)果,合成整體的解決方案。

在概念上分割整體以使實(shí)體個(gè)體化的觀點(diǎn)可以追溯到柏拉圖[1]。柏拉圖把探究自然比作在關(guān)節(jié)處切割自然,竅門(mén)在于要找到關(guān)節(jié),不要像生疏的屠夫那樣把關(guān)節(jié)切得粉碎。莊子在!庖丁解牛 寓言中也闡釋了類似的真知灼見(jiàn)。

作為最重要的計(jì)算思維[2]原則之一,關(guān)注點(diǎn)分離是計(jì)算科學(xué)和軟件工程在長(zhǎng)期實(shí)踐中確立的一項(xiàng)方法論原則[3]。此原則在業(yè)界更多的時(shí)候以 分而治之 (Divide and Conquer)的面目出現(xiàn),即將整體看成為部分的組合體并對(duì)各部分分別加以處理[4]。模塊化(Modularity)是其中最有代表性的具體設(shè)計(jì)原則之一[2,5,6]。

關(guān)注點(diǎn)分離原則不僅體現(xiàn)在問(wèn)題求解、算法設(shè)計(jì)、軟件設(shè)

2 軟件和計(jì)算的本質(zhì)特性

軟件(系統(tǒng))作為軟件工程的產(chǎn)品,和其他工程活動(dòng)的產(chǎn)

品一樣,是一種人工制品(artifact,artificial)[10]。作為人工系統(tǒng)的軟件,有它特定的結(jié)構(gòu)(Structures),能表現(xiàn)特定的內(nèi)部

到稿日期:2008 10 30 本文得到廣東省自然科學(xué)基金(編號(hào)5006061)資助。

何明昕(1963-),男,副教授,博士研究生,主要從事軟件工程、并行分布式網(wǎng)絡(luò)計(jì)算、電子商務(wù)方面的研究,E mail:mx.he@。本文為作者在2008年全國(guó) 計(jì)算思維與計(jì)算機(jī)導(dǎo)論 專題學(xué)術(shù)研討會(huì)上所作的大會(huì)報(bào)告。

  本文關(guān)鍵詞：關(guān)注點(diǎn)分離在計(jì)算思維和軟件工程中的方法論意義，由筆耕文化傳播整理發(fā)布。