Developing adaptive systems with synchronized architectures
In this paper we show how to specify and refine self-adapting systems, by employing the state-based formalism called action systems. Assuming a fixed set of possible configurations, we use a recently-introduced synchronization operator to achieve separation of concerns between adaptation policy, fau...
Uložené v:
| Vydané v: | The Journal of systems and software Ročník 79; číslo 11; s. 1514 - 1526 |
|---|---|
| Hlavní autori: | , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
New York
Elsevier Inc
01.11.2006
Elsevier Sequoia S.A |
| Predmet: | |
| ISSN: | 0164-1212, 1873-1228 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | In this paper we show how to specify and refine self-adapting systems, by employing the state-based formalism called action systems. Assuming a fixed set of possible configurations, we use a recently-introduced synchronization operator to achieve separation of concerns between adaptation policy, fault tolerance and steady-state system execution. Using action systems allows us to apply standard refinement techniques, aimed for correct implementations of higher-level models. We illustrate this idea by applying it to the problem of coping with dynamically-varying user requirements and possible fault situations. |
|---|---|
| AbstractList | In this paper we show how to specify and refine self-adapting systems, by employing the state-based formalism called action systems. Assuming a fixed set of possible configurations, we use a recently-introduced synchronization operator to achieve separation of concerns between adaptation policy, fault tolerance and steady-state system execution. Using action systems allows us to apply standard refinement techniques, aimed for correct implementations of higher-level models. We illustrate this idea by applying it to the problem of coping with dynamically-varying user requirements and possible fault situations. In this paper we show how to specify and refine self-adapting systems, by employing the state-based formalism called action systems. Assuming a fixed set of possible configurations, we use a recently-introduced synchronization operator to achieve separation of concerns between adaptation policy, fault tolerance and steady-state system execution. Using action systems allows us to apply standard refinement techniques, aimed for correct implementations of higher-level models. We illustrate this idea by applying it to the problem of coping with dynamically-varying user requirements and possible fault situations. [PUBLICATION ABSTRACT] |
| Author | Garlan, David Seceleanu, Tiberiu |
| Author_xml | – sequence: 1 givenname: Tiberiu surname: Seceleanu fullname: Seceleanu, Tiberiu email: tiberiu.seceleanu@utu.fi organization: Department of Information Technology, University of Turku, Finland – sequence: 2 givenname: David surname: Garlan fullname: Garlan, David email: david.garlan@cs.cmu.edu organization: School of Computer Science, Carnegie Mellon University, USA |
| BookMark | eNp9kDFPwzAQhS1UJNrCD2CL2BNsx7ETdUKFAlIlFpgtxz5TR60T7LSo_HpclZnp7qT37t59MzTxvQeEbgkuCCb8viu6GAuKMS9wWWAmLtCU1KLMCaX1BE2ThqWe0Cs0i7HDGAuK6RQtHuEA235w_jNTRg2jO0AWj3GEXcy-3bhJg9eb0Hv3AyZTQW_cCHrcB4jX6NKqbYSbvzpHH6un9-VLvn57fl0-rHNNBR_zkohWGFI1llZMWCVAK6ZY21qTsikrhG0Mb5UxpsYNA8prUTWC0VZp2zJeztHdee8Q-q89xFF2_T74dFJS2vCqTp8kETmLdOhjDGDlENxOhaMkWJ4QyU4mRPKESOJSJkTJszh7IKU_OAgyagdeg3Eh_ShN7_5x_wJDQHGz |
| CODEN | JSSODM |
| Cites_doi | 10.1147/sj.421.0005 10.1145/568803.568804 10.1145/582128.582152 10.1109/MC.2003.1160055 10.1145/800221.806716 10.1049/ip-sen:19982294 10.1093/comjnl/39.8.701 10.1145/48022.48023 10.1007/BFb0053581 10.1109/COMPSAC.2005.149 |
| ContentType | Journal Article |
| Copyright | 2006 Elsevier Inc. Copyright Elsevier Sequoia S.A. Nov 2006 |
| Copyright_xml | – notice: 2006 Elsevier Inc. – notice: Copyright Elsevier Sequoia S.A. Nov 2006 |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/j.jss.2006.03.047 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1873-1228 |
| EndPage | 1526 |
| ExternalDocumentID | 1135567761 10_1016_j_jss_2006_03_047 S0164121206001208 |
| Genre | Feature |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 29L 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN 9M8 AABNK AACTN AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN AAYOK ABBOA ABEFU ABFNM ABFRF ABFSI ABJNI ABMAC ABTAH ABXDB ABYKQ ACDAQ ACGFO ACGFS ACGOD ACNNM ACRLP ACZNC ADBBV ADEZE ADHUB ADJOM ADMUD AEBSH AEFWE AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AI. AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BKOJK BKOMP BLXMC CS3 DU5 E.L EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q G8K GBLVA GBOLZ HLZ HVGLF HZ~ IHE J1W KOM LG9 M41 MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG RNS ROL RPZ RXW SBC SDF SDG SDP SES SEW SPC SPCBC SSV SSZ T5K TAE TN5 TWZ UHS UNMZH VH1 WUQ XPP ZMT ZY4 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c276t-317b7d159f2547fa7eca4a4bbfd228af77f9d6baddd8094e268759742bacfb463 |
| ISICitedReferencesCount | 3 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000242249600004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0164-1212 |
| IngestDate | Sun Nov 09 08:17:52 EST 2025 Sat Nov 29 05:52:13 EST 2025 Fri Feb 23 02:34:17 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 11 |
| Keywords | Refinement Adaptive systems Synchronized communication Formal methods |
| Language | English |
| License | https://www.elsevier.com/tdm/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c276t-317b7d159f2547fa7eca4a4bbfd228af77f9d6baddd8094e268759742bacfb463 |
| Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 |
| PQID | 229658202 |
| PQPubID | 45802 |
| PageCount | 13 |
| ParticipantIDs | proquest_journals_229658202 crossref_primary_10_1016_j_jss_2006_03_047 elsevier_sciencedirect_doi_10_1016_j_jss_2006_03_047 |
| PublicationCentury | 2000 |
| PublicationDate | 2006-11-01 |
| PublicationDateYYYYMMDD | 2006-11-01 |
| PublicationDate_xml | – month: 11 year: 2006 text: 2006-11-01 day: 01 |
| PublicationDecade | 2000 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | The Journal of systems and software |
| PublicationYear | 2006 |
| Publisher | Elsevier Inc Elsevier Sequoia S.A |
| Publisher_xml | – name: Elsevier Inc – name: Elsevier Sequoia S.A |
| References | Cerschi Seceleanu, Seceleanu (bib9) 2004; 10 Wermelinger (bib20) 1998; 145 Seceleanu, T., Garlan, D., 2005. Synchronized architectures for adaptive systems. In: Proceedings of the Second International Workshop on Software Cybernetics, in Conjunction with COMPSAC 2005, Edinburgh, Scotland, pp. 146–151. Schmerl, B., Garlan, D., 2002. Exploiting architectural design knowledge to support self-repairing systems. In: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, Ischia, Italy. Poladian, V., Sousa, J.P., Garlan, D., Shaw, M., 2004. Dynamic configuration of resource-aware services. In: Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland. Back (bib2) 1990; LNCS vol. 430 Inverardi, Wolf (bib13) 1995; SE-21 Ganak, Corbi (bib12) 2003; 42 Sekerinski, Sere (bib17) 1996; 39 Wiener (bib21) 1948 Back, von Wright (bib7) 1998 Dijkstra (bib11) 1976 Back, von Wright (bib6) 1994 Back, Kurki-Suonio (bib4) 1988; 10 Kephart, Chess (bib14) 2003 Back, R.J.R., Kurki-Suonio, R., 1983. Decentralization of process nets with centralized control. In: Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, Canada, pp. 131–142. Cheng, S.-W., Huang, A.-C., Garlan, D., Schmerl, B., Steenkiste, P., 2004. An architecture for coordinating multiple self-management modules. In: Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture, Oslo, Norway, June 12–15. Cai, Cangussu, DeCarlo, Mathur (bib8) 2004 Back, R.J.R., Sere, K., 1994. Action systems with synchronous communication. In: E.-R. Olderog (Ed.), Programming Concepts, Methods and Calculi. IFIP Trans. vol. A-56, pp. 107–126. Allen, R., Douence, R., Garlan, D., 1998. Specifying and analyzing dynamic software architectures. In: Conference on Fundamental Approaches to Software Engineering, Lisbon, Portugal. Shaw, M., 2002. Self-healing: softening precision to avoid brittleness. In: Workshop on Self-Healing Systems, pp. 111–113. Ganak (10.1016/j.jss.2006.03.047_bib12) 2003; 42 Back (10.1016/j.jss.2006.03.047_bib4) 1988; 10 10.1016/j.jss.2006.03.047_bib19 Wermelinger (10.1016/j.jss.2006.03.047_bib20) 1998; 145 Cai (10.1016/j.jss.2006.03.047_bib8) 2004 Wiener (10.1016/j.jss.2006.03.047_bib21) 1948 10.1016/j.jss.2006.03.047_bib18 Back (10.1016/j.jss.2006.03.047_bib7) 1998 10.1016/j.jss.2006.03.047_bib1 Cerschi Seceleanu (10.1016/j.jss.2006.03.047_bib9) 2004; 10 Back (10.1016/j.jss.2006.03.047_bib2) 1990; LNCS vol. 430 10.1016/j.jss.2006.03.047_bib15 Inverardi (10.1016/j.jss.2006.03.047_bib13) 1995; SE-21 10.1016/j.jss.2006.03.047_bib16 Sekerinski (10.1016/j.jss.2006.03.047_bib17) 1996; 39 10.1016/j.jss.2006.03.047_bib3 Dijkstra (10.1016/j.jss.2006.03.047_bib11) 1976 Kephart (10.1016/j.jss.2006.03.047_bib14) 2003 10.1016/j.jss.2006.03.047_bib5 Back (10.1016/j.jss.2006.03.047_bib6) 1994 10.1016/j.jss.2006.03.047_bib10 |
| References_xml | – reference: Schmerl, B., Garlan, D., 2002. Exploiting architectural design knowledge to support self-repairing systems. In: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, Ischia, Italy. – year: 1948 ident: bib21 article-title: Cybernetics, or Control and Communication in the Animal and the Machine – volume: SE-21 start-page: 373 year: 1995 end-page: 386 ident: bib13 article-title: Formal specification and analysis of software architectures using the chemical abstract machine publication-title: IEEE Transactions – reference: Seceleanu, T., Garlan, D., 2005. Synchronized architectures for adaptive systems. In: Proceedings of the Second International Workshop on Software Cybernetics, in Conjunction with COMPSAC 2005, Edinburgh, Scotland, pp. 146–151. – volume: 10 start-page: 513 year: 1988 end-page: 554 ident: bib4 article-title: Distributed cooperation with action systems publication-title: ACM Transactions on Programming Languages and Systems – start-page: 41 year: 2003 end-page: 50 ident: bib14 article-title: The vision of autonomic computing publication-title: Computer Magazine, IEEE – reference: Poladian, V., Sousa, J.P., Garlan, D., Shaw, M., 2004. Dynamic configuration of resource-aware services. In: Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland. – volume: LNCS vol. 430 year: 1990 ident: bib2 article-title: Refinement calculus, part II: Parallel and reactive programs publication-title: Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness – year: 1998 ident: bib7 article-title: Refinement Calculus: A Systematic Introduction – volume: 145 start-page: 130 year: 1998 end-page: 136 ident: bib20 article-title: Towards a chemical model for software architecture reconfiguration publication-title: IEE Proceedings on Software – start-page: 77 year: 2004 end-page: 86 ident: bib8 article-title: An overview of software cybernetics publication-title: Proceedings of the 11th Annual International Workshop on Software Technology and Engineering Practice (STEP’04) – reference: Cheng, S.-W., Huang, A.-C., Garlan, D., Schmerl, B., Steenkiste, P., 2004. An architecture for coordinating multiple self-management modules. In: Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture, Oslo, Norway, June 12–15. – year: 1994 ident: bib6 article-title: Trace refinement of action systems publication-title: CONCUR-94 – volume: 10 start-page: 1429 year: 2004 end-page: 1468 ident: bib9 article-title: Synchronization can improve reactive systems control and modularity publication-title: Journal of Universal Computer Science – reference: Shaw, M., 2002. Self-healing: softening precision to avoid brittleness. In: Workshop on Self-Healing Systems, pp. 111–113. – volume: 42 start-page: 5 year: 2003 end-page: 18 ident: bib12 article-title: The dawning of the autonomic computing era publication-title: IBM Systems Journal – reference: Back, R.J.R., Kurki-Suonio, R., 1983. Decentralization of process nets with centralized control. In: Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, Canada, pp. 131–142. – year: 1976 ident: bib11 article-title: A Discipline of Programming – reference: Back, R.J.R., Sere, K., 1994. Action systems with synchronous communication. In: E.-R. Olderog (Ed.), Programming Concepts, Methods and Calculi. IFIP Trans. vol. A-56, pp. 107–126. – volume: 39 start-page: 701 year: 1996 end-page: 712 ident: bib17 article-title: A theory of prioritized composition publication-title: The Computer Journal – reference: Allen, R., Douence, R., Garlan, D., 1998. Specifying and analyzing dynamic software architectures. In: Conference on Fundamental Approaches to Software Engineering, Lisbon, Portugal. – year: 1994 ident: 10.1016/j.jss.2006.03.047_bib6 article-title: Trace refinement of action systems – volume: 42 start-page: 5 issue: 1 year: 2003 ident: 10.1016/j.jss.2006.03.047_bib12 article-title: The dawning of the autonomic computing era publication-title: IBM Systems Journal doi: 10.1147/sj.421.0005 – ident: 10.1016/j.jss.2006.03.047_bib19 doi: 10.1145/568803.568804 – volume: SE-21 start-page: 373 issue: 4 year: 1995 ident: 10.1016/j.jss.2006.03.047_bib13 article-title: Formal specification and analysis of software architectures using the chemical abstract machine publication-title: IEEE Transactions – ident: 10.1016/j.jss.2006.03.047_bib18 doi: 10.1145/582128.582152 – volume: 10 start-page: 1429 issue: 10 year: 2004 ident: 10.1016/j.jss.2006.03.047_bib9 article-title: Synchronization can improve reactive systems control and modularity publication-title: Journal of Universal Computer Science – start-page: 41 year: 2003 ident: 10.1016/j.jss.2006.03.047_bib14 article-title: The vision of autonomic computing publication-title: Computer Magazine, IEEE doi: 10.1109/MC.2003.1160055 – ident: 10.1016/j.jss.2006.03.047_bib3 doi: 10.1145/800221.806716 – volume: LNCS vol. 430 year: 1990 ident: 10.1016/j.jss.2006.03.047_bib2 article-title: Refinement calculus, part II: Parallel and reactive programs – ident: 10.1016/j.jss.2006.03.047_bib5 – volume: 145 start-page: 130 issue: 5 year: 1998 ident: 10.1016/j.jss.2006.03.047_bib20 article-title: Towards a chemical model for software architecture reconfiguration publication-title: IEE Proceedings on Software doi: 10.1049/ip-sen:19982294 – volume: 39 start-page: 701 issue: 8 year: 1996 ident: 10.1016/j.jss.2006.03.047_bib17 article-title: A theory of prioritized composition publication-title: The Computer Journal doi: 10.1093/comjnl/39.8.701 – volume: 10 start-page: 513 issue: 4 year: 1988 ident: 10.1016/j.jss.2006.03.047_bib4 article-title: Distributed cooperation with action systems publication-title: ACM Transactions on Programming Languages and Systems doi: 10.1145/48022.48023 – year: 1948 ident: 10.1016/j.jss.2006.03.047_bib21 – ident: 10.1016/j.jss.2006.03.047_bib1 doi: 10.1007/BFb0053581 – year: 1998 ident: 10.1016/j.jss.2006.03.047_bib7 – ident: 10.1016/j.jss.2006.03.047_bib15 – year: 1976 ident: 10.1016/j.jss.2006.03.047_bib11 – start-page: 77 year: 2004 ident: 10.1016/j.jss.2006.03.047_bib8 article-title: An overview of software cybernetics – ident: 10.1016/j.jss.2006.03.047_bib16 doi: 10.1109/COMPSAC.2005.149 – ident: 10.1016/j.jss.2006.03.047_bib10 |
| SSID | ssj0007202 |
| Score | 1.8365449 |
| Snippet | In this paper we show how to specify and refine self-adapting systems, by employing the state-based formalism called action systems. Assuming a fixed set of... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Index Database Publisher |
| StartPage | 1514 |
| SubjectTerms | Adaptive systems Computer architecture Fault tolerance Formal methods Refinement Studies Synchronized communication Systems development |
| Title | Developing adaptive systems with synchronized architectures |
| URI | https://dx.doi.org/10.1016/j.jss.2006.03.047 https://www.proquest.com/docview/229658202 |
| Volume | 79 |
| WOSCitedRecordID | wos000242249600004&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 | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1873-1228 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0007202 issn: 0164-1212 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV07T8MwELagZWDhjSgFlIEJKVXruLErpgqKgKFCokjdIj8SiQ6haloo_HousZ2kFUV0YImiPCzH3-Xu8_l8h9Alk4wKRrgrlPJcghX8UmDXXYYjLsHEASnVxSZov8-Gw86TqdmaZOUEaByz-bwz_leo4RqAnW6dXQPuvFG4AOcAOhwBdjj-CfjbYhsUV3ychQbpfM1mJ1vyGcssJe4XkM3yQkJSZqrFnrGMrdoWtJ89mn7wImr2OZRgvHg80-AL-MpZHteThdMuRs8XToZW7mQwfkc_TW_YWlCcugqMFZBWSQ0CjSAlkwocwf9RXWvPwagxShKzLuQ1mjoD52Jq7CWTlQcS2hi1UQBNpCU1_aDpBdDEJqpi2u6Anqt2H3rDx9w6U5zFoeYfZFe6s5i_pX6s4ipLVjujIoM9tGNQcboa-320EcYHaNfW53CMuj5E14UoOFYUHAOkk4qCUxYFZ0EUjtDLXW9wc--aYhmuxNSfgi2lgiogpxFM-WnEaSg54USISGHMeERp1FG-AHOmGEzpQ-zDTBUmk1hwGQnie8eoEr_F4QlyFOEeV00pOJPwYEt4bUmoxEpInCZ4q6ErOyzBWOdECVYCUUPEDlxgSJ0mawEIwW-v1e0gB-bngvs4TVUEAJ6u04M62i5E-gxVppNZeI625Pv0NZlcGPn4BsqfeWY |
| linkProvider | Elsevier |
| 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%3Ajournal&rft.genre=article&rft.atitle=Developing+adaptive+systems+with+synchronized+architectures&rft.jtitle=The+Journal+of+systems+and+software&rft.au=Seceleanu%2C+Tiberiu&rft.au=Garlan%2C+David&rft.date=2006-11-01&rft.issn=0164-1212&rft.volume=79&rft.issue=11&rft.spage=1514&rft.epage=1526&rft_id=info:doi/10.1016%2Fj.jss.2006.03.047&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jss_2006_03_047 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0164-1212&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0164-1212&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0164-1212&client=summon |