An adaptive distributed system based on conditional dependencies

Distributed programming is applicable in a wide range of domains, such as control systems. These systems are subject to mutable environments and must also provide a time-varying adaptive set of functionalities. An adaptive system is defined by means of two main features: (i) an approach to specify t...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002) S. 188 - 195
Hauptverfasser: Pirmez, L., Carmo, L.F.R.C., Correia, R.D.B., Correa, R.F., Gomes, R.L., de Bacellar, L.F.H.
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 2002
Schlagworte:
Adaptive control
Adaptive systems
Control systems
Distributed computing
Distributed processing
Multimedia systems
Programmable control
Real time systems
Silver
Time varying systems
ISBN:9780769515762, 0769515762
ISSN:1530-1443
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract Distributed programming is applicable in a wide range of domains, such as control systems. These systems are subject to mutable environments and must also provide a time-varying adaptive set of functionalities. An adaptive system is defined by means of two main features: (i) an approach to specify the correspondence between objects and resources, and (ii) the related mechanisms to dynamically assure that the correct set of objects is running. The conditional dependency concept has proven to be an efficient way to specify this kind of correspondence between resources and objects for adaptive systems in the context of multimedia distributed processing (in the ServiMidia Project). This paper presents a framework for designing general-purpose adaptive systems anchored on the concept of conditional dependencies. As the use of such an approach may lead to inconsistent system behaviour when specifying very large systems, we show that it is easy to design verification tools based on the same framework mechanisms.
AbstractList Distributed programming is applicable in a wide range of domains, such as control systems. These systems are subject to mutable environments and must also provide a time-varying adaptive set of functionalities. An adaptive system is defined by means of two main features: (i) an approach to specify the correspondence between objects and resources, and (ii) the related mechanisms to dynamically assure that the correct set of objects is running. The conditional dependency concept has proven to be an efficient way to specify this kind of correspondence between resources and objects for adaptive systems in the context of multimedia distributed processing (in the ServiMidia Project). This paper presents a framework for designing general-purpose adaptive systems anchored on the concept of conditional dependencies. As the use of such an approach may lead to inconsistent system behaviour when specifying very large systems, we show that it is easy to design verification tools based on the same framework mechanisms.
Author Pirmez, L.
Carmo, L.F.R.C.
Correia, R.D.B.
Correa, R.F.
de Bacellar, L.F.H.
Gomes, R.L.
Author_xml – sequence: 1
  givenname: L.
  surname: Pirmez
  fullname: Pirmez, L.
  organization: Dept. Nucleo de Computacao Eletronica, Fed. Univ. of Rio de Janeiro, Brazil
– sequence: 2
  givenname: L.F.R.C.
  surname: Carmo
  fullname: Carmo, L.F.R.C.
  organization: Dept. Nucleo de Computacao Eletronica, Fed. Univ. of Rio de Janeiro, Brazil
– sequence: 3
  givenname: R.D.B.
  surname: Correia
  fullname: Correia, R.D.B.
  organization: Dept. Nucleo de Computacao Eletronica, Fed. Univ. of Rio de Janeiro, Brazil
– sequence: 4
  givenname: R.F.
  surname: Correa
  fullname: Correa, R.F.
  organization: Dept. Nucleo de Computacao Eletronica, Fed. Univ. of Rio de Janeiro, Brazil
– sequence: 5
  givenname: R.L.
  surname: Gomes
  fullname: Gomes, R.L.
  organization: Dept. Nucleo de Computacao Eletronica, Fed. Univ. of Rio de Janeiro, Brazil
– sequence: 6
  givenname: L.F.H.
  surname: de Bacellar
  fullname: de Bacellar, L.F.H.
BookMark eNotj9tKAzEYhANWsNZ9Ab3ZF9ia42ZzZ6lHKBQ84GX5k_yBSJtdNlHo27ti52YYvmFgLsks9QkJuWZ0yRg1t5_b1_u3JaeULxmdpPgZqYzuqG6NYkq3fEbmTAnaMCnFBaly_vrrCaO0bufkbpVq8DCU-IO1j7mM0X4X9HU-5oKH2kKeQp9q1ycfS-wT7GuPAyaPyUXMV-Q8wD5jdfIF-Xh8eF8_N5vt08t6tWki06o0rHWCO8q9BdPqQCEEjdw6CB0DapWTCEwGS7vQGS4noIX0JkgKvOMgxILc_O9GRNwNYzzAeNydPotfPURNXQ
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/WORDS.2002.1000052
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 195
ExternalDocumentID 1000052
GroupedDBID 29O
6IE
6IF
6IK
6IL
6IN
AAJGR
AAWTH
ACGFS
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IPLJI
M43
OCL
RIE
RIL
RNS
ID FETCH-LOGICAL-i175t-16c32c02dba967f0aff7e2bcaf81a0b5c4ea14fb08f8924bca734d9f40a282a33
IEDL.DBID RIE
ISBN 9780769515762
0769515762
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000176202500023&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1530-1443
IngestDate Tue Aug 26 17:34:42 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i175t-16c32c02dba967f0aff7e2bcaf81a0b5c4ea14fb08f8924bca734d9f40a282a33
PageCount 8
ParticipantIDs ieee_primary_1000052
PublicationCentury 2000
PublicationDate 20020000
PublicationDateYYYYMMDD 2002-01-01
PublicationDate_xml – year: 2002
  text: 20020000
