Extended Connectors: Structuring Glue Operators in BIP
Based on a variation of the BIP operational semantics using the offer predicate introduced in our previous work, we extend the algebras used to model glue operators in BIP to encompass priorities. This extension uses the Algebra of Causal Interaction Trees, T(P), as a pivot: existing transformations...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2013-10-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1310.4571v1 |
| _version_ | 1818115135072370688 |
|---|---|
| author | Eduard Baranov Simon Bliudze |
| author_facet | Eduard Baranov Simon Bliudze |
| author_sort | Eduard Baranov |
| collection | DOAJ |
| description | Based on a variation of the BIP operational semantics using the offer predicate introduced in our previous work, we extend the algebras used to model glue operators in BIP to encompass priorities. This extension uses the Algebra of Causal Interaction Trees, T(P), as a pivot: existing transformations automatically provide the extensions for the Algebra of Connectors. We then extend the axiomatisation of T(P), since the equivalence induced by the new operational semantics is weaker than that induced by the interaction semantics. This extension leads to canonical normal forms for all structures and to a simplification of the algorithm for the synthesis of connectors from Boolean coordination constraints. |
| first_indexed | 2024-12-11T04:01:48Z |
| format | Article |
| id | doaj.art-976e98954bae4df49e7bbd4531bd5f4f |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-11T04:01:48Z |
| publishDate | 2013-10-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-976e98954bae4df49e7bbd4531bd5f4f2022-12-22T01:21:37ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802013-10-01131Proc. ICE 2013203510.4204/EPTCS.131.3Extended Connectors: Structuring Glue Operators in BIPEduard BaranovSimon BliudzeBased on a variation of the BIP operational semantics using the offer predicate introduced in our previous work, we extend the algebras used to model glue operators in BIP to encompass priorities. This extension uses the Algebra of Causal Interaction Trees, T(P), as a pivot: existing transformations automatically provide the extensions for the Algebra of Connectors. We then extend the axiomatisation of T(P), since the equivalence induced by the new operational semantics is weaker than that induced by the interaction semantics. This extension leads to canonical normal forms for all structures and to a simplification of the algorithm for the synthesis of connectors from Boolean coordination constraints.http://arxiv.org/pdf/1310.4571v1 |
| spellingShingle | Eduard Baranov Simon Bliudze Extended Connectors: Structuring Glue Operators in BIP Electronic Proceedings in Theoretical Computer Science |
| title | Extended Connectors: Structuring Glue Operators in BIP |
| title_full | Extended Connectors: Structuring Glue Operators in BIP |
| title_fullStr | Extended Connectors: Structuring Glue Operators in BIP |
| title_full_unstemmed | Extended Connectors: Structuring Glue Operators in BIP |
| title_short | Extended Connectors: Structuring Glue Operators in BIP |
| title_sort | extended connectors structuring glue operators in bip |
| url | http://arxiv.org/pdf/1310.4571v1 |
| work_keys_str_mv | AT eduardbaranov extendedconnectorsstructuringglueoperatorsinbip AT simonbliudze extendedconnectorsstructuringglueoperatorsinbip |