talexp是完全自主知识产权的国产软件，能够对程序中所使用的表达式建模。 支持包括赋值、数组、函数调用在内的数十种操作符。 既支持可变数据，也支持常量数据。 既支持常规数据类型，也支持自定义数据类型。 talexp是talmodeler(基于模型的软件全过程开发环境)的重要组成部分。

一 简介 talflow是拥有完全自主知识产权的国产软件，是talmodeler（基于模型的软件全过程开发环境）的核心组成部分，主要功能是创建软件各功能的流程图模型并基于流程图模型自动生成c代码。在自研相关技术的支撑下，应用talflow能够真正实现在不编写任何代码的前提下，完成软件的设计并生成高质量的代码。 二 主要特点 1流程图建模过程简单,模型编辑功能强，流程图模型美观，支持全部代码结构。 2无需编写任何代码即可完成软件开发 3与编码规则检查相融合，有效保证了软件质量。 4同需求建模、基于模型仿真、基于模型测试等环节无缝连接 talflow是talmodeler的核心。talmodeler是由功能需求建模、流程图建模、基于模型仿真、基于模型测试等相关工具共同组成的基于模型的软件全过程开发环境，各个工具都建立在共同的数据存储模型之上，在相同的底层组件之上采用相同的技术框架，在统一的规划之下根据各自的聚焦点研发而成，上下游工具之间能够实现简单且准确的相互关联。 三主要功能 1 流程图建模 2表达式建模 3模型检查 4生成c代码

talflun是一款软件功能需求建模工具，能够对创建软件功能树模型、定义功能数据接口以及维护各功能的测试用例集合。 talfun是talmodeler(基于模型的软件全过程开发工具)的重要组成部分，所生成的模型能够直接导入到talflow（流程图建模工具）中，是进行流程图建模的基础。所生成的模型也能够直接导入到almodeler的仿真工具及测试工具中，为进行软件静态仿真以及静、动态测试提供支持。

针对在测量和控制领域广泛使用的开源的低成本软硬件平台Arduino，研究了其使用MATLAB/Simulink软件进行模型化软件开发的方法和工作流程；进行了Arduino模型化开发实例分析，实现了模型设计、模型调试、自动代码生成、自动下载运行以及在线调试等功能；进行了生成代码分析和协议符合性检查，探索了完整的Arduino模型化开发方法；验证了使用MATLAB/Simulink进行Arduino模型化开发的可行性、便捷性以及对高安全协议的符合性。

主要功能：talflow是一款软件流程图建模工具，能够对创建软件全部功能或者部分功能所对应的流程图模型，进行合规性检查，并且能够自动生成流程图模型对应的代码。 使用方法：1，创建模型 2填充节点内容 3模型检查 4 生成代码

基于模型的软件开发 ，比较系统的一本书，希望对你有用