A note on the expressiveness of BIP

Eduard Baranov; Simon Bliudze

doi:10.4204/EPTCS.222.1

A note on the expressiveness of BIP

Eduard Baranov
, Simon Bliudze

ENAC-IIC-GEL

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

2 Citations (Scopus)

Résumé

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.

langue originale	Anglais
Pages (de - à)	1-14
Nombre de pages	14
journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	222
Les DOIs	https://doi.org/10.4204/EPTCS.222.1
état	Publié - 9 août 2016
Modification externe	Oui
Evénement	23rd Combined International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016 - Quebec City, Canada Durée: 22 août 2016 → …

Accès au document

10.4204/EPTCS.222.1

Contient cette citation

@article{bd212c3e46fc46299f6fe2af5e79dedc,

title = "A note on the expressiveness of BIP",

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.",

author = "Eduard Baranov and Simon Bliudze",

note = "Publisher Copyright: {\textcopyright} E. Baranov \& S. Bliudze.; 23rd Combined International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016 ; Conference date: 22-08-2016",

year = "2016",

month = aug,

day = "9",

doi = "10.4204/EPTCS.222.1",

language = "English",

volume = "222",

pages = "1--14",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - A note on the expressiveness of BIP

AU - Baranov, Eduard

AU - Bliudze, Simon

N1 - Publisher Copyright: © E. Baranov & S. Bliudze.

PY - 2016/8/9

Y1 - 2016/8/9

N2 - 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.

AB - 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.

U2 - 10.4204/EPTCS.222.1

DO - 10.4204/EPTCS.222.1

M3 - Conference article

AN - SCOPUS:84992051953

SN - 2075-2180

VL - 222

SP - 1

EP - 14

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 23rd Combined International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016

Y2 - 22 August 2016

ER -

A note on the expressiveness of BIP

Résumé

Accès au document

Empreinte digitale

Contient cette citation