没有合适的资源?快使用搜索试试~ 我知道了~
可信医疗系统的模型驱动设计与验证
理论计算机科学电子笔记266(2010)77-92www.elsevier.com/locate/entcs可信医疗系统的设计与验证Xijiao Xiong1 Jing Liu2,4华东师范大学上海可信计算重点实验室,上海,200062定佐华3号浙江理工大学数学计算与软件工程研究中心地址:浙江省杭州市余杭区摘要开发先进的医学信息系统是21世纪的重大挑战。 在本文中,我们构建和分析了一个可信的医疗系统的对象系统(rCOS)的精化演算模型驱动的开发过程。该方法大大提高了复杂系统的可靠性和效率。这意味着在rCOS中开发的正式技术可以集成到模型驱动的开发过程中。为了进行验证,使用了一种名为UPPAAL的工具,以确保医疗系统的安全性和正确性。研究结果为企业在系统开发过程中的设计和验证提供了一种方法。保留字:形式化方法,rCOS,UPPAAL,远程医疗1引言近年来,远程医疗技术越来越受到人们的重视,它融合了计算机技术、网络技术和通信技术。它使医疗服务更加高效和方便,从而降低了患者它也为医学专家和医生提供了一个学习和交流的平台此外,在远程医疗实践中使用可靠的医疗系统可以显著提高医疗保健的效率和质量在大1电子邮件:yuyaoxj@hotmail.com2电子邮件:jliu@sei.ecnu.edu.cn3电子邮件:zuohuading@hotmail.com4 通讯作者1571-0661 © 2010 Elsevier B. V.在CC BY-NC-ND许可下开放访问。doi:10.1016/j.entcs.2010.08.05078X. Xiong et al.理论计算机科学电子笔记266(2010)77在美国国家工程院(NAE)的挑战峰会上,先进的健康信息学被认为是21世纪工程学面临的重大挑战之一先进健康信息学的一个主要目标是开发可信赖的系统,可以为临床医生,患者和存档医学研究提供相关决策支持[11]。一个可靠有效的电子可信医疗系统(TMS)需要一个结构化和标准化的电子健康记录(EHR)和一个可靠的科学循证医学(EBM)。EHR系统用于为可信赖的医疗系统生成标准化信息。循证医学指南(EBMG)数据库[14]自1988年以来开发,包括约1000个临床指南。使用基于MDA的方法自动生成TMS指南[13]。然而,由于计算机系统的多样性和不同类型的数据记录规则,区域、国家或全球网络上的信息共享使情况变得更加复杂[11]。大多数决策支持系统,如DXplain [10]不支持EHR和TMS之间的自动数据传输Isable[6]允许用户将电子病历中预先指定字段的数据没有分析不同格式的患者记录的机制为了解决上述问题,我们的方法是首先在对象系统的精化演算(rCOS)[7]中构建模型,然后通过工具UPPAAL [9]实时验证安全属性。TMS与EHR系统一起可以集成到远程医疗系统中,为不同国家的专家、不同医院的医生等决策者提供决策支持服务。我们选择rCOS来开发TMS是因为它支持面向对象系统的静态结构和动态行为细化,并且可以通过分离关注点来有效地降低系统的复杂性rCOS是建立在一个良好的语义模型上的,它具有一个精化演算[7,15],包括一个面向对象和基于组件的设计的精确符号,因此,形式化技术,包括UPPAAL [9]等工具,可以应用于开发过程中,以确保不同方面或观点之间的一致性以及系统的正确性本文的组织结构如下。在下一节中,我们将介绍rCOS中的类模型和交互模型。在第3节中,我们提出了我们的方法来构建TMS的rCOS。在第四节中,我们用UPPAAL对系统进行了验证。最后,我们在第5节结束。2类模型和交互模型rCOS的开发是为了支持模型驱动的开发方法。它提供了多视图建模环境,并结合了面向对象和基于组件的设计和分析技术[17]。有效地降低了系统的复杂度,保证了系统的一致性和正确性。在rCOS中,组件是一个基本概念,它是合约的实现我们X. Xiong et al.理论计算机科学电子笔记266(2010)7779分别用类图描述组件的静态结构,用序列图描述合约的交互协议2.1类模型为了支持组件的面向对象设计,组件接口的字段类型可以是类,因此这些字段的值是对象。在rCOS中,一个类可以指定为以下格式[17]:classC [ extendsC]{attrT x = d,. . . ,T x =dpublic intfindDuplicate(int[]nums){前:p. . . 布吕普post:js(R;. . . ;R)C. . . R;. . . ;R)- 是的. . . . .R; . . . ;R)C. . . R; . . . ;R)}/* 方法m */public intfindDuplicate(int[]nums){. . . . . .不变投资者}2.2交互模型在rCOS中,组件接口的黑盒行为模型被定义为合约,目前只考虑并发分布式系统应用中的组件[17],合约是一个元组C =(I,Q,S,P),其中• I是一个接口,用C.IF表示,• Q是一个设计“R等待”,它将C.IF中的• S指定C.IF中的每个方法m(in; out),用C.spec表示,• P是C.IF中方法上事件的一组迹,用C.protocol表示。合约的协议描述了参与者和系统之间的交互。交互可以用UML序列图来说明,控制和同步的动态流程可以用UML状态图来表示。3可信医疗系统可信医疗系统(TMS)是一种可以集成到普通临床系统或远程医疗系统中的医疗系统。它将医学知识与个体患者数据相结合,并为医生和其他医疗保健专业人员提供患者特定的指南和提醒。在本文中,我们主要讨论了TMS的系统模型,而其他的一些细节技术,如数据转换和数据访问等,则留待以后的工作来解决。80X. Xiong et al.理论计算机科学电子笔记266(2010)773.1系统概述TMS可用于多个国家的诊所和医院。它将患者数据传输到EHR系统以生成电子表格,然后从EHR系统接收结构化的患者数据,并为最终用户提供提醒和指南链接。在EHR模式下,终端用户也可以直接选择已有的EHR进行决策除了实时使用之外,决策支持规则还可以在患者群体中运行,并提供实时决策支持服务。此外,TMS是一种独立于平台的服务,可以集成到任何包含结构化患者数据的EHR中。TMS的概述如图1所示。TMS由以下子系统组成:• 终端用户输入患者数据和接收提醒的工作站• EHR数据库,用于存储电子健康记录。• EHR生成器,用于根据工作站输入的患者数据生成相应的EHR,并将EHR发送到ScriptInterpretor。• 一个ScriptInterpretor,用于解释来自EHRGenerator的EHR,并创建脚本中使用的标准变量和对象• 存储脚本的ScriptDatabase• 一个EvidenceDatabase来存储决策支持的证据• 一个GuidelineDatabase,用于存储决策支持指南• 一个DecisionSupporter,用于从ScriptInterpretor接收脚本并将提醒返回到工作站。Fig. 1. TMS框架图2. 整个系统事实上,整个系统可以集成多个工作站,用于终端用户组和EHR数据中心网络,用于不同标准的EHR系统(见图2)。在我们的论文中,我们只考虑系统与EHR系统。X. Xiong et al.理论计算机科学电子笔记266(2010)77813.2TMS的要求需求模型可以用序列图和概念类图来描述这两个图分别描述了系统的动态特性和静态结构特性。设计过程由一组用例组成,但由于篇幅限制,我们只给出了一些典型的用例3.2.1用例UC 1:决策支持UC的场景1它描述了系统如何通过以下场景与参与者交互:1. 当医生进入决策支持面板时,启动新的决策支持。2. 医生可以选择语言,系统给出相应的界面,否则系统将显示默认界面。3. 医生选择模式病例,并在页面中输入一般数据、EHR事件、诊断、用药和实验室结果等EHR信息,否则系统给出默认模式病例。4. 系统将患者数据发送到EHR数据中心以生成EHR项。在EHR模式下,医生只需选择一个已有的EHR项目即可。然后在系统分析生成或选择的EHR项目之后,向医生提供提醒、证据和指南链接。5. 如果系统未处于EHR模式,医生可以选择保存EHR项目。完成了决策支持过程UC 1 的 模 型 用 例 由 组 件 的 提 供 接 口 的 契 约 建 模 : SupportDecision ,DSPanelIF作为其提供接口。ComponentSupp portDecision{提供接口DSPanelIF{publicintfindDuplicate();publicintfindDuplicate()出版商输入语言(intlan);publicint findDuplicate(findDuplicate);公共安全电子健康记录(intehrId);public intfindDuplicate();publicsaveEHR(EHRItem ehr);}}82X. Xiong et al.理论计算机科学电子笔记266(2010)77图三. 顺序图图4. 状态图图3中的序列图表示DSP通道IF的协议,图4中的状态图模拟了控制的动态流程此外,接口方法的功能和不变量由前置和后置条件指定,如下所示。类DSPanel实现DSPanelIF::不变量ehrDB/=null|ehrDB.catalog/=nulldsStore/=nulldsStore.evidsnull(EHRMode= true方法enableEHR()前:真post:EHRMode' = true方法disableEHR()前:真post:EHRMode方法startDS()前:真post:rem Reminder.new/* 创建提醒并初始化其证据列表和指南链接列表,并设置默认语言和模式大小写 */梅特霍德输入Language(intlan)前:真post:language方法enterEHR(XMLDoc xd,intmcId)前:真pos t:ehrItem' = E H R I t em. New(x d/xmlDoc,mcId/mc,clock. 日期,日期/* 创建一个新的EHR项目/梅特霍德安全电子健康记录(内部电子健康记录)上一篇:ehrDB.catalog. find(ehrId)null/*EHR中存在id为ehrId的EHR项 */post:ehrItem' = ehrDB.catalog. find(ehrId)方法fetchReminder(EHRItemehr; Reminder rem)上一篇:dsStore.scripts. findBymc(ehr.mc)/=null/* 处理这种模式情况的脚本存在 */post:remehr.mc/* 提醒EHR返回以支持决策 */方法保存EHR(EHRItem ehr)前:真pos t:ehrDB. 我的天啊。add(ehr)/*EHR项目添加到EHR目录 */X. Xiong et al.理论计算机科学电子笔记266(2010)7783接口字段的数据类型及其关系由图5中的类图表示。图五. 概念类图3.2.2用例UC 2:脚本管理此用例执行对脚本的更新,其中更新包括更改脚本文本和添加新脚本。由于这个用例很简单,并且允许调用这些操作的任何序列,因此我们省略了它的序列图和类图,只给出用例的方法的功能组件ScriptManagement{提供接口ScriptPanelIF{publicchangeScriptText(intsId,Str ingnewTextt);publicaddscript(intsId,StringsText,Stringdesc,intmcId);}类ScriptPanel实现ScriptDeskIF{受保护的DSStore;publiccchangeScriptText(intsId,StringnwTextt){pre:dsStore.scripts. find(sId)/=null(ifs.sId=sId thens.textpublicaddcript(intsId,StringsText,Stringdesc,intmcId){前:真post:dsStore.scripts.add(Script.New(sId,sText,desc,mcId))}}}3.2.3模型集成和全局约束两个用例都是由组件提供的接口的契约建模的,因此它们看起来像是两个独立的封闭组件。但在分析这两个用例之间的关系后,我们发现它们共享同一个对象:DSStore dsStore。 只有当两个组件中的对象dsStore相同时,它们才能组合到一个组件中:组件DSComp{不变量{DSStore ds·ds = SupportDecision.dsStore = ScriptManagement.dsStore}然后这两个组件可以集成为一个更大的组件:84X. Xiong et al.理论计算机科学电子笔记266(2010)77DSComp =dfSupportDecisionScriptManagement在集成系统和构造组件时,应建立这种约束。[17]提出了一种方法来保证这些约束,通过使用一个全局类集合来表示所有用例,一旦捕获了新的用例,新的类及其属性和关联将被添加到这个集合中,从而可以保证类定义的一致性3.3TMS的逻辑设计模型在本节中,我们将通过rCOS的细化规则,特别是专家模式[17]来构建TMS的逻辑设计模型。我们重点讨论了UC 1和UC 2中的一些方法的设计,并使用约定类C::m(){c}来表示方法类C的m()和指定语句c。方法startDS()startDS()的前置条件是平凡的,因此我们只需要考虑它的后置条件。后置条件的指定意味着创建一个新的提醒。按照专家模式,创建提醒的责任可以委托给Reminder类:public voidrun(){rem:= Reminder.New(); lan:= 0; mcId:= 0}ClassReminder::Reminder(){evids:= Set(Evid).New();gllinks:= Set(gllinks).New()}该规范使用Reminder类的构造函数方法,该方法不接受任何输入参数。它定义了类的属性:证据和闪烁。 我们可以看到,证据的类型是一组证据,而链接的类型是一组GuidelineLink。对于一组类S(T),我们使用Java表示法s:=S(T).New()及其rCOS语义true“方法selectEHR()在其规范中,有一个重要的前提条件:ehrDB.catalog. find(ehrId)/=null。对于它,我们使用精化模式(PP):(PP)m()pre:p; post:R±m(){ifpthenRelse throw expception(p)}其中throwexception(p)是前提条件不成立时的指定。将专家模式应用于selectEHR()的前提条件,我们可以将查找EHR项目的责任委托给EHRDB类。因此,我们需要定义以下方法:类DSPanel::findEHR(int ehrId; EHRItem return){return:= ehrDB. findEHR(ehrId)}类EHRDB::Set(EHRItem)catalog;public int findDuplicate(intfindDuplicate){{return:= catalog. find(ehrId)}类集(EHRItem)::find(intehrId; EHRItem return){return:= find(ehrId)}在这里,我们假设Set(EHRItem)的方法find(ehrId)实现了返回模型case的指定,该模型case的Id为ehrId。对于selectEHR()的后置条件,我们让setEHR(int ehrId)表示X. Xiong et al.理论计算机科学电子笔记266(2010)7785当前提条件成立时,实现selectEHR()的后置条件的方法。我们仍然应用专家模式来使用顺序组合来细化后置条件的规范。类DSPanel::setEHR(intehrId;EHRItemehrItem){ehrItem:= ehrDB. findEHR(ehrId)}类EHRDB::Set(EHRItem)catalog;findEHR(intehrId; EHRItem return){return:= catalog. find(ehrId)}类集(EHRItem)::find(intehrId; EHRItem return){return:= find(ehrId)}最后,我们应用精化(PP)并得到以下设计:类DSPanel::选择EHR(intehrId){如果findEHR(ehrId)/=null,则setEHR(ehrId)else抛出异常(findEHR(ehrId)/=null)}方法updateScriptText()基于精化规则(PP)和专家模式,为前提条件,我们定义了以下方法:类DSPanel::findScript(intsId; Script return){return:= dsStore. findScript(sId)}类DSStore::Set(Script)脚本;findScript(intsId; Script return){return:= scripts. find(sId)}ClassSet(Script)::find( intsId; Script return){return:= find(sId)}我们看到后置条件涉及对集合元素的量化s∈scripts·(ifs.sId=sId(thens.tex对于Formto∈s·statement(o)的特殊性,当它是一个类型集合(T)时,我们使用泛量化模式(UQP):(UQP):To∈s·statement(o)±Iterator i:= s.iterator();whilei.hasNext(){To:= i.next(); statement(o)}也就是说,我们应该将rCOS中上述精化项右侧的“Java”语句的语义定义现在应用专家模式和(UQP),我们定义这两个类中的更新方法类ScriptDesk::cangeScriptText(intsId,StringnwTextt){dsStore. update Scri pt Text(sId,newText)}ClasDSStore::updteScriptText(intsId,StringwTextt){i = scripts.iterator();whilei.hasNext(){Script s:= i.next();如果s.sId=sId,则s.最后,我们得到如下设计:类ssScriptDesk::updateScriptText(intsId,StringwTextt){iffindScript(sId)nullthenchangeScriptText(sId,newText)86X. Xiong et al.理论计算机科学电子笔记266(2010)77else抛出异常(findScript(sId)/=null)}其他操作的设计也可以用类似的方法用专家模式来完成逻辑模型的设计顺序图如图6所示,类图如图7所示。见图6。 设计顺序图见图7。 设计类图X. Xiong et al.理论计算机科学电子笔记266(2010)77873.4TMS的构件体系结构模型在本节中,我们将通过将一些用例组件分解为一组插在一起的组件,并将一些简单的组件组合成一个更大的组件,来设计基于组件的体系结构。我们可以将对象dsStore和ehrDB标识为唯一的永久对象,它为其他对象提供了许多功能。此外,dsStore在两个用例上有一个全局约束,即它们都共享一个dsStore对象。因此,我们可以将这个对象与其聚合的对象脚本、evids、gllinks和模型一起制作成一个名为DSDecision的组件。我们使用DS-DecisionIF来表示DSD决策的接口,它由设计序列图(图6)中用例UC 1的那些方法组成,通过这些方法,组件DSPanel在对象上调用,现在捆绑在DSD决定中。 的临 时 对 象 rem 、 ehrItem 和 language 形 成 开 放 组 件 , 表 示 为DecisionSupporter , 其 具 有 所 提 供 的 接 口 DSPanelIF 和 所 需 的 接 口DSDecisionIF和EHRGeneratorIF,这将在后面提到。类似地,对象ehrDB连同其聚合对象目录和目录此外,时钟可以被认为是一个众所周知的实现组件然后我们有SupportDecision=dfDecisionSupporterDSDecisionEHRGenerator时钟类 似 地 , 组 件 ScriptManagement 可 以 分 解 为 ScriptList 和 DSScript 。ScriptScript提供了接口ScriptPanelIF和由DSScript提供的必需接口DSScriptIF。组件DSDecision和DSScript中的对象dsStore是相同的,我们将这两个组件组合成一个更大的组件DSSever,具有接口DSDecisionIF和DSScriptIF:DSSever=dfDSDecisionDSSscript见图8。 图9.基于逻辑的模型 组件顺序图图8中的UML组件图用于表示基于组件的88X. Xiong et al.理论计算机科学电子笔记266(2010)77TMS的架构。UC 1的设计顺序图可以转换为图9中的组件顺序图。4用UP-PAAL验证TMS的实时性为了减轻医生在治疗特定患者时的信息过载,TMS应在护理点提供“及时,只为我”的此外,由于EHR项目通常包含多个DICOM(医学数字成像和通信),需要从远程医疗中心的PACS(图像存档和通信系统)传输到合作诊所,系统将延迟对特定病例做出决定为了保证最终用户及时获得决策支持服务,必须保证系统的实时性和安全性。我们的方法是为UC 1的过程构造一个时间自动机模型,然后使用UPPAAL [9](一种用于实时系统建模、仿真和验证的工具)验证该模型。4.1DICOM传输问题在图9中省略了时间信息的组件序列图的基础上图中还引入了控制器和DICOMDB,分别用于控制和传输DICOM。具有时间约束的DICOM的转移的整个过程可以描述如下:1. EHRGenerator通知控制器在以下时间点获取相应的DICOM:DecisionSupporter请求EHR项目。2. 控制器通知DICOMDB在200 ms内将第一个DICOM传输到EHR发生器这里我们假设DICOMDB一次处理一个DICOM,它3. 当所有的DICOM都从DICOMDB中转移出来时,EHR项被重新转到DecisionSupporter.根据上面的非正式描述,我们得到了图10中具有时间约束的序列图。X. Xiong et al.理论计算机科学电子笔记266(2010)7789见图10。带有时间约束的见图11。 自动机模型4.2DICOM传输的时间自动机模型根据DICOM传输问题的描述和带时间约束的序列图,我们首先声明所有的变量和在这个子系统中使用的通道。 有两个全局变量max和c,表示EHR项的最大DICOM数量和已成功传输的DICOM计数。整个子系统的控制器之间通过ehr,next,dicom,dicomout,90X. Xiong et al.理论计算机科学电子笔记266(2010)77finish、askdicom、ehrout,并且我们将这些信道定义为不允许状态转换延迟的紧急信道因此,我们的模型系统可以定义如下:intc;intmax=5;系统DecisionSupporter、EHRGenerator、Controller、DICOMDB;urgent chanehr、next、dicom、dicomout、finish、askdicom、ehrout;clockx;然后我们在图11中获得相应的时间自动机模型。4.3DICOM传输建模完成后,在UPPAAL的仿真器中可以观察到对象之间的交互。我们在图12中给出了这些对象之间通过信道进行通信和控制的随机消息序列。根据消息序列,我们可以初步判断模型是否符合系统。为了进一步验证我们模型的属性,我们可以在UPPAAL的验证器中输入查询语 言 。 例 如 , A[] not deadlock 用 于 验 证 系 统 是 否 无 死 锁 , A[]DICOMDB.dicomtransferred imply x =200用于验证将每个DICOM 传输到EHR Generator的时间不应超 过 200 ms , DecisionSupporter.wait → EHRGenerator.ehrgot 是 验 证 一 旦DecisionSupporter请求EHR项,系统肯定会将EHR项发送回去。其他属性可以用类似的表达式来验证。图12个。随机消息序列图借助UPPAAL,通过对系统的安全性、活性等属性的验证,保证了系统的安全性X. Xiong et al.理论计算机科学电子笔记266(2010)77915结论与讨论远程医疗是一种新型的医疗诊断和医学教育模式,可以在不同的医疗机构之间建立联系。但由于计算机系统和数据记录规则的差异,无缝共享数据和开发可信赖的医疗保健系统成为21世纪的重大挑战。 在本文中,我们构建TMS,可以集成到远程医疗系统的基础上的rCOS技术。该系统一方面利用EHR系统对患者的健康记录进行标准化存储,同时也可以与其他EHR系统进行连接,实现了不同国家不同医院之间的数据共享;另一方面,TMS根据其可靠的科学循证医学分析电子健康记录信息,并以提醒和指引回应,从而使最终用户能够做出正确和及时的决定。在实际的软件工程中,软件系统的复杂性是通过关注点分离和增量开发来处理的[8,16],这形成了基于组件的模型驱动开发(CB-MDD)过程。 在CB-MDD过程中,由于系统模型被分成几个部分,因此系统的不同视图是用多视图语言描述的[2,12],因此确保这些视图之间的一致性和系统属性的正确性非常重要。[16]提出了一种支持关注点分离和需求一致建模的方法。[1,4]使用设计模式、面向对象和基于组件的设计来支持不同关注点的设计和验证的分离。为了确保系统属性的正确性,需要形式化方法来精确验证在这样一个过程中产生的模型。 最流行的语义验证理论之一是模型检验[3]。它使用自动机,状态转移系统和时态逻辑来验证系统的动态控制行为,并通过模型检查工具的支持[5,9]。然而,大多数验证框架忽略了对CB-MDD过程中生成的模型进行形式化验证的可行性,使得使用模型检测工具的验证方法难以融入CB-MDD过程。为了将验证方法集成到CB-MDD过程中,我们的方法是通过rCOS[7]构建系统模型,rCOS[ 7 ]是一种相当丰富和成熟的形式主义,可以对基于组件的系统的静态和动态特性进行建模。rCOS将提供的接口方法的协议与组件所需的接口方法的协议分离,并使用UML序列图描述交互协议。通过rCOS中的逐步功能细化,序列图可以细化为组件序列图,这成为UPPAAL验证的基础模型。因此,CB-MDD方法和验证方法通过使用rCOS结合在一起。本文的工作也为系统开发过程中的企业设计和验证提供了一种方法。致谢我们感谢匿名审稿人的详细意见和建议,这些意见和建议改进了论文。这项工作得到了国家高级92X. Xiong et al.理论计算机科学电子笔记266(2010)77国家863计划项目(批准号:2006 AA 01 Z165);国家自然科学基金项目(批准号:90718014、90818013、60673114);国家973计划项目(批准号:2009CB 320702);国家科技部资助项目(批准号:08510700300)。引用[1] C.应用UML和模式:面向对象分析和设计以及统一过程介绍,Prentice-Hall International,2001年。[2] C. Szyperski,构件软件:超越面向对象编程,Addison-Wesley,1998年。[3] Edmund M. Clarke等人,模型检验,麻省理工学院出版社,1999年。[4] E. Gamma等人,设计模式,Addison-Wesley,1995年。[5] G.霍尔兹曼,自旋模型:基础和参考手册,Addition-Wesley Professional,2003年。[6] Isabel Healthcare:isabel products,http://www.isabelhealthcare.com/。[7] J.他,X. Li,Z.刘明,rCOS:一种面向对象系统的精化算法,理论计算机科学,第365卷,第1 -2期,第109 -142页,2006年。[8] K.钱迪,J.米斯拉,并行程序设计:一个基础,Addison-Wesley,1988。[9] K. Larsen,P.Pettersson,W.Yi,UPPAAL in a nutshell,STTT 1.1-2第134 -152页,1997年。[10] LCS:使用决策支持来帮助解释疾病的临床表现,http://lcs.mgh.harvard.edu/projects/dxplain.html.[11]National Academy OF工程部:工程设计的重大挑战http://www.engineeringchallenges.org/网站。[12] 对象管理组,统一建模语言:上层结构,http://www.omg.org/cgi-bin/doc?正式/05-07-04。[13] Victoria Torres、Pau Giner和Vicente Pelechano,使用MDA开发用于临床指南的普适决策支持系统,在CAiSE'07论坛会议记录[14] Varonen H,Jousimaa J,Helin-Salmivaara A,Kunnamo I,电子初级保健指南与Cochrane综述-EBM指南的链接,Fam Pract.22,第465 -9页,2005年。[15] X. Chen,J. He,Z. Liu,N.詹,基于组件的程序设计模型,计算机科学讲义,第4767卷,2007年。[16] X. Chen,Z.Liu,V.Mencl,需求建模中的关注点分离和一致集成计算机科学讲义,卷。4362,2007.[17] Z. Chen,Z. Liu,中国粘蝇A. Ravn,V. Stolz,N. Zhan,Refinement and Verification in ComprehensiveModel Driven Design,Science of Computer Programming,vol.74,no.4,pp.168-126,2009。
下载后可阅读完整内容,剩余1页未读,立即下载
cpongm
- 粉丝: 4
- 资源: 2万+
上传资源 快速赚钱
- 我的内容管理 收起
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
会员权益专享
最新资源
- zigbee-cluster-library-specification
- JSBSim Reference Manual
- c++校园超市商品信息管理系统课程设计说明书(含源代码) (2).pdf
- 建筑供配电系统相关课件.pptx
- 企业管理规章制度及管理模式.doc
- vb打开摄像头.doc
- 云计算-可信计算中认证协议改进方案.pdf
- [详细完整版]单片机编程4.ppt
- c语言常用算法.pdf
- c++经典程序代码大全.pdf
- 单片机数字时钟资料.doc
- 11项目管理前沿1.0.pptx
- 基于ssm的“魅力”繁峙宣传网站的设计与实现论文.doc
- 智慧交通综合解决方案.pptx
- 建筑防潮设计-PowerPointPresentati.pptx
- SPC统计过程控制程序.pptx
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功