Implementing Distributed Controllers for Systems with Priorities
Implementing a component-based system in a distributed way so that it ensures some global constraints is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a priority order amongst...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2010-07-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1007.5090v1 |
| _version_ | 1811260081702961152 |
|---|---|
| author | Imene Ben-Hafaiedh Susanne Graf Hammadi Khairallah |
| author_facet | Imene Ben-Hafaiedh Susanne Graf Hammadi Khairallah |
| author_sort | Imene Ben-Hafaiedh |
| collection | DOAJ |
| description | Implementing a component-based system in a distributed way so that it ensures some global constraints is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a priority order amongst them. In the context of distributed systems, such a controller must be executed in a distributed fashion while still respecting the global constraints imposed by interactions and priorities. We present in this paper an implementation of an algorithm that allows a distributed execution of systems with (binary) interactions and priorities. We also present a comprehensive simulation analysis that shows how sensitive to changes our algorithm is, in particular changes related to the degree of conflict in the system. |
| first_indexed | 2024-04-12T18:42:19Z |
| format | Article |
| id | doaj.art-260fa6562c5740aeb2ed88902b0f51da |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-04-12T18:42:19Z |
| publishDate | 2010-07-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-260fa6562c5740aeb2ed88902b0f51da2022-12-22T03:20:44ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802010-07-0130Proc. FOCLASA 2010314610.4204/EPTCS.30.3Implementing Distributed Controllers for Systems with PrioritiesImene Ben-HafaiedhSusanne GrafHammadi KhairallahImplementing a component-based system in a distributed way so that it ensures some global constraints is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a priority order amongst them. In the context of distributed systems, such a controller must be executed in a distributed fashion while still respecting the global constraints imposed by interactions and priorities. We present in this paper an implementation of an algorithm that allows a distributed execution of systems with (binary) interactions and priorities. We also present a comprehensive simulation analysis that shows how sensitive to changes our algorithm is, in particular changes related to the degree of conflict in the system.http://arxiv.org/pdf/1007.5090v1 |
| spellingShingle | Imene Ben-Hafaiedh Susanne Graf Hammadi Khairallah Implementing Distributed Controllers for Systems with Priorities Electronic Proceedings in Theoretical Computer Science |
| title | Implementing Distributed Controllers for Systems with Priorities |
| title_full | Implementing Distributed Controllers for Systems with Priorities |
| title_fullStr | Implementing Distributed Controllers for Systems with Priorities |
| title_full_unstemmed | Implementing Distributed Controllers for Systems with Priorities |
| title_short | Implementing Distributed Controllers for Systems with Priorities |
| title_sort | implementing distributed controllers for systems with priorities |
| url | http://arxiv.org/pdf/1007.5090v1 |
| work_keys_str_mv | AT imenebenhafaiedh implementingdistributedcontrollersforsystemswithpriorities AT susannegraf implementingdistributedcontrollersforsystemswithpriorities AT hammadikhairallah implementingdistributedcontrollersforsystemswithpriorities |