微计算机信息
微計算機信息
미계산궤신식
CONTROL & AUTOMATION
2011年
5期
243-245
,共3页
网构软件%软件演化%Pi演算%进程代数%形式化方法
網構軟件%軟件縯化%Pi縯算%進程代數%形式化方法
망구연건%연건연화%Pi연산%진정대수%형식화방법
如何在开放的Internet环境下实现各种异构资源的共享与集成,已经成为计算机技术面临的重大挑战,并由此提出了网构软件(Internetware)这一新的概念.网构软件是指在Internet环境下,采用构件技术,自底向上集成各种网络资源的一种新的软件形态.对于网构软件这一新型软件形态的研究目前还处于起步阶段,特别在网构件软件的组装与演化方面缺乏形式化理论基础的支持,这严重制约了网构软件的发展与应用.鉴于此,我们在仔细分析网构软件的特点与Pi演算的功能与性质的基础上,提出了一种基于Pi演算的网构软件组装与演化框架,对网构软件的组装与演化过程进行形式化分析.
如何在開放的Internet環境下實現各種異構資源的共享與集成,已經成為計算機技術麵臨的重大挑戰,併由此提齣瞭網構軟件(Internetware)這一新的概唸.網構軟件是指在Internet環境下,採用構件技術,自底嚮上集成各種網絡資源的一種新的軟件形態.對于網構軟件這一新型軟件形態的研究目前還處于起步階段,特彆在網構件軟件的組裝與縯化方麵缺乏形式化理論基礎的支持,這嚴重製約瞭網構軟件的髮展與應用.鑒于此,我們在仔細分析網構軟件的特點與Pi縯算的功能與性質的基礎上,提齣瞭一種基于Pi縯算的網構軟件組裝與縯化框架,對網構軟件的組裝與縯化過程進行形式化分析.
여하재개방적Internet배경하실현각충이구자원적공향여집성,이경성위계산궤기술면림적중대도전,병유차제출료망구연건(Internetware)저일신적개념.망구연건시지재Internet배경하,채용구건기술,자저향상집성각충망락자원적일충신적연건형태.대우망구연건저일신형연건형태적연구목전환처우기보계단,특별재망구건연건적조장여연화방면결핍형식화이론기출적지지,저엄중제약료망구연건적발전여응용.감우차,아문재자세분석망구연건적특점여Pi연산적공능여성질적기출상,제출료일충기우Pi연산적망구연건조장여연화광가,대망구연건적조장여연화과정진행형식화분석.
