Modeling and analysis of Reo connectors using Alloy

被引：0

作者：

Khosravi, Ramtin ^{[1
]}

Sirjani, Marjan ^{[1
]}

Asoudeh, Nesa ^{[1
]}

Sahebi, Shaghayegh ^{[1
]}

Iravanchi, Hamed ^{[1
]}

机构：

[1] Univ Tehran, Sch Elect & Comp Engn, Tehran, Iran

来源：

COORDINATION MODELS AND LANGUAGES, PROCEEDINGS | 2008年 / 5052卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Reo is an exogenous coordination language based on a calculus of channel composition. Different formal models have been developed for this language. In this paper, we present a new approach to modeling and analysis of Reo connectors using Alloy which is a lightweight modeling language based on first-order relational logic. We provide a reusable library of Reo channels in Alloy that can be used to create a model of a Reo connector in Alloy. The model is simple and reflects the original structure of the connector. Furthermore, the model of a connector can be reused as a component for constructing more complex connectors. Using the Alloy Analyzer tool, properties expressed as predicates can be verified by automatically analyzing the execution traces of the Reo connector. We handle the context-sensitive behavior of channels as well as optional constraints on the interactions with environment. Our compositional model can be used as an alternative to other existing approaches, and is supported by a well known tool with a rich set of features such as counterexample generation.

引用

页码：169 / 183

页数：15

共 50 条

[41] Signal-integrity modeling of gigabit backplanes, cables, and connectors using TDR [J].

Smolyansky, D .

EDN, 2002, 47 (15) :63-+

[42] Behavior modeling on the pim performance in connectors using fea method and circuit simulation [J].

Dun S. ;

Jin Q.Y. ;

Bi L.Y. ;

Wang Z. ;

Xie J. .

Journal of China Universities of Posts and Telecommunications, 2021, 28 (01) :87-93

[43] Modeling and Analysis of the Effect of Signal Frequency on the Contact Surface Temperature of Coaxial Connectors [J].

Zhou, Yuqi ;

Gao, Jinchun ;

Flowers, George T. .

PROCEEDINGS OF THE 2019 65TH IEEE HOLM CONFERENCE ON ELECTRICAL CONTACTS (ELECTRICAL CONTACTS-2019), 2019, :270-277

[44] MODELING AND DESIGN OF CONTACTS IN ELECTRICAL CONNECTORS [J].

Albers, Albert ;

Martin, Paul ;

Lorentz, Benoit .

PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN (ICED 11), IMPACTING SOCIETY THROUGH ENGINEERING DESIGN, VOL 4: PRODUCT AND SYSTEMS DESIGN, 2011, 4 :268-277

[45] Equivalent circuit modeling of board connectors [J].