XiaoMi-AI文件搜索系统
World File Search System建模语言
我对建模语言的愿景
本文是我论文“优化中的建模语言：编程的新范式” [21] 25年前发表的。它揭示了我为什么需要新的编程语言范式的想法。In the meantime a lot has happened: The paradigm of constraint programming has been established, new “packages” in mathemati- cal modeling in modern programming languages, as Python, Julia, C++, a.o., have popped up recently, several commercial modeling systems are on the market, such as AIMMS, MOSEL, HEXALY, and several algebraic modeling languages, as AMPL, GAMS, LINGO, etc.已扩展。我用自己的建模语言（即LPL）做出了贡献。在我作为研究人员的职业生涯开始时，我实施了LPL（线性编程语言）作为制定几种较大LP（线性程序）的工具，我们在弗里博格大学信息学系的各种现实生活项目中使用了这些工具。很快我发现这种语言符号可以用于许多其他不同的应用程序。我在语言中添加并删除了许多功能，始终在任务中找出什么是制定和建模具体问题作为数学模型的“最简单，最短，最可读，高效）的方法。它已成为许多严重且不那么严重的应用和模型的主要操场和研究对象。寻求找到我想到的建模语言到现在还没有结束的。本文收集了我作为老师，研究人员和领事的实际问题所提出的一些想法和要求，我认为这是基本的。它可能会刺激具有正式语言设计能力更多的人，而不是我挑选这些想法并做得比到目前为止更好。尽管本文描述性而不是正式，但我坚信这些想法值得写下。未来将表明它们是否落在富有成果的土壤上。
dao-ML：一种用于分散自主组织治理规范的建模语言
抽象分散的自主组织（DAOS）是一类基于区块链的系统，可支持治理流程。由于设计和验证其治理结构的复杂性，开发Daos尤其具有挑战性。这些与传统的组织形式不同，因为它们的动态适应性和分散的性质。尽管最近提出了模型分散治理的模型方法，但它们对Daos的设计缺乏特殊性。因此，我们分析了Daos的适用性，并开发了一种捕获其治理结构特异性的建模语言。与其他方法不同，所提出的建模语言将对DAO开发的高适合性与可用性相结合，由其图形表示法提供。使用体内案例研究对建模语言进行定量和定性评估。这涉及对圈子UBI（通用基本收入）社区货币系统的基于DAO的分散治理基础设施进行建模。该系统为全球大量用户提供基于令牌的无条件收入。
dao-ML：一种用于分散自主组织治理规范的建模语言
抽象分散的自主组织（DAOS）是一类基于区块链的系统，可支持治理流程。由于设计和验证其治理结构的复杂性，开发Daos尤其具有挑战性。这些与传统的组织形式不同，因为它们的动态适应性和分散的性质。尽管最近提出了模型分散治理的模型方法，但它们对Daos的设计缺乏特殊性。因此，我们分析了Daos的适用性，并开发了一种捕获其治理结构特异性的建模语言。与其他方法不同，所提出的建模语言将对DAO开发的高适合性与可用性相结合，由其图形表示法提供。使用体内案例研究对建模语言进行定量和定性评估。这涉及对圈子UBI（通用基本收入）社区货币系统的基于DAO的分散治理基础设施进行建模。该系统为全球大量用户提供基于令牌的无条件收入。
系统建模语言（SysML）
系统建模语言 (SysML) 3 Enterprise Architect 中的系统建模 6 SysML 需求建模 12 SysML 操作域模型 14 块定义图 (BDD) 16 块元素分隔符 20 从方程式创建约束块 24 创建端口和部件 31 从块关联生成部件 34 在 SysML 端口上显示方向 37 SysML 中的嵌套端口 39 内部块图 40 同步结构元素 - 内部块 42 参数图 43 参数图建模助手 47 绑定约束属性的参数 48 编写系统设计 52 创建可重用子系统 54 SysML 包图 56 SysML 用例模型 60 SysML 活动图 62 同步结构元素 - 活动图 64 SysML 序列图 66 SysML 状态机图 68 SysML 工具箱 70 SysML 块定义工具箱 71 SysML 内部块工具箱 75 SysML 活动工具箱 78 SysML 交互工具箱 83 SysML 模型工具箱 85 SysML 参数工具箱 89 SysML 需求工具箱 92 SysML 状态机工具箱 95 SysML 用例工具箱 98 将 SysML 模型迁移到更高版本的 SysML 100 简单参数模拟 102
统一架构框架建模语言 (UAFML)
受以下所有条款和条件的约束，本规范的版权所有者特此授予您完全付费、非独占、不可转让、永久、全球范围的许可（无再授权权），使用本规范创建和分发基于本规范的软件和特殊用途规范，并根据版权法使用、复制和分发本规范；前提是：（1）上述版权声明和本许可声明均出现在本规范的任何副本上；（2）本规范的使用仅供参考，不得复制或发布在任何网络计算机上或在任何媒体上广播，也不得以其他方式转售或转让用于商业目的；（3）不得对本规范进行任何修改。如果您违反任何这些条款或条件，此有限许可将自动终止，恕不另行通知。终止后，您将立即销毁您拥有或控制的任何规范副本。
统一架构框架建模语言 (UAFML)
受以下所有条款和条件的约束，本规范的版权所有者特此授予您完全付费、非排他、不可转让、永久、全球性的许可（无权再授权），使用本规范创建和分发基于本规范的软件和特殊用途规范，并根据版权法使用、复制和分发本规范；前提是：（1）上述版权声明和本许可声明均出现在本规范的任何副本上；（2）本规范的使用仅供参考，不得复制或发布在任何网络计算机上或在任何媒体上广播，也不得以其他方式转售或转让用于商业目的；（3）不得对本规范进行任何修改。如果您违反任何这些条款或条件，此有限许可将自动终止，恕不另行通知。终止后，您将立即销毁您拥有或控制的任何规范副本。
统一建模语言 - LMS-SPADA 印度尼西亚
由一组集成的图表组成的建模语言，旨在帮助系统和软件开发人员指定、可视化、构建和记录软件系统工件，以及业务建模和其他非软件系统。（visual-paradigm.com）
迈向量子软件建模语言
迄今为止，量子计算的研究几乎全部集中在“微观”层面。对量子计算或“宏观”量子编程的一般性理解尚待发展。在此，我们的目标是奠定一个用于研究、开发和传达量子程序的通用框架的基础。我们旨在通过开发一种量子软件通用建模语言来实现这一目标。我们并不打算从头开始开发这种语言，而是决定从著名的统一建模语言 (UML)[ 3 ] 开始，并引入一组最少的扩展，使其能够有效地对量子软件进行建模。假设 UML 是一种我们可以在此基础上进行构建的共享通用语言，这使我们能够更简洁地传达我们最初的扩展。但是，我们的扩展集几乎不需要修改就可以应用于任何其他建模语言。
OMG 系统建模语言 (OMG SysML™)，V1.0
版权所有 © 2003-2006，American Systems Corporation 版权所有 © 2003-2006，ARTiSAN Software Tools 版权所有 © 2003-2006，BAE SYSTEMS 版权所有 © 2003-2006，The Boeing Company 版权所有 © 2003-2006，Ceira Technologies 版权所有 © 2003-2006，Deere & Company 版权所有 © 2003-2006，EADS Astrium GmbH 版权所有 © 2003-2006，EmbeddedPlus Engineering 版权所有 © 2003-2006，Eurostep Group AB 版权所有 © 2003-2006，Gentleware AG 版权所有 © 2003-2006，I-Logix, Inc.版权所有 © 2003-2006，International Business Machines 版权所有 © 2003-2006，International Council on Systems Engineering 版权所有 © 2003-2006，以色列飞机工业公司版权所有 © 2003-2006，洛克希德马丁公司版权所有 © 2003-2006，Mentor Graphics 版权所有 © 2003-2006，摩托罗拉公司国家标准与技术研究所版权所有 © 2003-2006，诺斯罗普·格鲁曼公司版权所有 © 1997-2007，对象管理组织版权所有 © 2003-2006，oose Innovative Informatik GmbH 版权所有 © 2003-2006，PivotPoint Technology Corporation 版权所有 © 2003-2006，雷神公司版权所有 © 2003-2006，Sparx Systems 版权所有 © 2003-2006，Telelogic AB 版权所有 © 2003-2006，THALES
OMG 系统建模语言 (OMG SysML™)，V1.0
版权所有 © 2003-2006，American Systems Corporation 版权所有 © 2003-2006，ARTiSAN Software Tools 版权所有 © 2003-2006，BAE SYSTEMS 版权所有 © 2003-2006，The Boeing Company 版权所有 © 2003-2006，Ceira Technologies 版权所有 © 2003-2006，Deere & Company 版权所有 © 2003-2006，EADS Astrium GmbH 版权所有 © 2003-2006，EmbeddedPlus Engineering 版权所有 © 2003-2006，Eurostep Group AB 版权所有 © 2003-2006，Gentleware AG 版权所有 © 2003-2006，I-Logix, Inc.版权所有 © 2003-2006，International Business Machines 版权所有 © 2003-2006，International Council on Systems Engineering 版权所有 © 2003-2006，以色列飞机工业公司版权所有 © 2003-2006，洛克希德马丁公司版权所有 © 2003-2006，Mentor Graphics 版权所有 © 2003-2006，摩托罗拉公司国家标准与技术研究所版权所有 © 2003-2006，诺斯罗普·格鲁曼公司版权所有 © 1997-2007，对象管理组织版权所有 © 2003-2006，oose Innovative Informatik GmbH 版权所有 © 2003-2006，PivotPoint Technology Corporation 版权所有 © 2003-2006，雷神公司版权所有 © 2003-2006，Sparx Systems 版权所有 © 2003-2006，Telelogic AB 版权所有 © 2003-2006，THALES