模型驅(qū)動(dòng)軟件開發(fā)

前言

建模是一種關(guān)鍵的工程工具。在分析和設(shè)計(jì)復(fù)雜系統(tǒng)的時(shí)候，工程師們通常要?jiǎng)?chuàng)建模型。模型是對(duì)一個(gè)系統(tǒng)及其環(huán)境的一種抽象。模型允許工程師們有效地表達(dá)自己對(duì)系統(tǒng)的關(guān)注，例如回答特定的問題或者對(duì)設(shè)計(jì)做出必要的修改。每個(gè)模型的創(chuàng)建都是有目的的。特定的模型也許適合解答一類特定的問題。在這種情況下，對(duì)于模型和實(shí)際系統(tǒng)而言，這類問題的答案都是一樣的。然而，這個(gè)特定的模型卻不一定適合解答其他類問題。構(gòu)造模型也比搭建實(shí)際系統(tǒng)花費(fèi)少。例如，為了檢查結(jié)構(gòu)的安全性，國(guó)內(nèi)的工程師們建造了靜態(tài)和動(dòng)態(tài)的橋梁結(jié)構(gòu)模型。這是因?yàn)榕c建造真實(shí)的橋梁相比，用建模的方法觀察橋梁在何種情況下倒塌的確花費(fèi)更少且更加有效。在軟件開發(fā)中，模型由來已久。在過去的幾十年中，軟件行業(yè)內(nèi)出現(xiàn)了許多分析和設(shè)計(jì)方法。每一種方法都有自己的建模方法和表示法。近年來，統(tǒng)一建模語言（Unified Modeling Language，UML）得到了顯著的發(fā)展。現(xiàn)在，UML對(duì)市場(chǎng)的滲入程度要大于以前任何一種建模表示法的滲入程度。盡管如此，分析和設(shè)計(jì)模型很少能和代碼具有相同的地位。絕大多數(shù)軟件項(xiàng)目的現(xiàn)實(shí)使模型并不會(huì)隨代碼的更新而實(shí)時(shí)更新，因此它們會(huì)隨時(shí)間的過去而被廢棄并失去價(jià)值。模型驅(qū)動(dòng)軟件開發(fā)（Model-Driven Software Development，MDSD）將分析和設(shè)計(jì)模型與代碼同等對(duì)待。將該模型和代碼更好地集成起來可以通過模型來大大增加有效改進(jìn)的機(jī)會(huì)，而不僅僅是直接修改代碼。MDSD涉及到許多不同的技術(shù)，這些技術(shù)貫穿了整個(gè)軟件開發(fā)過程，包括模型驅(qū)動(dòng)需求工程、模型驅(qū)動(dòng)設(shè)計(jì)、通過模型生成代碼、模型驅(qū)動(dòng)測(cè)試及模型驅(qū)動(dòng)軟件演變等。對(duì)象管理組（Object Management Group，OMG）首次提出的模型驅(qū)動(dòng)體系結(jié)構(gòu)（Model-Driven Architecture，MDA）使人們對(duì)軟件建模和模型驅(qū)動(dòng)技術(shù)越來越感興趣。然而，這種概念的提出有利有弊。在積極的方面，值得高興的是，建模已經(jīng)引起了人們的很大興趣，并且各個(gè)組織正在嘗試使用模型驅(qū)動(dòng)技術(shù)改進(jìn)自己目前的實(shí)踐。與此同時(shí)，圍繞MDA的大肆市場(chǎng)宣傳傾向于產(chǎn)生一些不切實(shí)際的期望。不考慮這些宣傳，的確可以認(rèn)為MDSD提供了很多思想，其中許多思想可以用在現(xiàn)今的實(shí)際情況中。認(rèn)識(shí)到這些潛在的發(fā)展趨勢(shì)需要深刻地理解目前的MDSD技術(shù)、其適用性及其局限性。本書的作者站在MDSD研究和實(shí)踐的前沿。在一些OOPSLA會(huì)議上，Markus和Jorn曾經(jīng)組織并參與了一系列MDSD工作室。Simon參與了OMG對(duì)模型變換的標(biāo)準(zhǔn)化。所有的作者都在若干領(lǐng)域內(nèi)倡導(dǎo)將這項(xiàng)技術(shù)用于實(shí)踐，涉及的領(lǐng)域涵蓋了諸如b+m、Siemens和BMW等小型公司和大型公司的企業(yè)應(yīng)用和嵌入式軟件。

