A Tool Suite for the Generation and Validation of Configurations for Software Availability
The Availability Management Framework (AMF) is a service responsible for managing the availability of services provided by applications that run under its control. Standardized by the Service Availability Forum (SAF), AMF requires for its operations a complete and compliant AMF configuration of the...
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: |
Software and its engineering
> Software creation and management
> Designing software
> Requirements analysis
Software and its engineering
> Software creation and management
> Software development process management
Software and its engineering
> Software creation and management
> Software verification and validation
> Formal software verification
Software and its engineering
> Software notations and tools
> Software configuration management and version control systems
|
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 673 |
|---|---|
| container_issue | |
| container_start_page | 671 |
| container_title | |
| container_volume | |
| creator | Gherbi, Abdelouahed Kanso, Ali Khendek, Ferhat Hamou-Lhadj, Abdelwahab Toeroe, Maria |
| description | The Availability Management Framework (AMF) is a service responsible for managing the availability of services provided by applications that run under its control. Standardized by the Service Availability Forum (SAF), AMF requires for its operations a complete and compliant AMF configuration of the applications to be managed. In this paper, we describe two complementary and integrated tools for AMF configurations generation and validation. Indeed, writing manually an AMF configuration is a tedious and error prone task as a large number of requirements defined in the standard have to be taken into consideration during the process. One solution for ensuring compliance with the standard is the validation of the configurations against all the AMF requirements. For this, we have designed and implemented a domain model for AMF configurations and use it as a basis for an AMF configuration validator. To further ease the task of a configuration designer, we have devised and implemented a method for generating automatically AMF configurations. |
| doi_str_mv | 10.1109/ASE.2009.18 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>acm_6IE</sourceid><recordid>TN_cdi_ieee_primary_5431711</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5431711</ieee_id><sourcerecordid>acm_books_10_1109_ASE_2009_18</sourcerecordid><originalsourceid>FETCH-LOGICAL-a276t-4d6d944128444d5212bcccd0b0cfea462087b3b14f797a81cd3a13d9a7cfae1e3</originalsourceid><addsrcrecordid>eNqNkD1PwzAQhs2XRFU6MbJ4YEJK8dlObI9RVQpSJYYWBhbLiW0wpDFK0qL-e1LCxMR0evW8d9I9CF0CmQIQdZuv5lNKiJqCPEITJSQRmUqZVMCP0YhmnCWQCnryh52iESgmE84IOUeTtn0nhAD0icMIveR4HWOFV9vQOexjg7s3hxeudo3pQqyxqS1-NlWwQ4wez2Ltw-t24O3Pzir67ss0Duc7EypThCp0-wt05k3VusnvHKOnu_l6dp8sHxcPs3yZGCqyLuE2s4pzoJJzblMKtCjL0pKClN4ZnlEiRcEK4F4oYSSUlhlgVhlReuPAsTG6Gu4G55z-bMLGNHudcgaif3OMrgdqyo0uYvxoNRB9EKp7ofogVIPsazf_qOmiCc6zbwSGbwA</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>A Tool Suite for the Generation and Validation of Configurations for Software Availability</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Gherbi, Abdelouahed ; Kanso, Ali ; Khendek, Ferhat ; Hamou-Lhadj, Abdelwahab ; Toeroe, Maria</creator><creatorcontrib>Gherbi, Abdelouahed ; Kanso, Ali ; Khendek, Ferhat ; Hamou-Lhadj, Abdelwahab ; Toeroe, Maria</creatorcontrib><description>The Availability Management Framework (AMF) is a service responsible for managing the availability of services provided by applications that run under its control. Standardized by the Service Availability Forum (SAF), AMF requires for its operations a complete and compliant AMF configuration of the applications to be managed. In this paper, we describe two complementary and integrated tools for AMF configurations generation and validation. Indeed, writing manually an AMF configuration is a tedious and error prone task as a large number of requirements defined in the standard have to be taken into consideration during the process. One solution for ensuring compliance with the standard is the validation of the configurations against all the AMF requirements. For this, we have designed and implemented a domain model for AMF configurations and use it as a basis for an AMF configuration validator. To further ease the task of a configuration designer, we have devised and implemented a method for generating automatically AMF configurations.</description><identifier>ISSN: 1938-4300</identifier><identifier>ISBN: 9780769538914</identifier><identifier>ISBN: 0769538916</identifier><identifier>ISBN: 1424452597</identifier><identifier>ISBN: 9781424452590</identifier><identifier>EISSN: 2643-1572</identifier><identifier>EISBN: 9780769538914</identifier><identifier>EISBN: 0769538916</identifier><identifier>DOI: 10.1109/ASE.2009.18</identifier><language>eng</language><publisher>Washington, DC, USA: IEEE Computer Society</publisher><subject>Application software ; Automated Configuration Generation ; Availability ; Availability Management Framework ; Conference management ; Domain Model ; Engineering management ; General and reference -- Cross-computing tools and techniques -- Verification ; High-Availability ; Protection ; Redundancy ; Resource management ; Software and its engineering -- Software creation and management -- Designing software ; Software and its engineering -- Software creation and management -- Designing software -- Requirements analysis ; Software and its engineering -- Software creation and management -- Software development process management ; Software and its engineering -- Software creation and management -- Software verification and validation -- Formal software verification ; Software and its engineering -- Software notations and tools -- Software configuration management and version control systems ; Software and its engineering -- Software organization and properties -- Software functional properties -- Formal methods -- Software verification ; Software engineering ; Software tools ; Theory of computation -- Semantics and reasoning -- Program reasoning -- Program verification ; Validation ; Writing</subject><ispartof>2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, p.671-673</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5431711$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2056,27924,54919</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5431711$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Gherbi, Abdelouahed</creatorcontrib><creatorcontrib>Kanso, Ali</creatorcontrib><creatorcontrib>Khendek, Ferhat</creatorcontrib><creatorcontrib>Hamou-Lhadj, Abdelwahab</creatorcontrib><creatorcontrib>Toeroe, Maria</creatorcontrib><title>A Tool Suite for the Generation and Validation of Configurations for Software Availability</title><title>2009 IEEE/ACM International Conference on Automated Software Engineering</title><addtitle>ASE</addtitle><description>The Availability Management Framework (AMF) is a service responsible for managing the availability of services provided by applications that run under its control. Standardized by the Service Availability Forum (SAF), AMF requires for its operations a complete and compliant AMF configuration of the applications to be managed. In this paper, we describe two complementary and integrated tools for AMF configurations generation and validation. Indeed, writing manually an AMF configuration is a tedious and error prone task as a large number of requirements defined in the standard have to be taken into consideration during the process. One solution for ensuring compliance with the standard is the validation of the configurations against all the AMF requirements. For this, we have designed and implemented a domain model for AMF configurations and use it as a basis for an AMF configuration validator. To further ease the task of a configuration designer, we have devised and implemented a method for generating automatically AMF configurations.</description><subject>Application software</subject><subject>Automated Configuration Generation</subject><subject>Availability</subject><subject>Availability Management Framework</subject><subject>Conference management</subject><subject>Domain Model</subject><subject>Engineering management</subject><subject>General and reference -- Cross-computing tools and techniques -- Verification</subject><subject>High-Availability</subject><subject>Protection</subject><subject>Redundancy</subject><subject>Resource management</subject><subject>Software and its engineering -- Software creation and management -- Designing software</subject><subject>Software and its engineering -- Software creation and management -- Designing software -- Requirements analysis</subject><subject>Software and its engineering -- Software creation and management -- Software development process management</subject><subject>Software and its engineering -- Software creation and management -- Software verification and validation -- Formal software verification</subject><subject>Software and its engineering -- Software notations and tools -- Software configuration management and version control systems</subject><subject>Software and its engineering -- Software organization and properties -- Software functional properties -- Formal methods -- Software verification</subject><subject>Software engineering</subject><subject>Software tools</subject><subject>Theory of computation -- Semantics and reasoning -- Program reasoning -- Program verification</subject><subject>Validation</subject><subject>Writing</subject><issn>1938-4300</issn><issn>2643-1572</issn><isbn>9780769538914</isbn><isbn>0769538916</isbn><isbn>1424452597</isbn><isbn>9781424452590</isbn><isbn>9780769538914</isbn><isbn>0769538916</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2009</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNqNkD1PwzAQhs2XRFU6MbJ4YEJK8dlObI9RVQpSJYYWBhbLiW0wpDFK0qL-e1LCxMR0evW8d9I9CF0CmQIQdZuv5lNKiJqCPEITJSQRmUqZVMCP0YhmnCWQCnryh52iESgmE84IOUeTtn0nhAD0icMIveR4HWOFV9vQOexjg7s3hxeudo3pQqyxqS1-NlWwQ4wez2Ltw-t24O3Pzir67ss0Duc7EypThCp0-wt05k3VusnvHKOnu_l6dp8sHxcPs3yZGCqyLuE2s4pzoJJzblMKtCjL0pKClN4ZnlEiRcEK4F4oYSSUlhlgVhlReuPAsTG6Gu4G55z-bMLGNHudcgaif3OMrgdqyo0uYvxoNRB9EKp7ofogVIPsazf_qOmiCc6zbwSGbwA</recordid><startdate>20090101</startdate><enddate>20090101</enddate><creator>Gherbi, Abdelouahed</creator><creator>Kanso, Ali</creator><creator>Khendek, Ferhat</creator><creator>Hamou-Lhadj, Abdelwahab</creator><creator>Toeroe, Maria</creator><general>IEEE Computer Society</general><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>20090101</creationdate><title>A Tool Suite for the Generation and Validation of Configurations for Software Availability</title><author>Gherbi, Abdelouahed ; Kanso, Ali ; Khendek, Ferhat ; Hamou-Lhadj, Abdelwahab ; Toeroe, Maria</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a276t-4d6d944128444d5212bcccd0b0cfea462087b3b14f797a81cd3a13d9a7cfae1e3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2009</creationdate><topic>Application software</topic><topic>Automated Configuration Generation</topic><topic>Availability</topic><topic>Availability Management Framework</topic><topic>Conference management</topic><topic>Domain Model</topic><topic>Engineering management</topic><topic>General and reference -- Cross-computing tools and techniques -- Verification</topic><topic>High-Availability</topic><topic>Protection</topic><topic>Redundancy</topic><topic>Resource management</topic><topic>Software and its engineering -- Software creation and management -- Designing software</topic><topic>Software and its engineering -- Software creation and management -- Designing software -- Requirements analysis</topic><topic>Software and its engineering -- Software creation and management -- Software development process management</topic><topic>Software and its engineering -- Software creation and management -- Software verification and validation -- Formal software verification</topic><topic>Software and its engineering -- Software notations and tools -- Software configuration management and version control systems</topic><topic>Software and its engineering -- Software organization and properties -- Software functional properties -- Formal methods -- Software verification</topic><topic>Software engineering</topic><topic>Software tools</topic><topic>Theory of computation -- Semantics and reasoning -- Program reasoning -- Program verification</topic><topic>Validation</topic><topic>Writing</topic><toplevel>online_resources</toplevel><creatorcontrib>Gherbi, Abdelouahed</creatorcontrib><creatorcontrib>Kanso, Ali</creatorcontrib><creatorcontrib>Khendek, Ferhat</creatorcontrib><creatorcontrib>Hamou-Lhadj, Abdelwahab</creatorcontrib><creatorcontrib>Toeroe, Maria</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Gherbi, Abdelouahed</au><au>Kanso, Ali</au><au>Khendek, Ferhat</au><au>Hamou-Lhadj, Abdelwahab</au><au>Toeroe, Maria</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>A Tool Suite for the Generation and Validation of Configurations for Software Availability</atitle><btitle>2009 IEEE/ACM International Conference on Automated Software Engineering</btitle><stitle>ASE</stitle><date>2009-01-01</date><risdate>2009</risdate><spage>671</spage><epage>673</epage><pages>671-673</pages><issn>1938-4300</issn><eissn>2643-1572</eissn><isbn>9780769538914</isbn><isbn>0769538916</isbn><isbn>1424452597</isbn><isbn>9781424452590</isbn><eisbn>9780769538914</eisbn><eisbn>0769538916</eisbn><abstract>The Availability Management Framework (AMF) is a service responsible for managing the availability of services provided by applications that run under its control. Standardized by the Service Availability Forum (SAF), AMF requires for its operations a complete and compliant AMF configuration of the applications to be managed. In this paper, we describe two complementary and integrated tools for AMF configurations generation and validation. Indeed, writing manually an AMF configuration is a tedious and error prone task as a large number of requirements defined in the standard have to be taken into consideration during the process. One solution for ensuring compliance with the standard is the validation of the configurations against all the AMF requirements. For this, we have designed and implemented a domain model for AMF configurations and use it as a basis for an AMF configuration validator. To further ease the task of a configuration designer, we have devised and implemented a method for generating automatically AMF configurations.</abstract><cop>Washington, DC, USA</cop><pub>IEEE Computer Society</pub><doi>10.1109/ASE.2009.18</doi><tpages>3</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1938-4300 |
| ispartof | 2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, p.671-673 |
| issn | 1938-4300 2643-1572 |
| language | eng |
| recordid | cdi_ieee_primary_5431711 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Application software Automated Configuration Generation Availability Availability Management Framework Conference management Domain Model Engineering management General and reference -- Cross-computing tools and techniques -- Verification High-Availability Protection Redundancy Resource management Software and its engineering -- Software creation and management -- Designing software Software and its engineering -- Software creation and management -- Designing software -- Requirements analysis Software and its engineering -- Software creation and management -- Software development process management Software and its engineering -- Software creation and management -- Software verification and validation -- Formal software verification Software and its engineering -- Software notations and tools -- Software configuration management and version control systems Software and its engineering -- Software organization and properties -- Software functional properties -- Formal methods -- Software verification Software engineering Software tools Theory of computation -- Semantics and reasoning -- Program reasoning -- Program verification Validation Writing |
| title | A Tool Suite for the Generation and Validation of Configurations for Software Availability |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-11T06%3A15%3A16IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-acm_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=A%20Tool%20Suite%20for%20the%20Generation%20and%20Validation%20of%20Configurations%20for%20Software%20Availability&rft.btitle=2009%20IEEE/ACM%20International%20Conference%20on%20Automated%20Software%20Engineering&rft.au=Gherbi,%20Abdelouahed&rft.date=2009-01-01&rft.spage=671&rft.epage=673&rft.pages=671-673&rft.issn=1938-4300&rft.eissn=2643-1572&rft.isbn=9780769538914&rft.isbn_list=0769538916&rft.isbn_list=1424452597&rft.isbn_list=9781424452590&rft_id=info:doi/10.1109/ASE.2009.18&rft_dat=%3Cacm_6IE%3Eacm_books_10_1109_ASE_2009_18%3C/acm_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=9780769538914&rft.eisbn_list=0769538916&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=5431711&rfr_iscdi=true |