【文章內(nèi)容簡介】 數(shù)據(jù)交換的程序設(shè)計環(huán)境。 詞典模式　定義了數(shù)據(jù)詞典,它存儲著由SDAI所操作的實例的模式信息,包括類型定義、實體定義和數(shù)據(jù)定義的有關(guān)信息。 會話模式　提供對SDAI會話管理的結(jié)構(gòu)。它定義會話、訪問方式及會話事件?；跁捘Ｊ降腟DAI模型中的實體實例描述了一個SDAI會話的當(dāng)前狀態(tài)。SDAI會話模式中所申明的項應(yīng)該都集居于用接口規(guī)范引用的SDAI詞典中。SDAI會話模式的內(nèi)容有類型定義(訪問類?禿褪迪擲嘈?及實體定義,實體定義包括SDAI會話、實現(xiàn)、SDAI存儲倉、存儲倉內(nèi)容、事務(wù)、SDAI事件、事件及錯誤事件。 集居模式　提供管理和創(chuàng)建Express實體實例的結(jié)構(gòu)。該模式定義了SDAI模型和模式實例。通過SDAI會話模式接口,當(dāng)該模式中所有的項集居于SDAI詞典模式時,都被分解進入SDAI會話模式中。SDAI集成模式只有實體定義,包括模式實例、SDAI模型、模型內(nèi)容、實體范圍及作用域等。 抽象數(shù)據(jù)類型模式　提供通過SDAI操作的數(shù)據(jù)的一般描述。該描述連同SDAI操作一起定義了數(shù)據(jù)的習(xí)性。SDAI抽象數(shù)據(jù)類型模式不需要SDAI服務(wù)實現(xiàn),而它的存在本身支?侄許DAI操作的描述和其中存在實例的SDAI環(huán)境的定義,具體實現(xiàn)是通過引用SDAI模型的實體定義。該模式假定軟件系統(tǒng)提供整數(shù)、實數(shù)、字符、二進制位以及其它邏輯數(shù)據(jù)類型的表示。類型定義包括對基本數(shù)據(jù)、字串值、二進制值、整數(shù)值、實數(shù)值、數(shù)值值、布爾值及邏輯值等的定義。實體定義包括對迭代算符、實體實例、應(yīng)用實例、SDAI實例、詞典實例、會話實例、屬性值、選擇值、枚舉值、聚合實例、無序集合、集實例、數(shù)袋實例、列表實例和數(shù)組實例等的定義。 數(shù)據(jù)類型模式　描述通過SDAI操作可管理的實體數(shù)據(jù)類型之間的繼承關(guān)系。這些關(guān)系用于對該模式實體數(shù)據(jù)類型的操縱實例中可用的操作分類。對于作為SDAI操作的參數(shù)或返回值使用的實體實例類型,這種分類也要求其所有SDAI實現(xiàn)的具體習(xí)性。 SDAI的語言聯(lián)編應(yīng)該為這些實體提供數(shù)據(jù)類型,相當(dāng)于語言實現(xiàn)了在該模式中定義的繼承關(guān)系。在語言聯(lián)編中,代表具體應(yīng)用實例的類型應(yīng)該是SDAI中每個應(yīng)用實體的祖先。代表實體詞典實例的類型應(yīng)該是詞典模式中每個實體的祖先。代表實體會話實例的類型應(yīng)該是會話模式中每個實體的祖先。 SDAI數(shù)據(jù)類型模式唯一的目的是定義允許語言聯(lián)編的各種實體數(shù)據(jù)類型之間的繼承關(guān)系,并在對SDAI操作的行為規(guī)范中使用這些關(guān)系。 該繼承關(guān)系在用于任何應(yīng)用模式的SDAI詞典模式的集居中不應(yīng)該出現(xiàn),也不應(yīng)出現(xiàn)在SDAI詞典模式或SDAI會話模式中。 SDAI數(shù)據(jù)類型模式有實體定義,其中定義了實體實例、應(yīng)用實例、SDAI實例、詞典實例、會話實例。 五、SDAI操作 SDAI操作應(yīng)該是在語言聯(lián)編中定義的。這里介紹在語言聯(lián)編中SDAI操作的一些最基本的功能。 一個特定的SDAI操作能以某種聯(lián)編映射成一個或多個函數(shù),這些函數(shù)可以有一個或多個隱式傳遞的輸入、輸出或錯誤參數(shù)。 在SDAI操作中,實體實例的操作可以應(yīng)用在SDAI中定義的任一實體數(shù)據(jù)類型的所有實例或?qū)DAI可用的應(yīng)用模式的所有實例,而應(yīng)用實例操作只能應(yīng)用在SDAI可用的應(yīng)用模式中定義的實體數(shù)據(jù)類型的所有實例。當(dāng)一個操作需要訪問在當(dāng)前會話中未打開的SDAI模型中的一個實體實例時,對該SDAI模型的只讀訪問應(yīng)該自動啟動,且如果需要的話,包含SDAI模型的存儲倉也應(yīng)自動打開。當(dāng)一個操作因不成功而終止時,輸入?yún)?shù)的值應(yīng)該不變,而對輸出參數(shù)的影響依賴于實現(xiàn),這樣,當(dāng)出現(xiàn)錯誤時,應(yīng)用會忽略輸出參數(shù)。 SDAI的操作只能在確定的不同狀態(tài)中進行。其中有會話狀態(tài)、存儲倉狀態(tài)、讀寫事務(wù)狀態(tài)、只讀事務(wù)狀態(tài)、只讀SDAI模型狀態(tài)和讀寫SDAI模型狀態(tài)。狀態(tài)之間會由于某些操作而引起狀態(tài)過渡,即從一個狀態(tài)變到另一個狀態(tài)。 SDAI操作分為以下若干類: 環(huán)境操作　包括打開會話,初始化SDAI服務(wù),記錄會話事件。 會話操作　包括啟動和停止SDAI會話的事件記錄,打開存儲倉,啟動事務(wù)的只讀或讀寫訪問及交付或夭折,結(jié)束事務(wù)訪問、交付和夭折,SDAI查詢,關(guān)閉會話等。 模式實例操作　包249。唇234。蛻境Ｊ絞道?增加和取消SDAI模型,確認全局規(guī)則和唯一性規(guī)則,確認實例引用域等。 存儲倉操作　包括創(chuàng)建SDAI模型,關(guān)閉存儲倉。 SDAI模型操作　包括刪除或重命名SDAI模型,啟動和結(jié)束只讀訪問,升級SDAI模型為讀寫訪問,啟動和結(jié)束讀寫方式,取得實體定義,創(chuàng)建實體實例,保存變化和反做等操作。 作用域操作　包括增加、取得和測試作用域,把應(yīng)用實例添入、移出輸入列表或作用域,刪除作用域,復(fù)制同一或不同的SDAI模型中的作用域,確認作用域引用的限制等。 類型操作　包括取得復(fù)雜實體,確定子類型、SDAI子類型以及是否可互操作等。 實體實例操作　包括取得和測試屬性,尋找包含實體實例的SDAI模型,取得實例類型,測試確定實例、類型種類、SDAI的類型種類等。 應(yīng)用實例操作　在同一個或向其它的SDAI模型復(fù)制及刪除應(yīng)用實例,設(shè)置屬性,創(chuàng)建聚合實例,確認檢驗規(guī)則、顯式屬性、反相屬性、顯式屬性引用、聚合大小、聚合的唯一性、數(shù)組不稀疏、實數(shù)精度及串和二進制位的長度等。 實體實例聚合操作　包括取得成員的計數(shù),測試是否是聚合成員,創(chuàng)建和刪除迭代算符,取得當(dāng)前的成員,對迭代算符定位在開頭或下一個等操作。 應(yīng)用實例聚合操作　包括通過迭代算符創(chuàng)建嵌套的聚合實例,設(shè)置和移去當(dāng)前的聚合成員等。 應(yīng)用實例無序的集合操作　包括對集合增加值,創(chuàng)建嵌套的聚合實例。 實體實例有序的集合操作　按索引取得集合元素,對迭代算符在集合中的定位進行操作。 應(yīng)用實體有序的集合操作　包括按索引設(shè)置集合元素,按索引創(chuàng)建嵌套的聚合實例。 實體實例數(shù)組操作　包括按索引測試值和迭代算符測試值。 應(yīng)用實例數(shù)組操作　按索引和用迭代算符的不設(shè)置值操作。 應(yīng)用實例列表操作　用迭代算符在引用的列表成員之前或之后插入新成員,以及在列表的頭和尾增加成員。 SDAI操作約有17類近百個操作,它能滿足實現(xiàn)數(shù)據(jù)交換的全部操作要求。 三、企業(yè)應(yīng)用系統(tǒng)的體系結(jié)構(gòu) CIM一詞最早在1979年由美國Joseph Harrington博士提出的。直到80年代初,這一術(shù)語才被人們廣泛接受。美國制造工程師學(xué)會的計算機和自動化系統(tǒng)(CASA/SME)首先使用了計算機集成制造系統(tǒng)(CIMS)這個術(shù)語。但目前對于CIM和CIMS尚沒有一個確切的且被普遍接受的定義。比較流行的一種說法為:CIM是指使工廠集成生產(chǎn)自動化。在這樣的工廠中,每個生產(chǎn)過程都在計算機控制下完成,并且每個過程之間僅有數(shù)字化信息相互聯(lián)系。CIMS是一個閉合回路的反饋系統(tǒng),它的主要輸入是產(chǎn)品需求概念,主要輸出是完全裝配的、檢測合格的、可以使用的成品。 目前,大多數(shù)人認為CIMS定義中應(yīng)包含下列要素: CIMS適用于各種中、小批量的離散生產(chǎn)過程的制定工廠。 該系統(tǒng)應(yīng)將制造工廠的生產(chǎn)經(jīng)營活動都納入到多模式、多層次、人機交互的自動化系統(tǒng)之中。 CIMS是多個自動化子系統(tǒng)的有機集成。 該系統(tǒng)的目的是提高經(jīng)濟效益、提高柔性、追求動態(tài)總體優(yōu)化。 對于CIM的概念,有兩種觀點: 企業(yè)的各個