《動態軟體體系結構建模技術研究》是依託復旦大學,由趙文耘擔任項目負責人的面上項目。
基本介紹
- 中文名:動態軟體體系結構建模技術研究
- 依託單位:復旦大學
- 項目類別:面上項目
- 項目負責人:趙文耘
- 批准號:60473061
- 申請代碼:F0203
- 負責人職稱:教授
- 研究期限:2005-01-01 至 2007-12-31
- 支持經費:23(萬元)
《動態軟體體系結構建模技術研究》是依託復旦大學,由趙文耘擔任項目負責人的面上項目。
《動態軟體體系結構建模技術研究》是依託復旦大學,由趙文耘擔任項目負責人的面上項目。項目摘要基於構件的軟體開發(CBSD)方法是當前軟體開發技術中的研究熱點,其中軟體體系結構的研究及套用還存在著較多的難點。本研究針對當前軟...
它本身成為現代軟體工程環境中對象分析和設計的重要工具,被視為面向對象技術的重要成果之一。建模技術 UML提供了多種圖形可視化描述模型元素,同一個模型元素可能會出現在多個圖中對應多個圖形元素,人們可以從多個視圖來考察模型。組成部分 UML建模技術主要分為結構建模、動態建模和模型管理建模3個方面:第1個方面是從...
體系結構建模 (architecture modeling)是2018年公布的計算機科學技術名詞。體系結構建模與分析系統軟體是針對工行業開發的體系建模工具,具有自主智慧財產權,是純中文軟體,系統組成與配置合理、操作界面清晰、人機界面友好,使用方便。定義 使用體系結構建模符號建立軟體體系結構模型的過程。體系建模系統軟體包括以下內容和功能...
《網構軟體體系結構建模與檢測的方法和技術研究》是依託北方工業大學,由趙會群擔任項目負責人的面上項目。項目摘要 運用代數學理論研究網構軟體體系結構的建模方法。在把網構連線解釋成網構運算、根據網構連線特性對網構運算進行分類、嚴格證明網構運算的代數性質之後,提出網構軟體體系結構的代數模型。在代數模型基礎上...
DEC, DataException Control Center)來統一定義數據、管理數據和提供 數據服務,通過數據套用單元(DAUs, Data Application Units)對各種套用進行管理和服務,建立一種數據大平台與碎片化套用的數據生態系統,構建起從數據保護到授權套用的整套機制,為有效解決大數據時代所面臨軟體體系結構的問題提供基礎理論和方法技術支撐...
動態企業建模技術是在企業計算機管理信息系統研究開發多年成果基礎上發展起來的,具有能夠消除ERP軟體與企業管理“捆綁” 的功能(如同開放的計算機軟體系統與計算機硬體環境間的分離) , 可支持企業的管理結構和流程靈活地緊跟瞬息萬變的市場發展和不斷改變, 有助於動態實現企業重整過程[1]。動態企業建模技術的提出就是...
《軟體體系結構的方法及實現技術探究》是2015年中國水利水電出版社出版的圖書,作者是劉興明、王翠娥 。內容簡介 本書主要介紹軟體體系結構的理論基礎、研究內容、當前現狀,通過本書讀者可以了解軟體體系結構的基本概念、風格、描述方法、設計方法、評估方法與集成開發環境,以及特定領域的軟體體系結構和主流軟體體系結構等...
《基於多層網路理論的軟體系統結構分析和行為建模研究》是依託西安交通大學,由屈宇擔任項目負責人的青年科學基金項目。中文摘要 當前軟體系統規模日益增大,開發和維護成本急劇上升,對軟體結構評測、運行時監控的需求日益強烈。近年來,研究者將複雜網路理論套用於軟體系統分析和建模中,取得了顯著進展,但仍存在尚未解決的...
《軟體體系結構及實例分析》是2004年科學出版社出版的圖書,作者是余雪麗。主要介紹了軟體體系結構的基本概念和一些實例分析。內容簡介 本書共三篇12章,第1~4章構成基礎篇,重點介紹軟體體系結構的基本概念和基本原理,明確提出軟體體系結構的動態性和適應性的理念。第5~9章構成套用篇,從身邊的實例出發,以理論為...
《軟體體系結構(第2版)》是2006年11月清華大學出版社出版的圖書,作者是張友生。內容簡介 該書系統地介紹軟體體系結構的基本原理、方法和實踐,全面反映軟體體系結構研究和套用的最新進展。既討論軟體體系結構的基本理論知識,又介紹軟體體系結構的設計和工業界面套用實例,強調理論與實踐相結合。該書共10章,第1章...
第3章軟體體系結構風格的套用與分析83 3.1SMCSP簡介83 3.1.1項目背景83 3.1.2技術路線85 3.1.3功能設計86 3.2系統實現90 3.2.1模式選擇90 3.2.2互動機制95 3.2.3移動協同的實現98 3.2.4基於知識庫的設計105 小結109 第4章軟體體系結構描述110 4.1軟體體系結構建模概述110 4.1.1軟體體系結構...
《基於設計決策的軟體體系結構演化關鍵技術研究》是依託復旦大學,由吳毅堅擔任項目負責人的青年科學基金項目。項目摘要 軟體體系結構作為軟體產品的高層次抽象設計,其演化過程在軟體系統演化中處於中心地位。在軟體體系結構的演化過程中,各層次的需求如何參與和引導演化、如何提煉、描述和管理可復用的歷史設計決策、如何支持...
重點研究模型確認新技術的整體思路和以下若干關鍵技術:快速運行模型的建模方法;典型子結構(含複雜連線結構)的建模及其物理參數識別;回響特徵抽取和模型確認度量準則研究;不確定性分析和回響預報精度評估;並結合工程項目,以先進工程有限元軟體為工具,進行軟體實現。通過本項目研究,進一步提高有限元計算仿真的套用水平,...
因而構建的軟體系統很難支持業務流程的變化要求。 基於以上的套用背景和需求,本文對多種相關技術進行了深入的研究,認為應從改進信息系統的軟體體系結構入手,將流程相關性語義從業務邏輯中抽取出來,作為軟體結構中的一個重要元素加以描述和建模,並從需求分析到系統設計一直保持業務流程的獨立性,才能解決業務流程所面臨...
複雜系統仿真迫切需要能夠同時支持多領域分別獨立針對性建模和全系統統一集成仿真的方法。當前的主流方法是高層體系結構(HLA),而HLA僅能解決統一仿真的問題。本項目擬遵循軟體領域的生成式建模思想,綜合利用其兩大流派:模型驅動架構(MDA)和模型集成計算(MIC)的相關先進技術和規範,面向仿真研究設計複雜系統生成式...
《基於可執行模型的體系最佳化設計理論、方法和技術研究》是依託中國人民解放軍國防科技大學,由陳英武擔任項目負責人的面上項目。中文摘要 體系(System-of-System)是由運行、管理上相互獨立的多個系統為了完成某一任務而集成在一起的系統集合,對體系結構進行最佳化已成為當前體系建設所面臨的一個重要問題。本項目擬構建一...
操作三 結構化程式設計 63 操作四 教務管理信息系統詳細設計 64 任務三 編寫文檔 69 習題 70 項目五 軟體實現 71 任務一 軟體編碼 71 操作一 程式設計語言概述 73 操作二 編碼規範 76 操作三 編碼工具 77 任務二 軟體測試 77 操作一 軟體測試概念 77 操作二 軟體測試過程 85 操作三 軟體測試技術 95 習題 ...
1.1 研究的背景 1.2 研究的目的和意義 1.3 國內外研究現狀 1.4 本書的主要內容和組織結構 第2章 軟體過程及其仿真建模基礎理論 2.1 軟體過程技術 2.2 小組軟體過程TSP 2.3 仿真建模方法和技術 2.4 軟體過程建模仿真 2.5 本章小結 第3章 基於多範例推理的仿真建模方法 3.1 基於範例推理概述 3.2 ...
並研究了SOADL-EH中各種語言成份的基於著色Petri網的形式化語義,以及基於Petri網狀態空間分析技術的體系結構設計階段的異常處理的形式化驗證方法。項目成果可用於構造具有異常處理機制的面向服務軟體體系結構的設計模型,在體系結構設計階段保障面向服務軟體的可用性和可信性,具有學術意義和套用價值。
Internet環境下複雜軟體系統的構建依賴於各自治的軟體實體之間的有效協同,可以使用過程感知系統將這些軟體實體編制和編排在協同過程中,該協同過程可以看成該複雜軟體系統的協同模型。對於這類複雜軟體系統的建模,一般採用自底向上建模方法,(1)首先,需要研究一種新的建模技術:能夠同時刻畫系統環境的行為和軟體實體的...
1.2.2軟體體系結構的重要性 1.3軟體重用 1.3.1軟體重用概述 1.3.2軟體重用的類型 1.3.3軟體重用的特點 1.4軟體構件 1.4.1構件的分類 1.4.2構件識別技術 1.4.3構件的檢索、匹配與獲取 1.4.4構件模型與基於構件的軟體開發 第2章軟體體系結構建模 2.1軟體體系結構建模概述 2.2軟體體系結構建模語言...
在對構件技術的相關概念、三大主流構件技術進行分析之後,總結了幾種較為經典的構件描述模型和構件檢索方法。隨後介紹運用軟體體系結構進行構件組裝的方法。第三篇分為5章,在對FPA方法以及其他的軟體規模度量方法進行詳細介紹的前提下,對FPA的不足提出了改進。第四篇分為5章,介紹了軟體性能抗衰方面的相關研究內容。...
9.1設計模式與體系結構描述 9.2設計模式的主要作用 9.3常用設計模式解析 9.3.1創建型設計模式 9.3.2結構型設計模式 9.3.3行為型設計模式 9.4深入認識設計模式 9.5小結 9.6思考題 第10章Web服務體系結構 10.1Web服務概述 10.2Web服務體系結構模型 10.3Web服務的核心技術 10.4面向服務軟體體系結構 10...
遺傳規劃在離散動態系統建模中的套用,就是要解決離散動態系統的結構與關聯函式的建模。系統描述 設一個動態系統由n個有關聯的狀態變數所描述,在離散時間步上對該系統進行觀測,從0-t時間步上的觀測數據為:其中,狀態變數間的關聯關係可以表示為如下動態方程組,xi(t)表示第i個狀態變數在t時間步上的狀態值。記 ...
第一節 研究背景 第二節 研究動因 第三節 擬提出的應對之道 第四節 研究意義和創新點 第五節 全書組織結構及其內部關係 第二章 相關研究綜述 第一節 軟體演化綜述 第二節 軟體需求建模綜述 第三節 軟體體系結構綜述 第四節 進程代數 第五節 Petri網 第六節 綜述小結 第三章 面向動態演化的需求建模 第...
出現了許多著名的分析軟體如Nastran、I-DEAS、ANSYS、ADIND、SAP系列、DYNA3D、ABAQUS等。軟體的開發主要集中在計算精度、速度及硬體平台的匹配,使用者多數為專家且集中在航空、航天、軍事等幾個領域。從軟體結構和技術來說,這些CAE軟體基本上是用結構化軟體設計方法,採用FORTRAN語言開發的結構化軟體,其數據管理技術...