如何在合金中创建静态模型？
在合金中创建静态模型的过程可以分为以下几个步骤：
- 确定合金的成分和比例：合金是由两种或多种金属或金属与非金属元素的混合物组成。首先需要确定所需合金的成分，例如铁、铜、镍等，并确定各个元素的比例。
- 准备原材料：根据确定的成分和比例，准备相应的原材料。原材料可以是纯金属或金属化合物，通过熔炼等方式将其转化为合金。
- 熔炼和混合：将所需的原材料放入熔炉中进行加热熔炼。通过控制温度和搅拌等方式，确保原材料充分混合，形成均匀的合金液体。
- 浇铸或冷却：根据需求，将熔融的合金液体倒入模具中进行浇铸，或者在特定条件下使其冷却固化。
- 加工和整形：将合金固体从模具中取出后，可以进行进一步的加工和整形。例如切割、铣削、打磨、焊接等，以得到所需形状和尺寸的静态模型。
- 表面处理：根据需要，可以对合金模型进行表面处理，如抛光、喷漆、镀层等，以增加外观的美观性和保护性。
静态模型的创建过程可以依据具体的合金材料和应用场景有所差异。例如，创建铝合金静态模型时，可以选择腾讯云的云容器实例（TKE）服务来搭建高效、可靠的容器环境，以提供稳定的计算资源和可扩展性。具体产品介绍和链接如下：
腾讯云容器实例（TKE）：是腾讯云提供的一种容器化部署和管理服务，能够帮助用户快速创建、运行和管理容器化应用。TKE提供高可用、弹性扩展和自动化管理等特性，可以有效支持合金静态模型的部署和运行。更多详情，请访问：https://cloud.tencent.com/product/tke
需要注意的是，以上提到的腾讯云产品仅作为示例，供参考使用。在实际应用中，需要根据具体需求和情况选择合适的云计算解决方案和相关产品。
相关·内容
1回答
为什么要创建一个使用合金的模型？
我相信我知道答案，但我想和你确认一下。
我们使用合金创建一个模型，因为我们希望验证该模型是否适用于某些属性。请允许我举几个例子来说明我的意思：
我们建立了一个交通灯系统的合金模型，因为我们想要验证交通灯系统永远不会在一个路口同时有两个绿灯(垂直方向)。通过建立合金模型并利用合金分析仪对其进行检验，可以验证交通信号灯系统是安全的。
我们创建了一个领导人选举协议的合金模型(在一堆分散的、通信的过程中，有一个进程被选举为领导者)，因为我们希望验证该协议是否导致将一个进程选举为领导者。
我们创建了一个酒店运营的合金模型，因为我们想要验证没有任何未经授权的访
浏览 2提问于2016-12-21得票数 1
1回答
合金新手来了。
我非常喜欢在合金中创建约束，让分析器检查模型是否对约束有效。
但我扪心自问，“这些约束定义只是心理体操，还是有助于构建更好的软件？”
让我们举一个具体的例子。在电子邮件客户端通讯簿的模型中，可以定义将新条目添加到通讯簿中的约束：
新书b‘中的地址映射等于旧书b中的地址映射，并添加了从名称到地址的链接。此约束用合金表示为:B‘..addr= b.addr + n->a
真是太美了。
但是，当add操作在代码中实现时，我很难看到它的相关性。例如，我在Common中实现了add操作：
(defun add (b n a)
"Add a new entry,
浏览 3提问于2016-09-03得票数 3
回答已采纳
1回答
我开始学习合金，真的很喜欢我所看到的。
在鼓励我的同事和我一起学习和使用合金之前，我需要了解合金和UML之间的关系。
合金是UML的替代品吗？如果使用合金，那么就没有必要使用UML了？
合金是UML的补充吗？建议同时使用合金和UML的实践吗？
合金是否与UML正交？合金和UML有完全不同的用途吗？
就功能而言，合金是UML的超集吗？从我的阅读中，我了解到，使用合金语言，可以表达许多约束，然后合金中的SAT工具可以根据模型(使用合金创建)检查约束。我“认为”UML，如MagicDraw，在表达约束和根据约束评估UML模型方面没有同等的能力--这是正确的吗？
一般来说，您能
浏览 1提问于2016-08-27得票数 2
回答已采纳
我想要创建一个抽象模型，然后从它自动生成各种特定于数据格式的模型，例如XML模型(即从抽象模型自动生成XML模式)、JSON模型(即从抽象模型自动生成JSON模式)等等。
用合金作为抽象模型的表达语言是很好的。
但我不确定我是否能够从合金模型中自动生成所需的特定数据格式的模型。请允许我解释一下。
考虑一下这个简单的合金模型：
sig Test {
A: Int,
B: Int
} {
A > B
}
该模型包含两种类型的内容：(1)包含关于数据结构的信息，(2)包含相互依赖信息("A“必须大于"B")。
从合金模型中，我可以自动生成各种数据格式
浏览 4提问于2018-09-20得票数 1
1回答
最近我遇到了一些合金模型，它们的"let“语句与模型中的任何块无关。合金分析器很好地分析了这些模型，所以我知道这是有效的合金语法。然而，在张贴在v4上的合金语法中，或者在Daniel的“合金”一书中，没有一条规则说"let“语句可以出现在块之外。下面的摘录显示了这些"let“语句的示例。
let bitXorTable = {
i: bits,
j: bits,
k: bitAndTable[bitOrTable[i, j], bitNotTable[bitAndTable[i, j]]]
}
pred halfAdder(m: Int, n: Int,
浏览 1提问于2021-04-21得票数 1
回答已采纳
这条路有一个急转弯。
限速是40。
宝马可以很容易地转弯。卡车能转弯吗，还是会离开公路？
使用合金创建模型。
断言:所有车辆都可以转弯。
邀请合金分析器查看是否存在对断言的反例。
..。
这是合金可以做到的事情吗？
如果是，你能提供如何创建模型的提示吗？
浏览 2提问于2016-12-21得票数 1
有人能帮我吗?也许有人会对我的问题给出一些解释或例子？假设没有"numbers“或”整数“(合金与实体一起工作)，我如何通过JAVA或Python使用我用合金创建的模型？如何“连接”合金的模型与其他语言？
谢谢!瓦迪克。
浏览 4提问于2014-11-21得票数 0
2回答
没有图形用户界面的合金模型
、、、、
我想用Python编写一个可伸缩的程序，它将根据用户的输入创建合金模型。具体地说，我希望用户输入一个图，并使用合金来告诉用户该图是否具有欧拉路径。我已经为一个特定的图形实例准备好了合金模型。然而，我正在考虑通过Python代码生成.als文件，然后通过Python启动合金来评估模型。有没有我可以使用的Alloy或任何命令行参数，可以帮助我确定某个谓词是否一致？
谢谢
浏览 3提问于2014-05-03得票数 3
在中，我问过如何创建一个合金模型，该模型约束每个反斜杠由另一个反斜杠转义，前提是反斜杠没有转义逗号。Daniel Jackson回复了我的帖子，建议我的模型应该更抽象。事实上，我已经创建了一个更抽象的模型。但我觉得它太抽象了，而且它避免了正确限制反斜杠的问题(参见)。
我很困惑，当一个合金模型不够抽象的时候，它是不是太抽象了？
浏览 1提问于2017-11-09得票数 0
我非常喜欢通过简单地列出约束，然后运行合金分析器:找到满足约束的实例来设计合金模型。
但我突然意识到，将这种以约束为中心的合金模型映射到编程语言代码中可能很困难。可能不会有一个一对一的映射合金约束表达式，比方说，Java语句。实际上，将合金约束表达式列表映射到Java代码可能是相当困难的。
如果合金表达式和编程语言代码之间存在着巨大的语义/句法空白，那么合金的好处不是减少了吗？
不设计约束中心合金模型会更好吗？是否可以更好地设计以算法为中心的合金模型(即，使合金模型看起来像编程语言代码)，以减少语义/句法上的差距？
我很想听听你对此的想法。
浏览 0提问于2018-04-16得票数 0
回答已采纳
我在avlTree.als里有一个合金模型。该模型使用整数运算，特别是正负函数。这个模型中有一些断言，我可以使用合金分析器GUI很好地运行这些断言。
我在test.als里有另一种合金模型。该模型导入avlTree (使用"open avlTree")，然后对avlTree模型中的关系进行一些断言。但是，当我试图在合金分析器GUI中运行这些断言时，我会得到以下消息：
发生了一个语法错误：
找不到“加号”。
指向语法错误的链接将我带到我的avlTree模型。因此，当我单独运行该模型时，avlTree模型对整数数学的使用似乎很好，但当我试图将它导入另一个模型时，它就失效了。
浏览 3提问于2012-09-24得票数 5
回答已采纳
1回答
因此，我创建了一堆合金签名、谓词和事实。我表达了很多关系。我用英语写了一些代表合金模型的陈述：
A是一个..。
B是..。
然后我创建一个合金断言。没有发现反例。正确的英文声明是什么？我认为这一论断是一个结论：
A是一个..。
B是..。
所以..。
你同意吗？无反例的合金断言是否代表结论(“因此”陈述)？
浏览 0提问于2018-11-01得票数 0
回答已采纳
我有下面的合金模型，我不知道如何将它转换成合金Java。
sig A {
B: Int
}
我知道我们可以使用A.addField("B", Expr)来添加属性，但是我应该在Expr参数中添加什么来使它表示Ints呢？
谢谢
浏览 3提问于2013-09-03得票数 2
回答已采纳
1回答
当使用合金模型时，有人知道钛API自动创建的数据库的默认路径吗？
我试图解决的问题是，我在模型中添加了一个新属性，当我尝试使用合金模型方法进行保存时。它告诉我这张表没有那个新列。
如果我知道数据库的路径，在升级脚本中，我只需修改表就可以有一个新的列。
非常感谢您的提前帮助。
浏览 6提问于2016-03-18得票数 0
回答已采纳
2回答
我用合金来模拟一个系统。我希望通过比较实际系统的具体执行情况和模型中的日志跟踪来检查实现的系统与合金模型匹配。
我认为这起作用是：
G1"Pre-process 将日志添加到已实现的系统中，使其与在合金中建模的高级概念相对应，例如“接受人员在来宾中检查这些信息，使之成为合金理解的表单，将其交给合金(或其他一些工具)，并说‘此模型是否承认此跟踪？’(这个问题)
这将在系统的操作日志上运行(如果性能有问题，则可能运行子集)，并不断验证系统是否在“按照规范”操作。
这有可能/合理吗？
浏览 3提问于2021-01-25得票数 1
在第132页的合金书(软件摘要)中，有人说以下命令是一个完整的合金模型：
check {all p,q: univ -> univ, s: set S | (p.s).q = p.(s.q)}
我将其放入合金工具并执行，但是合金抱怨S。这是书中的错误吗？
浏览 2提问于2014-12-04得票数 1
回答已采纳
我有一个合金模型。这个模型是我写的软件中的一些决策逻辑。在这个模型中，我有几个创建示例的谓词。谓词创建预期行为和外部预期行为的实例。我很乐意将这些示例作为我的代码的单元测试的输入。
有谁有一些软件的例子，与合金交互，将许多生成的示例转储到单个文件中？我希望运行一个程序，获得一个包含许多实例的文件，然后将该文件用作我的测试程序的输入。
这让我很感兴趣，因为创建的示例和反例通常不是我在手写测试输入时想要做的事情。
有什么想法？
浏览 0提问于2017-09-20得票数 1
我有很多有趣的学习合金，并很高兴将它应用到一些软件项目，我正在工作。
在过去，我非正式地使用了轻量级的形式方法，如果是的话，用一阶逻辑编写一些我希望系统具有的不变量。我从来没有用它来发现缺陷，只是把我的设计和测试集中在关键的属性上。
我现在想超越这一点，实际使用合金来发现体系结构中的错误。我该怎么做？我一直采取的方法是：
将体系结构简化为某些内核(例如删除使用集而不是更复杂的数据结构，使用sig而不是更详细的枚举)
将不变量编成assert
check和run
然而，虽然学习了很多关于合金的知识，但这并没有帮助我改进我的架构。在简化我的模型的过程中，我编码的不变量似乎得到相
浏览 1提问于2015-03-26得票数 4
1回答
有没有办法知道合金分析器找到了多少个输出模型？ 我需要知道更改合金模型如何改变找到的合金实例的数量。 谢谢!
浏览 22提问于2021-09-17得票数 0
2回答
我有一个简单的安卓应用程序模型与主屏幕。主屏幕包含3个选项:开始游戏，设置和排行榜。我不确定，我应该使用什么合金组件的屏幕，如设置等。
我是否应该对主页、菜单、设置等使用不同的控制器？或者它们应该只是同一窗口中的不同视图？我找不到关于钛合金应用程序设计的良好实践的信息。
浏览 0提问于2014-08-15得票数 1
以下是我对使用合金建模的理解：
一个问题的合金模型有两个部分：
问题的结构部分的说明。
结构部件的约束规范。
难道所有问题都是用约束来表述的吗？是否有问题不能用约束来表述，因此不能用合金建模？如果是，请提供一个例子。
是否有问题可以用约束来表述，但最好用其他方式来表述呢？如果是，请提供一个例子。
浏览 6提问于2018-01-14得票数 1
回答已采纳
1回答
我在C++中有一个项目，现在我需要从它调用合金来生成一个模型。我知道这在Java中是可能的，我想知道这在C++中是否也是可能的。
浏览 1提问于2016-01-10得票数 0
2回答
我正在开发一个带有事件和任务的钛应用程序，我希望将这些事件和任务同步到云存储中，这样用户就可以从任何应用程序或浏览器访问他们的事件和任务，只要他们提供登录。
看起来Appcelerator/Tit闭i让这一切变得非常容易，然而他们却很难记录下来。也许我不明白。所以有人能确认或纠正我在下面画的图片吗？
钛合金应用程序允许您通过在/models文件夹中的JSON文件中定义模型来创建模型。如果您为这个对象指定了如下属性：adapter: {type:'acs'}.然后，无论何时在对象上调用.save()命令，合金都会将对象存储在ACS中。
当然，要使应用程序连接到ACS，就必
浏览 6提问于2014-09-28得票数 0
我一直以相同的方式使用合金:要么为给定的约束集(=模型)查找实例(解决方案)，要么检查模型的特定属性，这些属性可以表示为断言(为了搜索反示例而执行的检查)。然而，有一项新的要求引起了我的两个问题：
是否有可能检索不满足合金模型中包含的约束的变量的所有关系赋值？这意味着我想收集所有不是给定合金模型的解决方案的示例。如果是，：我怎么做？
非常感谢您提前！
浏览 3提问于2019-11-29得票数 1
1回答
我正在写一个程序，它需要在一个模型上调用合金，并在返回的实例上做一些事情。问题是，每次调用“合金”命令时，都会打开“合金”界面。我想知道有没有什么方法可以在不打开接口的情况下从Java代码中调用合金。
浏览 0提问于2016-04-07得票数 0
我已经建立了一个合金模型，我把我所有的系统逻辑都放在了这里。我想做一个大规模的分析。要做到这一点，我的逻辑是使用Java读取数据文件，然后将这些数据传递给合金，以检查这些数据是否满足我在合金中定义的约束。要做到这一点，我的逻辑是使用这些数据创建sig对象，并将它们传递给合金。 由于我的系统模型很复杂，我尝试使用以下代码来总结我的问题： sig A{
val: Int
}
sig B{
chunk: Int
}
fact {
A.val > 10 && A.val < 15
} 现在，我想要传递以下sig对象并从Java运行命令。 sig C{
n
浏览 16提问于2019-06-24得票数 2
使用Alloy，可以从合金文件中获得一个CompModule，其中包含使用给定合金模块所需的所有内容。
这可以使用以下命令轻松实现: CompUtil.parseEverything_fromFile(...)
我现在的问题如下。有没有从CompModule到合金语言的方法？或者从一系列的符号和事实到合金模型。(我想我可以使用暴力，但我更想知道是否存在实用程序。)
感谢您的支持！
干杯
浏览 2提问于2013-04-17得票数 3
回答已采纳
1回答
我是新来的钛合金。我在GitHub中看到了很多合金的项目，但我不知道如何加载到我的工作区中。
我下载的文件结构如下：
资源(文件夹)控制器(文件夹)模型(文件夹)样式(文件夹)视图(文件夹)自述文件alloy.js config.json
就是这样。因此，当我尝试导入此内容时，收到一条消息，告诉我：“选定的目录不包含tiapp.xml、timodule.xml或module.xcconfig文件。”
我需要什么才能在我的计算机上运行这些项目？
非常感谢，很抱歉我的英语不好。
浏览 0提问于2013-08-21得票数 0
致所有钛合金专家：
的已经在处理同样的问题了，他们都没有一个被接受的答案，当然也没有一个能让我个人满意的答案。让我解释一下为什么我仍然相信这个问题是相关的，尽管有现有的答案和评论：
在合金中，您可以将中继器类型的元素绑定到主干集合中的模型；这非常简单，而且效果很好。但是，在典型的主-细节视图排列中，您可能希望将视图绑定到特定的模型实例，为此，您已将其传递到控制器中。
据我所知，标准的合金技术似乎是你在合金标记中声明一个模型实例，例如。<Model id="myModelInstance" src="myBackboneModel" instance=
浏览 2提问于2014-05-09得票数 2
2回答
Update我花了很多时间研究@Hover沙发的奇妙解决方案(参见下面的解决方案)。我采纳了他的解决方案，以及Peter的见解，并写下了一个总结：。我欢迎你的评论。
我正在尝试创建一个合金模型，它定义了一组整数。我想将集合约束为整数0, 2, 4, ...
我想用一种“生成性”的方法来定义这套原则：
0在片场。
如果i在集合中，那么i+2就在集合中。
在片场里没有别的东西。
我在为最后一个问题而挣扎我该怎么表达呢？
下面是我创建的合金模型。
one sig PositiveEven {
elements: set Int
}
pred generate_set
浏览 1提问于2017-12-01得票数 1
回答已采纳
2回答
我使用合金创建了一个简单版本的链表。现在我想创建一个链表，我可以在其中执行插入和删除操作。我刚刚开始用合金编写代码。现在我在做复杂的操作时遇到了麻烦，比如使用函数和实用程序。如果我能得到一些如何使用实用程序和函数的示例，以及如何在合金中实际执行插入和删除操作。如果你能帮忙我会很感激的。
sig node{}
sig linked
{
ele:set node,
link:ele->lone ele,
head:lone ele
}{
node = ele
all x:ele | x in head.*link && head not in x.
浏览 2提问于2013-04-21得票数 1
回答已采纳
假设我们有以下合金模型：
sig A {}
sig B {
R : A
}
fact {
R.~R in iden
}
run {}
在执行run时，合金会找到一个实例。我想我应该尝试将模型的事实更改为签名事实，如下所示：
sig A {}
sig B {
R : A
} {
R.~R in iden
}
run {}
但当我这么做的时候合金告诉我：
A type error has occurred:
~ can be used only with a binary relation.
Instead, its possible t
浏览 1提问于2019-09-23得票数 0
回答已采纳
以下合金模型：
sig A {}
run {all a : A | some r : A->A | a.r = a} for 3
run {some a : A | all r : A->A | a.r = a} for 3
合金和合金都失败。如果我使用“普通合金”运行这两个命令(特别是使用来自的最新版本4.2_ 2015-02-22，构建日期2015-02-22 18:21 EST)，那么第一个命令工作正常，但第二个命令无法浏览：
但是，如果我使用合金*运行这两个命令(特别是使用中的hola-0.2.jar )，那么第一个命令将失败，第二个命令可以正常工作：
浏览 0提问于2017-05-25得票数 1
回答已采纳
以下合金代码说明每个酒店房间都有一组钥匙：
sig Key {}
sig Room {
keys: set Key
}
需要约束keys关系。目前，它允许这样的实例:在一堆房间中使用键K1。唉哟!我们不想那样。我们希望每把钥匙只在一个房间里使用。这里有一个图表说明了有效实例的范围(以及我们实际上希望允许的实例子集)：
我们实际需要的一组实例用此合金代码很好地表示：
Room lone -> Key
该合金代码的实例由小圆圈在上面的图形中描述。
那么，我们如何约束keys呢？答案之一是:创建一个合金事实，上面写着：
keys in Room lone -> Key
浏览 3提问于2016-12-30得票数 0
回答已采纳
在传统的软件开发中，测试代表了软件所要表达的意思。通过在软件上执行测试，您可以看到该软件是否意味着您所认为的意思。“这就是我想说的，我真的这么说了吗？”
合金实例向你展示了你在模型中所说的话。检查实例，并确定这是否是模型要说的意思。“这就是你说的，这就是你想说的吗？”
您同意这种软件测试和合金实例生成之间的区别吗？在软件测试和合金实例生成的比较中，有什么要添加的吗？
浏览 0提问于2018-03-03得票数 1
回答已采纳
我在合金中有以下非常简单的模型：
abstract sig Object {}
pred show(){}
run show for 5
当我执行这个模型时，为什么合金分析器仍然是对象的实例，而它被定义为抽象的！
浏览 1提问于2014-12-06得票数 0
1回答
我有一个关于金属的表格，其中一个领域是使用中的普通合金。此外，表/表单中还有一个名为Metal的字段。我想要的是标签填写这样的金属名称:在使用中的普通“铜”合金，当选择该金属时，它从“金属名称”字段获得金属的名称。有什么想法吗？提前谢谢。
标签在测试盒的上方。表格中还有其他字段，如熔点、金属名称等。文本框上方的标签是正在使用的通用合金。我想要的是使用一个字符串，例如，当我在合金黄铜上时，标签上写着使用中的普通黄铜合金。它可以从表Metals中的金属名称中提取信息，其他表单用于填充其他字段。希望这能有所帮助。
浏览 3提问于2021-02-19得票数 0
回答已采纳
据我所知，我应该覆盖主干模型的适配器，这样它就会有不同的持久性策略。但是，如果我需要我的应用程序是一个离线应用程序，可以从服务器重新缓存其数据，该怎么办？
我应该如何处理Appcelerator Titanium中的离线缓存？我使用的是合金框架。
诚挚的问候
浏览 1提问于2016-05-02得票数 0
1回答
我们有一个合金模型，目的是在系统中找到可能的死锁。当发现反例时，这意味着正在建模的系统可能存在死锁，即图中节点之间的循环依赖关系。问题是图形的可视化模型是如此复杂，几乎不可能找到代表死锁的循环。如果有办法突出显示周期，或者至少在图中突出显示有方向“向上”而不是“向下”的弧线，这将有助于我们更好地可视化事物(因为在我们的模型中，无死锁系统的所有弧都指向向下)。是否有方法突出显示或有选择地绘制创建反例的节点和弧？
浏览 2提问于2017-09-17得票数 0
回答已采纳
1回答
如何在合金中使用字符串？
在合金中支持字符串的哪种函数或运算符？
我在这里搜索问题，发现字符串是合金中的一个关键字。但我找不到任何关于如何在合金中使用字符串的参考资料。你能给我一个吗？如果不是，可以简单介绍一下合金中的弦吗？
浏览 1提问于2014-11-14得票数 0
1回答
我运行了一个合金命令，该命令涉及为一些存在要素寻找目击者，如下面这个命令：
pred foo {
some x, y : E -> E |
baz[x,y] || qux[x,y]
}
合金提出了一个foo为真的模型。我查看可视化器中的模型，发现y恰好是空关系。我想深入研究这个模型，看看baz还是qux是真的。因此，我启动评估器窗口并键入baz[$foo_x, ???]。但是我能为???输入什么呢？由于y是空的，所以没有名为$foo_y的变量。键入none或{}会导致类型检查错误。
合金提供了一个可以在任何类型中使用的空关系吗？或者，即使y证人是空的，也有什么办法去找它
浏览 3提问于2016-01-21得票数 0
回答已采纳
1回答
我使用的是钛合金模型，大部分代码都是从示例中提取的
当我试图编译我的项目时，我得到了这个错误。
我用的是钛3.1.2，合金1.2.2
浏览 2提问于2013-09-28得票数 0
在MVC模式中为方法定义访问控制的最佳实践是什么。在像ATM (客户机-服务器模型)这样的场景中，我不确定在哪里使用静态方法。我在用Java。
感谢有人能对此有所了解。
这是我以前给出的类图的方法。
首先我设计了所有的屏幕，画在一张纸上。，然后我创建了视图类，创建了模型类，方法是研究每个模型的场景和使用数据，为每个模型创建了控制器，还有一些额外的控制器，通过查看屏幕中的按钮向控制器添加了方法，我认为这是一种绝对不会错过任何方法的方法？+一些用于GUI控制的附加方法等等。
你觉得我的方法怎么样？
谢谢。
浏览 2提问于2011-09-20得票数 0
回答已采纳
“软件抽象”一书中有一个对一组网络进程建模的例子。每个进程连接到另一个进程。为了描述这一点，我在一张纸上画了这张图：
我将该图表解释为:每个流程都有一个后续流程。
但我想:这是不对的。如果它是一个UML模型，那么它将是正确的，但它不是一个对合金模型的正确描述。
经过一些思考，我得出了这样的描述:流程有一组(原子)值；每个值代表网络中的一个进程。succ有一组对，每对表示从一个进程到另一个进程的连接。流程中的每个值都与进程中的一个值成对。
你同意这种描述吗？您是否同意，上面的图表代表的是一个非常不同的东西在合金与它所做的在UML？
也许上面的图表更适合UML，下面的图表更适合合金：
浏览 0提问于2017-02-11得票数 0
回答已采纳
下面是个人及其父亲的模型。我想要合金分析器显示模型的一个实例。在合金工具中，我选择"Run“(在”执行“菜单中)。然后我选择“显示”按钮。下面是Visualizer显示的内容：
我不知道那是什么意思。我点击主题，我没有看到任何帮助我“解开”原子。帮助!为什么Visualizer会显示这个呢？
sig Person {father: Person}
fact {
no p: Person | p in p.^father
}
pred Show {}
run Show
浏览 1提问于2016-11-12得票数 0
回答已采纳
我已经通过应用程序商店在iOS上发布了一个钛合金应用程序。它使用合金模型、视图和控制器，因此保存用户通过合金.save()方法输入的所有数据。我最近收到一位用户的反馈，在他们最近的更新之后，他们的数据被擦除了，他们保存的信息没有一个是完好无损的。
我认为，合金数据库被保存在设备的私有文档中，因此当用户更新应用程序时，它保持完好无损。这是真的吗？
我可以对哪些事情进行故障排除以查看哪里出了问题？我还没有写任何代码来从数据库中删除任何东西。
浏览 0提问于2014-06-26得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
