模型驱动式开发是以模型构造、模型转换和精化为核心的.对象管理组织OMG选择将统一建模语言UML作为标准建模语言,并将其作为模型驱动架构MDA的支持平台.但UML模型缺乏严格的语义,不同视角和不同开发阶段的模型很难集成...
关键词： 模型驱动架构(MDA) / UTP / 模型 / 构件
下载（927）| 被引（81）
单个Web服务难以满足实际应用的需求,如何组合已有的服务,形成新的服务,已成为此领域的研究热点。现在的组合方法极少考虑服务质量QoS(Quality of Service)。对于一些提供相似功能的Web服务,服务质量是判断是否选择此...
Nondeterministic Probabilistic Petri Net—A New Method... CNKI文献
There are many variants of Petri net at present,and some of them can be used to model system with both function and performance specification,such as stochastic Petri net,generalized stochastic Petri...
刘阳 缪淮扣... 《Journal of Computer Science & Technology》 2013年01期 期刊
关键词： nondeterminism / probabilistic / Petri / net
下载（92）| 被引（8）
Model driven architecture(MDA) is an evolutionary step in software development.Model transformation forms a key part of MDA.The transformation from computation independent model(CIM) to platform inde...
曹晓夏 缪淮扣... 《Journal of Shanghai University(English Edition)》 2008年06期 期刊
关键词： model / driven / architecture(MDA) / computation
下载（61）| 被引（4）
在原型验证系统中构建度量区间时序逻辑公式的时间自动机(英... CNKI文献
Based on analysis of the syntax structure and semantics model of the metric interval temporal logic (MITL) formulas, it is shown how to transform a formula written in the real-time temporal logic MIT...
许庆国 缪淮扣 《Journal of Shanghai University(English Edition)》 2008年04期 期刊
分布式环境下基于多UIO的测试序列生成方法(英文) CNKI文献
In developing distributed systems, conformance testing is required to determine whether an implementation un-der test (IUT) conforms to its specification. With distributed test architectures involvin...
刘文宇 曾红卫... 《Journal of Shanghai University(English Edition)》 2008年05期 期刊
关键词： distributed / test / controllability / observability
下载（40）| 被引（2）
