---
res:
bibo_abstract:
- 'We present a formalism for specifying component interfaces that expose component
requirements on limited resources. The formalism permits an algorithmic check
if two or more components, when put together, exceed the available resources.
Moreover, the formalism can be used to compute the quantity of resources necessary
for satisfying the requirements of a collection of components. The formalism can
be instantiated in several ways. For example, several components may draw power
from the same source. Then, the formalism supports compatibility checks such as:
can two components, when put together, achieve their tasks without ever exceeding
the available amount of peak power? or, can they achieve their tasks by using
no more than the initially available amount of energy (i.e., power accumulated
over time)? The corresponding quantitative questions that our algorithms answer
are the following: what is the amount of peak power needed for two components
to be put together? what is the corresponding amount of initial energy? To solve
these questions, we model interfaces with resource requirements as games with
quantitative objectives. The games are played on state spaces where each state
is labeled by a number (representing, e.g., power consumption), and a play produces
an infinite path of labels. The objective may be, for example, to minimize the
largest label that occurs during a play. We illustrate our approach by modeling
compatibility questions for the components of robot control software, and of wireless
sensor networks.@eng'
bibo_authorlist:
- foaf_Person:
foaf_givenName: Arindam
foaf_name: Chakrabarti, Arindam
foaf_surname: Chakrabarti
- foaf_Person:
foaf_givenName: Luca
foaf_name: de Alfaro, Luca
foaf_surname: De Alfaro
- foaf_Person:
foaf_givenName: Thomas A
foaf_name: Thomas Henzinger
foaf_surname: Henzinger
foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
orcid: 0000−0002−2985−7724
- foaf_Person:
foaf_givenName: Mariëlle
foaf_name: Stoelinga, Mariëlle
foaf_surname: Stoelinga
bibo_doi: 10.1007/978-3-540-45212-6_9
bibo_volume: 2855
dct_date: 2003^xs_gYear
dct_publisher: ACM@
dct_title: Resource interfaces@
...