如果WindowsXP或Windows7出现MDAC相关的错误,可以尝试使用此工具进行修复.适用于WindowsXP或Windows7因MDAC出现数据连接错误的的情况。
2021-03-20 11:24:15 3.86MB Windows7 MDA WinXP mdac
1
针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.
2021-02-23 14:04:04 225KB UML;语义Web服务;组合验证模型;MDA
1
KaYa模型驱动开发工具,配合KaYa引擎一起,可以实现模型驱动快速开发,节约开发成本,简化开发流程。
2020-01-08 03:01:41 37KB KaYa MDA 微服务
1
最新的OMG MDA 指南 2.0 Guide .MDA 是模型驱动体系架构(Model-Dri ven Architecture)的简称,是一种新的系统开发方法。
2019-12-21 22:10:31 197KB MDA Guide 2.0
1
Bandex DNC系统支持加工程序及参数的上传和下载,系统支持多种传输方式。
2019-12-21 21:41:52 2.71MB Bandex DNC MDA CIS
1
Executable UML is a major innovation in the field of software development. It is designed to produce a comprehensive and understandable model of a solution independent of the organization of the software implementation. It is a highly abstract thinking tool that aids in the formalization of knowledge, and is also a way of describing the concepts that make up abstract solutions to software development problems.
2019-12-21 21:33:38 5.49MB MDA UML
1