This paper extends the software architecture environment Armani wit h the ability of behavioral specification and verification in a real-time linear temporal logic framework using timed automata as computing models.
以实时线性时态逻辑作为逻辑框架，以时控自动机作为计算模型，扩展了软件体 系结构环境Armani的行为规范说明与验证的能力。
参考来源 - 软件体系结构环境中的行为规范说明与验证 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
行为规范。
With such a behavioral specification, any implementing service can be validated against not only a static but dynamic specification of its structure and behavior.
有了这样一个行为的规约说明，任何实现服务相对于不仅是静态的而且是动态的结构和行为的规约说明，都可以是有效的。
The behavioral specification for this ordering service might then describe how you cannot update or cancel an order you did not place, or that after you have canceled an order it cannot be updated.
此订购服务的行为规范可能会说明，您如何不能更新或取消没有订购的订单，或者在您取消订单之后就不能再对其更新。
应用推荐