CCS

Code Composer Studio

中文譯名：代碼調式器，代碼設計套件.

分　類： DSP，嵌入式編程

解　釋： Code Composer Studio IDE 提供強健

Code Composer Studio 包含一整套用於開發和調試嵌入式應用的工具。它包含適用於每個 TI 器件系列的編譯器、源碼編輯器、項目構建環境、調試器、描述器、模擬器以及多種其它功能。CCS IDE 提供了單個用戶界面，可幫助您完成應用開發流程的每個步驟。藉助於精密的高效工具，用戶能夠利用熟悉的工具和界面快速上手並將功能添加至他們的應用。

Calculus of Communicating Systems

通信系統演算（calculus Of communicatiOn systems，CCS)英國學者R．Milner提出的用於描述通信併發系統的代數理論。

假定一個標號集L，其補集Act=L∪L∪{τ}稱為動作集，其中τ是特殊的不可見動作。CCS的進程構造運算元如下：

運算元 直觀意義

0 空進程

a.P 動作前綴（a∈Act)

P+Q 非確定選擇

P|Q 并行複合

P\S 限制（S L)

P[f) 換標號（f是從L到L的部分函數）此外還允許遞歸運算元。

CCS的語義由結構化操作語義方法給出，下面列出幾條典型的語義規則。P→Q表示進程P可執行動作a而演變為Q。

從關於并行運算元|的規則可以看出，由兩個進程并行複合而成的進程可以做每個分進程所能做的動作（PAR1）和（PAR2），但當兩個分進程同時執行一對互補的動作時，則發生通信，產生τ動作（COM）。這種通信方式稱為握手式通信。CCS的基本思想是用τ和+來模擬|，將併發歸結為非確定性，即所謂交錯語義。這一思想體現在下面的展開律中：

CCS採用互模擬作為基本的進程等價關係。強互模擬等價滿足下面的Monoid公理：

P+0=P，P+P=P，P+Q=Q+P，

(P+Q)+R=P+(Q+R)

對觀察等價（將τ忽略不計）還成立三條，—公理：

a.τ．P=a.P，

P+τ．P=τ．P，

a．（P+τ．Q)+a．Q=a．（P+τ．Q)

上面介紹的CCS稱為基本CCS，或純CCS，進程之間只能通過執行互補動作實現同步，而不能直接進行通信。全CCS引入輸出動作c<-e和輸入動作c->x，

c<-e表示沿通道c發送數據表達式e的值，c->x表示從通道c接收一個值賦給x，此外還有條件表達式if- then-else。用全CCS可以直接描述進程間的通信。