Towards a Model-Based Refinement Process for Contractual State Machines

机译：面向合同状态机的基于模型的优化过程

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present a rigorous model-based approach to the stepwise design of contractual state machines, which are a simplified form of state charts extended with declarative specifications. The approach is based on application of a set of refinement patterns, that can be validated against a formal semantics, and that are implemented using update-in-place model transformations. We describe the integrated tool support we are implementing for this model-based approach, and illustrate the approach with small examples.

机译：我们为契约状态机的逐步设计提出了一种基于模型的严格方法，契约状态机是状态图的简化形式，具有声明性规范。该方法基于一组精化模式的应用，这些精化模式可以针对形式语义进行验证，并且可以使用就地更新模型转换来实现。我们描述了我们正在为基于模型的方法实现的集成工具支持，并通过一些小例子来说明该方法。

著录项

来源
《Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORC Workshops 2010)》|2010年|P.108-115|共8页
会议地点 Carmona(ES);Carmona(ES)
作者
Harbird Lishan; Galloway Andy; Paige Richard F.;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类 TP311.132.1;
关键词
contracts; reactive systems; refinement patterns; state machines;

机译：合同;反应系统;提炼模式;状态机;

相似文献

外文文献
中文文献
专利

1. Productivity Increase – Model-based optimisation of NC-controlled milling processes to reduce machining time and improve process quality [J] . C. Brecher, M. Wiesch, F. Wellmann IFAC PapersOnLine . 2019,第13期

机译：生产率提高–基于模型的NC控制铣削工艺优化，以减少加工时间并提高工艺质量
2. Productivity Increase – Model-based optimisation of NC-controlled milling processes to reduce machining time and improve process quality [J] . C. Brecher, M. Wiesch, F. Wellmann IFAC PapersOnLine . 2019,第13期

机译：生产率提高–基于模型的NC控制铣削工艺优化，以减少加工时间并提高工艺质量
3. Effect of Grain Refinement on Corrosion Rate, Mechanical and Machining Behavior of Friction Stir Processed ZE41 Mg Alloy [J] . Venkataiah M., Kumar T. Anup, Rao K. Venkata, Transactions of the Indian Institute of Metals . 2019,第1期

机译：晶粒细化对摩擦搅拌加工ZE41镁合金腐蚀速率，机械加工行为的影响
4. Towards a Model-Based Refinement Process for Contractual State Machines [C] . Harbird L., Galloway A., Paige R.F. Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORC Workshops 2010) . 2010

机译：面向合同状态机的基于模型的优化过程
5. A process model-based monitoring and fault diagnosis methodology for free-form surface machining process. [D] . Zhu, Rixin. 2001

机译：基于过程模型的自由曲面加工过程的监视和故障诊断方法。
6. Frealix: Model-based refinement of helical filament structures from electron micrographs [O] . Alexis Rohou, Nikolaus Grigorieff -1

机译：Frealix：基于模型的螺旋形细丝结构的电子显微照片
7. C5.2 Indirect Geometry Measurement for Laser Chemical Machining Using a Model-based Signal Processing Approach [O] . M. Mikulewitsch, D. Stöbener, A. Fischer 2021

机译：C5.2使用基于模型的信号处理方法的激光化学加工的间接几何测量
8. Data Refinement for Confidence Management in Model-Based Predictions [R] . Ghanem, R. 2004

机译：基于模型的预测中置信度管理的数据细化

Towards a Model-Based Refinement Process for Contractual State Machines

摘要

著录项

相似文献

相关主题

期刊订阅