Using Automata of Records as the Semantics of BIP Coordination Model

Please enable javascript in your browser.

Mirahmadi, Mitra | 2017

555 Viewed

Type of Document: M.Sc. Thesis
Language: Farsi
Document No: 50967 (19)
University: Sharif University of Technology
Department: Computer Engineering
Advisor(s): Izadi, Mohammad
Abstract:
In component-based design, each system consists of a set of heterogeneous components that are in interaction with each other. In this approach of design, computation is executed by the components, and their interactions are considered individually. BIP and Reo are coordination languages implemented in component-based modeling of systems. The BIP framework has a layered structure to separate interactions from the calculations. There are several approachesfor the formal definition of BIP layers. There are also semantics for BIP, based on two data-based and data-agnostic approaches. On the other hand, automata of records of a model is an operational semantics for Reo coordination language, one of the advantages of which is the fair connectors modeling. This semantics for modeling the concepts of coordination in BIP is also represented in this report. After introducing the BIP coordination language and representing automata of records as its semantics, the applications are represented by examples. And it is reviewed that how fair connectors can be the new method to solving problems. Finally suggestions are represented for following studies practically and theorically
Keywords:
Reo Modeling Language ; Semantics ; Probabilistic Buchi Automata ; Component Besed Design ; BIP Coordination Language

No TOC