A Note on the Expressiveness of BIP

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

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2016-08
Main Authors: Baranov, Eduard, Bliudze, Simon
Format: Article
Language:English
Subjects:
Constraint modelling
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page
container_issue
container_start_page
container_title arXiv.org
container_volume
creator Baranov, Eduard
Bliudze, Simon
description 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.
doi_str_mv 10.48550/arxiv.1608.03125
format article
fullrecord <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_2079523230</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2079523230</sourcerecordid><originalsourceid>FETCH-LOGICAL-a520-e2f366cae5ce3e3f731dfe0e6b6633d94b2b8b8eb198476e7778044bbc2ff9f3</originalsourceid><addsrcrecordid>eNotzc1qAjEUQOFQKFSsD9BdwPVMb-7N3yyt2FYQFXQvk_GGKjLRySg-foV29e3OEeJNQam9MfBed_fDrVQWfAmk0DyJARKpwmvEFzHK-QgAaB0aQwMxnshl6lmmVvY_LGf3c8c5H27cPpApyo_5-lU8x_qUefTvUGw-Z9vpd7FYfc2nk0VRG4SCMZK1Tc2mYWKKjtQ-MrAN1hLtKx0w-OA5qMprZ9k550HrEBqMsYo0FOO_6rlLlyvnfndM1659DHcIrjJISEC_T2c_LQ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2079523230</pqid></control><display><type>article</type><title>A Note on the Expressiveness of BIP</title><source>Publicly Available Content Database (Proquest) (PQ_SDU_P3)</source><creator>Baranov, Eduard ; Bliudze, Simon</creator><creatorcontrib>Baranov, Eduard ; Bliudze, Simon</creatorcontrib><description>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.</description><identifier>EISSN: 2331-8422</identifier><identifier>DOI: 10.48550/arxiv.1608.03125</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Constraint modelling</subject><ispartof>arXiv.org, 2016-08</ispartof><rights>2016. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.proquest.com/docview/2079523230?pq-origsite=primo$$EHTML$$P50$$Gproquest$$Hfree_for_read</linktohtml><link.rule.ids>780,784,25751,27923,37010,44588</link.rule.ids></links><search><creatorcontrib>Baranov, Eduard</creatorcontrib><creatorcontrib>Bliudze, Simon</creatorcontrib><title>A Note on the Expressiveness of BIP</title><title>arXiv.org</title><description>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.</description><subject>Constraint modelling</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2016</creationdate><recordtype>article</recordtype><sourceid>PIMPY</sourceid><recordid>eNotzc1qAjEUQOFQKFSsD9BdwPVMb-7N3yyt2FYQFXQvk_GGKjLRySg-foV29e3OEeJNQam9MfBed_fDrVQWfAmk0DyJARKpwmvEFzHK-QgAaB0aQwMxnshl6lmmVvY_LGf3c8c5H27cPpApyo_5-lU8x_qUefTvUGw-Z9vpd7FYfc2nk0VRG4SCMZK1Tc2mYWKKjtQ-MrAN1hLtKx0w-OA5qMprZ9k550HrEBqMsYo0FOO_6rlLlyvnfndM1659DHcIrjJISEC_T2c_LQ</recordid><startdate>20160810</startdate><enddate>20160810</enddate><creator>Baranov, Eduard</creator><creator>Bliudze, Simon</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope></search><sort><creationdate>20160810</creationdate><title>A Note on the Expressiveness of BIP</title><author>Baranov, Eduard ; Bliudze, Simon</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a520-e2f366cae5ce3e3f731dfe0e6b6633d94b2b8b8eb198476e7778044bbc2ff9f3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2016</creationdate><topic>Constraint modelling</topic><toplevel>online_resources</toplevel><creatorcontrib>Baranov, Eduard</creatorcontrib><creatorcontrib>Bliudze, Simon</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central</collection><collection>ProQuest Central Essentials</collection><collection>AUTh Library subscriptions: ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>SciTech Premium Collection (Proquest) (PQ_SDU_P3)</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Publicly Available Content Database (Proquest) (PQ_SDU_P3)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><jtitle>arXiv.org</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Baranov, Eduard</au><au>Bliudze, Simon</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A Note on the Expressiveness of BIP</atitle><jtitle>arXiv.org</jtitle><date>2016-08-10</date><risdate>2016</risdate><eissn>2331-8422</eissn><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.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><doi>10.48550/arxiv.1608.03125</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier EISSN: 2331-8422
ispartof arXiv.org, 2016-08
issn 2331-8422
language eng
recordid cdi_proquest_journals_2079523230
source Publicly Available Content Database (Proquest) (PQ_SDU_P3)
subjects Constraint modelling
title A Note on the Expressiveness of BIP
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-13T10%3A54%3A00IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20Note%20on%20the%20Expressiveness%20of%20BIP&rft.jtitle=arXiv.org&rft.au=Baranov,%20Eduard&rft.date=2016-08-10&rft.eissn=2331-8422&rft_id=info:doi/10.48550/arxiv.1608.03125&rft_dat=%3Cproquest%3E2079523230%3C/proquest%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-a520-e2f366cae5ce3e3f731dfe0e6b6633d94b2b8b8eb198476e7778044bbc2ff9f3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=2079523230&rft_id=info:pmid/&rfr_iscdi=true