Java程序部分求值描述語言及其應(yīng)用框架.pdf

1、部分求值技術(shù)是解決程序通用性和專用性之間矛盾的一種有效手段.根據(jù)程序的輸入,自動判斷輸入的性質(zhì),提取出程序其中經(jīng)常重復(fù)執(zhí)行、并具有相同結(jié)果的部分,把通用程序轉(zhuǎn)換成具備一定程度上的專用程序,從而緩解該矛盾.對于經(jīng)過部分求值處理之后的Java程序,盡管在執(zhí)行效率上得到了改善,并且計算結(jié)果與原始Java程序的計算結(jié)果完全一致,但程序之間的接口卻發(fā)生了顯著的改變.在部分求值處理過程中,需要向部分求值器傳遞原始程序的參數(shù)動靜狀態(tài)信息,以便部分求值

2、器判斷原始程序中每個變量和表達式的狀態(tài),并決定處理這些變量和表達式的方式.為了方便部分求值這種軟件自動化技術(shù)的應(yīng)用,該文提出了一種面向Java語言的部分求值的描述語言,以及應(yīng)用模型,并實現(xiàn)了相應(yīng)的應(yīng)用框架自動生成系統(tǒng).鑒于Java程序的多樣性,JPESL描述語言必須能夠描述部分求值器處理各種Java應(yīng)用時所需的信息,以便部分求值器進行部分求值處 理.為此,除了提供描述通用信息的語法規(guī)則之外,JPESL描述語言還提供了描述RMI應(yīng)用和Ap