內(nèi)容概要

Markus Völter　　模型驅(qū)動(dòng)的軟件開發(fā)(MDSD)是當(dāng)前受到開發(fā)人員和研究人員高度關(guān)注的開發(fā)范型。隨著OMG的MDA 和Microsoft的Software Factories的出現(xiàn)，MDSD方法已經(jīng)越來越受到程序員的關(guān)注，并且成為一些國(guó)際協(xié)會(huì)(例如OOPSLA、JAOO和OOP)的重點(diǎn)討論議題?！　DSD使用域特定語言創(chuàng)建模型，這種模型以有效的、域特定方式表達(dá)應(yīng)用程序結(jié)構(gòu)或行為。通過一系列模型轉(zhuǎn)換過程，這些模型隨后被轉(zhuǎn)換為可執(zhí)行的代碼。本書是一本面向軟件架構(gòu)師和開發(fā)人員的實(shí)踐指南，包括了大量實(shí)踐范例和豐富的案例研究。

作者簡(jiǎn)介

Thomas Stah是b+m informatik AG的首席架構(gòu)師，主要研究模型驅(qū)動(dòng)的軟件開發(fā)，并且是這方面的專家，具有廣泛的實(shí)踐經(jīng)驗(yàn)。

書籍目錄

第Ⅰ部分  導(dǎo)論　第1章  緒論	　第2章  MDSD的基本思想和術(shù)語	　第3章  一個(gè)典型的Web應(yīng)用　第4章  概念形成	　第5章  分類	第Ⅱ部分  域體系結(jié)構(gòu)　第6章  元建模	　第7章  可以使用MDSD的目標(biāo)體系結(jié)構(gòu)	　第8章  構(gòu)建域體系結(jié)構(gòu)	　第9章  代碼生成技術(shù)	　第10章  使用QVT進(jìn)行模型轉(zhuǎn)換	　第11章  MDSD工具：角色、體系結(jié)構(gòu)、選擇標(biāo)準(zhǔn)和指南	　第12章  MDA標(biāo)準(zhǔn)	第Ⅲ部分  過程和工程　第13章  MDSD過程構(gòu)件和最佳實(shí)踐	　第14章  測(cè)試	　第15章  版本化	　第16章  案例研究：嵌入式的組件基礎(chǔ)結(jié)構(gòu)	　第17章  案例研究：企業(yè)系統(tǒng)	第Ⅳ部分  管    理　第18章  決策支持	　第19章  組織方面	　第20章  MDSD的改進(jìn)策略	附錄A  模型轉(zhuǎn)換代碼

章節(jié)摘錄

插圖：一個(gè)組件可能有許多配置形參——與控制臺(tái)應(yīng)用程序中命令行的實(shí)參相當(dāng)——用于配置組件的行為。形參和它們的類型是在類型模型中被定義的，隨后指定形參的數(shù)值，例如在組合或者系統(tǒng)模型中。有人可能會(huì)問組件是無狀態(tài)的還是有狀態(tài)的，它們是否是線程安全的以及它們的生命周期是怎樣的（例如，它們是被動(dòng)的還是主動(dòng)的，它們是否希望被告知生命周期的事件，如激活等）。使用簡(jiǎn)單的同步通信并不總是充分的。各種異步通信模式中的某種模式，如在[VKZ04]中描述的，可能也是可以應(yīng)用的。因?yàn)槭褂眠@些模式會(huì)影響組件的API，因此必須在類型模型中標(biāo)明要使用的模式，如圖7.13所示。

編輯推薦

《模型驅(qū)動(dòng)軟件開發(fā):技術(shù)、工程與管理》特色：·全面介紹了MDSD，以及它如何與一些行業(yè)標(biāo)準(zhǔn)關(guān)聯(lián)，例如MDA和Software Factorles?！りP(guān)于元建模、DSL一構(gòu)造、模型之間以及模型和代碼之間的轉(zhuǎn)換、軟件體系結(jié)構(gòu)方面的技術(shù)細(xì)節(jié)·深入了解軟件開發(fā)過程以及一些工程問題（例如版本化、測(cè)試和產(chǎn)品線工程）·涉及經(jīng)濟(jì)和企業(yè)主題的基本管理知識(shí)(從全局的觀點(diǎn)進(jìn)行介紹）

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

    模型驅(qū)動(dòng)軟件開發(fā) PDF格式下載

---