Modes in Asynchronous Systems

Jean-François Rolland,Jean-Paul Bodeveix,Mamoun Filali,David Chemouil,Dave Thomas

Belfast（2008）

引用 21|浏览0

暂无评分

摘要

In this paper we study the mode concept in asynchronous systems. First, we propose an abstract TLA+ specification. Then, we discuss how the mode concepts proposed by the two architecture languages: Giotto and AADL could be related to this abstraction.

查看译文

关键词

modes,abstract tla,specification languages,architecture language,asynchronous system,mode concept,specification,giotto,asynchronous systems,abstract data types,tla,architecture languages,aadl,formal specification

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要