基于交互的軟件模型研究

摘 要： 從Peter Wegner的交互計算理論出發(fā)，將軟件中的交互與計算進行分離，提出了基于交互的軟件模型。對交互單元、無交互構(gòu)件、交互運行支撐環(huán)境以及基于交互的軟件模型進行了詳細敘述，并提出軟件的開發(fā)過程可以劃分為交互設(shè)計和無交互構(gòu)件生產(chǎn)兩個獨立的階段，無交互構(gòu)件的復用是軟件復用的重要方式，基于交互的軟件將形成不同于C/S，B/S的網(wǎng)構(gòu)軟件體系結(jié)構(gòu)。

關(guān)鍵詞： 交互計算； 交互模型； 交互運行支撐環(huán)境； 網(wǎng)構(gòu)軟件

中圖分類號： TN711?34 文獻標識碼： A 文章編號： 1004?373X（2016）15?0119?04

Abstract： Proceeding from the interaction computing theory proposed by Peter Wegner， the software model based on inte?raction is proposed by separating the interaction and computation from software. The software model based on interaction， inte?raction unit， no?interaction component and interaction run?time infrastructure are described in detail. It is pointed that the software development process can be divided into two independent stages of interaction design and no?interaction component production， the multiplex of the no?interaction component is an important method of software multiplex， and the software based on interaction can form the internetware architecture different from C/S and B/S.

Keywords： interaction computing； interaction model； interaction run?time infrastructure； internetware

1 交互計算模型

長期以來，人們對軟件的認識一直處于探索過程中，傳統(tǒng)的圖靈機可計算理論認為，“可計算”意味著首先能夠把問題形式化，并設(shè)計一個復雜度合理的算法[1]。

1.1 圖靈機與可計算

圖靈機（Turing Machines）是為了研究可計算問題而構(gòu)思的一個理論裝置，它實現(xiàn)了人類對計算本質(zhì)的真正認識，是計算機科學中可計算性理論和計算復雜性理論的基礎(chǔ)。

圖靈機可以定義為五元組：[TM=（S，Σ，Δ，S0，SF），]其中[S]是狀態(tài)集；[S0]是初始狀態(tài)；[Σ]是輸入字符集；[Δ]是狀態(tài)轉(zhuǎn)換關(guān)系。一個圖靈機有一個工作帶完成輸入輸出，工作帶的左右兩端可以無限延長。圖靈機工作時從工作帶上讀入字符，然后根據(jù)轉(zhuǎn)換規(guī)則[Δ]確定輸出字符、下一狀態(tài)和下一動作（右移、左移），輸出字符被寫到工作帶上，然后執(zhí)行動作繼續(xù)計算，直到最終狀態(tài)，最后工作帶上的內(nèi)容就是輸出。

1.2 交互計算理論

Peter Wegner在算法和圖靈機理論研究的基礎(chǔ)上提出了交互計算模型[2?3]?！?br>