代理人導向編程

代理人導向編程（英語：Agent-oriented programming，縮寫為 AOP），一種編程典範，它的觀點主要集中於軟體代理人（Software agent）之上。

基本介紹

• 中文名：代理人導向編程
• 外文名：Agent-oriented programming
• 縮寫：AOP
• 領域：計算機

簡介

它是由面向對象編程所發展出來。相對於面向對象編程以對象為主，面向代理編程則是以代理人為核心。代理人可以被視為是對象的進一步抽象化。

編程範式

基於組件的軟體工程

基於組件的軟體工程（Component-based software engineering，簡稱CBSE）或基於組件的開發（Component-Based Development，簡稱CBD）是一種軟體開發范型。它是現今軟體復用理論實用化的研究熱點，在組件對象模型的支持下，通過復用已有的構件，軟體開發者可以“即插即用”地快速構造套用軟體。這樣不僅可以節省時間和經費，提高工作效率，而且可以產生更加規範、更加可靠的套用軟體。

並發計算

並發計算（英語：Concurrent computing，或譯為並發處理、共時計算），是一種程式計算的形式，在系統中，至少有兩個以上的計算在同時運作，計算結果可能同時發生。用來實現並發系統（Concurrent system）的程式語言與各種算法，統稱為並發計算。

並發程式通常被設計為互動式的運算過程，因為它的運算過程是不確定的，在設計上的難度較高。設計並發程式最大的挑戰，在於確保不同運算運行步驟間的互動或是通信，能以正確的順序進行，同時，也要確保在不同運行步驟間共享的資源，能夠正確被訪問。在這個領域的先驅人物有艾茲赫爾·戴克斯特拉、東尼·霍爾與泊·派克·漢森等人。

回答集編程

回答集編程是語法上類似傳統邏輯編程而語義上密切於非單調邏輯的一種聲明式編程。在傳統邏輯編程和回答集編程之間的主要區別是如何表示否定為失敗。在傳統邏輯編程中，否定為失敗指示推導失敗；在回答集編程中，它指示一個文字的一致性。

事件驅動程式設計

事件驅動程式設計（英語：Event-driven programming）是一種電腦程式設計模型。這種模型的程式運行流程是由用戶的動作（如滑鼠的按鍵，鍵盤的按鍵動作）或者是由其他程式的訊息來決定的。相對於批處理程式設計（batch programming）而言，程式運行的流程是由程式設計師來決定。批量的程式設計在初級程式設計教學課程上是一種方式。然而，事件驅動程式設計這種設計模型是在互動程式（Interactive program）的情況下孕育而生的。

事件驅動程式可以由任何程式語言來實現，然而使用某些語言來撰寫會比其他的語言來的簡單。有些集成開發環境（簡稱IDE）也會影響實現事件驅動程式設計的難易程度。有的 IDE 會使的開發工作變的很簡單，有的則否。

命令式編程

命令式編程（英語：Imperative programming），是一種描述電腦所需作出的行為的編程典範。幾乎所有電腦的硬體工作都是命令式的；幾乎所有電腦的硬體都是設計來運行機器碼，使用命令式的風格來寫的。較高階的命令式程式語言使用變數和更複雜的語句，但仍依從相同的典範。菜譜和行動清單，雖非電腦程式，但與命令式編程有相似的風格：每步都是指令，有形的世界控制情況。因為命令式編程的基礎觀念，不但概念上比較熟悉，而且較容易具體表現於硬體，所以大部分的程式語言都是命令式的。

聲明式編程

聲明式編程（英語：Declarative programming）是一種編程範式，與命令式編程相對立。它描述目標的性質，讓電腦明白目標，而非流程。聲明式編程不用告訴計算機問題領域，從而避免隨之而來的副作用。而命令式編程則需要用算法來明確的指出每一步該怎么做。

聲明式編程通常被看做是形式邏輯的理論，把計算看做推導。聲明式編程因大幅簡化了並行計算的編寫難度，自2009起備受關注。

聲明式語言包括資料庫查詢語言（SQL，XQuery），正則表達式，邏輯編程，函式式編程和組態管理系統。

聲明式編程透過函式、推論規則或項重寫（term-rewriting）規則，來描述變數之間的關係。它的語言運行器（編譯器或解釋器）採用了一個固定的算法，以從這些關係產生結果。

聲明式程式語言通常用作解決人工智慧和約束滿足問題。