PublicationDecade 2000
PublicationTitle Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002)
PublicationTitleAbbrev WORDS
PublicationYear 2002
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000395776
ssj0020345
Score 1.4835999
Snippet Distributed programming is applicable in a wide range of domains, such as control systems. These systems are subject to mutable environments and must also...
SourceID ieee
SourceType Publisher
StartPage 188
SubjectTerms Adaptive control
Adaptive systems
Control systems
Distributed computing
Distributed processing
Multimedia systems
Programmable control
Real time systems
Silver
Time varying systems
Title An adaptive distributed system based on conditional dependencies
URI https://ieeexplore.ieee.org/document/1000052
WOSCitedRecordID wos000176202500023&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwED6VioGJR4t4ywMjbp3YjeMNhKiYqkqA6Fb5KXVJqz74_ZydNAiJhS2JlcSydb77PvvuA7gXVjAXAtq3ygwVJi-oYcpQVWqlde5VMCGJTcjJpJzN1LQDD20ujPc-HT7zg3iZ9vLd0u4iVTZMXPQIF9wDKWWdq9XyKSxuOEXX2oAtxpNAMRo0owgaeA3ZMZ7AADtvKu-09_tsGqaGn4i93tLRhUHzu1-6K8ntjI__1-ET6P_k75Fp65lOoeOrMzjeCziQxp578PhUEe30Ki55xMUSulH9yjtS13cm0cU5sqwIgma3qFlDspfNxY9s-vAxfnl_fqWNpAJdYJywpVlheW5Z7oxWhQxMhyB9bqwOZaaZGVnhdSaCYWUoEZlhg-TCqSCYRmymOT-HbrWs_AUQnjlVOC8iEYKoB1_mvDBSm5ESznB7Cb04IPNVXTVj3ozF1d-Pr-Eo6aywjObqBrrb9c7fwqH92i4267s01d_bYaMv
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEA6lCnqq2opvc_Bo2uwm-8hNEUvFWgpW7K3kCb1sSx_-fifZ7Yrgxdvuht0NCZOZ70tmPoTuuObUOAf2LSJFuIpToqhQRORSSBlb4ZQLYhPZaJRPp2LcQPd1Loy1Nhw-s11_GfbyzUJvPVXWC1x0AgvuXsJ5HJXZWjWjQv2Wk3euFdyiLEgUg0lTArCBlaAdIgoIseOq9k59v8unoaL3CejrPRxe6FY__KW8EhxPv_W_Lh-hzk8GHx7XvukYNWxxglo7CQdcWXQbPTwWWBq59IseNr6Irte_sgaXFZ6xd3IGLwoMsNnMS94Q74Rz4SPrDvroP0-eBqQSVSBziBQ2JEo1izWNjZIizRyVzmU2Vlq6PJJUJZpbGXGnaO5ywGbQkDFuhONUAjqTjJ2iZrEo7BnCLDIiNZZ7KgRwD7zMWKoyqRLBjWL6HLX9gMyWZd2MWTUWF38_vkUHg8nbcDZ8Gb1eosOguhKojivU3Ky29hrt66_NfL26CdP-DY6dpmw
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+Seventh+IEEE+International+Workshop+on+Object-Oriented+Real-Time+Dependable+Systems.+%28WORDS+2002%29&rft.atitle=An+adaptive+distributed+system+based+on+conditional+dependencies&rft.au=Pirmez%2C+L.&rft.au=Carmo%2C+L.F.R.C.&rft.au=Correia%2C+R.D.B.&rft.au=Correa%2C+R.F.&rft.date=2002-01-01&rft.pub=IEEE&rft.isbn=9780769515762&rft.issn=1530-1443&rft.spage=188&rft.epage=195&rft_id=info:doi/10.1109%2FWORDS.2002.1000052&rft.externalDocID=1000052
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1530-1443&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1530-1443&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1530-1443&client=summon