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...
Uložené v:
| Vydané v: | Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002) s. 188 - 195 |
|---|---|
| Hlavní autori: | , , , , , |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
IEEE
2002
|
| Predmet: | |
| ISBN: | 9780769515762, 0769515762 |
| ISSN: | 1530-1443 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| 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/eLvHCXMwlV07T8MwED6VioGpQIt4ywMjbp3EieMNhKiYqkqA6Fb5KXVJq75-P2cnDUJiYUscKYnOj_u-s-8-gAevNOIKRG65VJrioGC0dDynmeTWJ6rAYcWj2ISYTMrZTE478Njmwjjn4uEzNwyXcS_fLs0uhMpGMRad44J7JISoc7XaeAoLG07BtTZki2VRoBgnNKNIGrKasiOeQICdNpV32vtDNg2Toy_kXu_x6MKw-dwv3ZXodsa9__3wKQx-8vfItPVMZ9Bx1Tn0DgIOpJnPfXh6roiyahWWPGJDCd2gfuUsqes7k-DiLFlWBEmzXdRRQ3KQzcWXbAbwOX79eHmjjaQCXSBO2NKkMFlqWGq1koXwTHkvXKqN8mWimM4NdyrhXrPSl8jM8IHIuJWeM4XcTGXZBXSrZeUugTBnCsMMtwgYONI6nXipU2xCY5eFTa-gHwwyX9VVM-aNLa7_br6Bk6izEoMbt9DdrnfuDo7NfrvYrO9jV38DYdKh-A |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8NAEB5KFfRUtRXf7sGj226SzeumiKViLQUr9lb2Cb2kpQ9_v7ObNCJ48ZZsIAmzj_m-2Z35AO6skIgrELnFuZAUBwWjmeExjXKubSASHFbci02ko1E2nebjBtzXuTDGGH_4zHTdpd_L1wu1daGyno9Fx7jg7sWch0GZrVVHVJjbcnLOtaJbLPISxTilGUXaEJWkHREFQuywqr1T3-_yaVje-0T29e4PL3SrD_5SXvGOp9_63y8fQecng4-Ma990DA1TnEBrJ-FAqhndhofHgggtlm7RI9oV0XX6V0aTssIzcU5Ok0VBkDbreRk3JDvhXHzJugMf_efJ04BWogp0jkhhQ4NERaFioZYiT1LLhLWpCaUSNgsEk7HiRgTcSpbZDLkZPkgjrnPLmUB2JqLoFJrFojBnQJhRiWKKa4QMHImdDGwuQ2xCY2eJDs-h7QwyW5Z1M2aVLS7-br6Fg8HkbTgbvoxeL-HQq674UMcVNDerrbmGffW1ma9XN77bvwEFnqU_ |
| 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 |