ENGINEERING CONCURRENT AND REACTIVE SYSTEMS WITH DISTRIBUTED REAL-TIME ABSTRACT STATE MACHINES

机译：分布式实时抽象状态机的工程并行和无功系统

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

This paper revisits the distributed real-time abstract state machine (ASM) paradigm as a feasible, yet robust, approach to high-level specification and design of distributed embedded systems. The flexibility in modeling reactive system behavior, the well defined underlying concurrency framework, and the ability to gradually sharpen requirements into specifications, inspires viewing the ASM paradigm as an agile formalization method that directly supports fundamental practical needs in modeling such systems.

机译：本文将分布式实时抽象状态机（ASM）范式重新审视为一种可行的，但功能强大的，用于分布式嵌入式系统的高级规范和设计的方法。对反应式系统行为进行建模的灵活性，定义明确的底层并发框架以及将需求逐步提高为规范的能力，激发了将ASM范式视为一种敏捷的形式化方法，该方法直接支持对此类系统进行建模的基本实际需求。

著录项

来源
《IFIP 150; IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems(DIPES 2004); 20040822-27; Toulouse(FR)》|2004年|P.297-306|共10页
会议地点 Toulouse(FR)
作者
Uwe Glaesser; Mona Vajihollahi;
展开▼
作者单位

School of Computing Science, Simon Fraser University, Burnaby, BC, Canada V5A 1S6;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类新技术的应用;
关键词
distributed embedded systems; requirements specification; agile formalization;

机译：分布式嵌入式系统；需求规范；敏捷形式化;

相似文献

外文文献
中文文献
专利

1. The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering [J] . Martin Ouimet, Kristina Lundqvist Journal of Universal Computer Science . 2008,第12期

机译：定时抽象状态机语言：实时系统工程的抽象状态机
2. Concurrency control in mobile distributed real-time database systems [J] . Lei Xiangdong, Zhao Yuelong, Chen Songqiao, Journal of Parallel and Distributed Computing . 2009,第10期

机译：移动分布式实时数据库系统中的并发控制
3. Weak Serializable Concurrency Control in Distributed Real-Time Database Systems [J] . DANG De-Peng, LIU Yun-Sheng, PAN Lin Journal of Shanghai University . 2002,第4期

机译：分布式实时数据库系统中的弱可序列化并发控制
4. ENGINEERING CONCURRENT AND REACTIVE SYSTEMS WITH DISTRIBUTED REAL-TIME ABSTRACT STATE MACHINES [C] . Uwe Glaesser, Mona Vajihollahi, International Federation for Information Processing(IFIP), IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems . 2004

机译：具有分布式实时抽象状态机的工程并发和反应系统
5. On the design of concurrent, distributed real-time systems. [D] . Zhao, Yang. 2009

机译：关于并发，分布式实时系统的设计。
6. Real-time PCR Machine System Modeling and a Systematic Approach for the Robust Design of a Real-time PCR-on-a-Chip System [O] . Da-Sheng Lee 2010

机译：实时PCR机系统建模和系统可靠的实时芯片上PCR系统的系统方法
7. Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines [O] . Uwe Glässer, Mona Vajihollahi -1

机译：具有分布式实时抽象状态机的工程并发和反应系统

ENGINEERING CONCURRENT AND REACTIVE SYSTEMS WITH DISTRIBUTED REAL-TIME ABSTRACT STATE MACHINES

摘要

著录项

相似文献

相关主题

期刊订阅