Publication

A Note on the Expressiveness of BIP

Simon Bliudze, Eduard Baranov
2016
Conference Papers

Abstract

We extend our previous algebraic formalisation of the notion of component-based framework in order to formally define two forms, strong and weak, of the notion of full expressiveness. Our earlier result shows that the BIP (Behaviour-Interaction-Priority) framework does not possess the strong full expressiveness. In this paper, we show that BIP has the weak form of this notion and provide results detailing weak and strong full expressiveness for classical BIP and several modifications, obtained by relaxing the constraints imposed on priority models.

Official source

https://infoscience.epfl.ch/entities/publication/2259b876-ce32-4d45-adaa-5f7f56ad2aad

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

A Note on the Expressiveness of BIP

Chat with Graph Search

Chiral Anomaly and Dynamos from Inhomogeneous Chemical Potential Fluctuations

Measurement of the Higgs boson production via vector boson fusion and its decay into bottom quarks in proton-proton collisions at √s=13 TeV

Search for CP violating top quark couplings in pp collisions at √s=13 TeV