Proved Metamodels as Backbone for Software Adaptation
In this paper we demonstrate the error-prone status of the UML 2.3 metamodel relating to state machines. We consequently provide a corrected version based on formal proofs written and processed with the help of the Coq system prover. The purpose of the proposed research is to support dynamical adapt...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 121 |
|---|---|
| container_issue | |
| container_start_page | 114 |
| container_title | |
| container_volume | |
| creator | Barbier, F Ballagny, C |
| description | In this paper we demonstrate the error-prone status of the UML 2.3 metamodel relating to state machines. We consequently provide a corrected version based on formal proofs written and processed with the help of the Coq system prover. The purpose of the proposed research is to support dynamical adaptation by means of models at runtime. Software components are internally endowed with complex state machines (models) realizing their behavior. Adaptation amounts to dynamically changing the state machines' structure (for instance, adding a new state). This occurs via SimUML, a state machine execution engine that is constructed on the top of a metamodel resulting from correctness proofs. |
| doi_str_mv | 10.1109/HASE.2010.12 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_5634317</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5634317</ieee_id><sourcerecordid>5634317</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-24885e7da4fdc5c229fddfaeb2439e256d23e23cd916afbb87d445db1b23d6f63</originalsourceid><addsrcrecordid>eNotjMtKw0AUQMcXGGp27tzMD6TeufPKLGOpVqgotPsyk3sHgm1TkqD49-JjdTgcOELcKpgrBeF-1WyWc4QfxTNRBl-Dd8EaDFifiwKdgcpb8Be_TRk0JkBQeCkKZTVUCDZci3IcuwQaIIBXqhD2beg_mOQLT_HQE-9HGUf5ENv31B9Z5n6Qmz5Pn3Fg2VA8TXHq-uONuMpxP3L5z5nYPi63i1W1fn16XjTrqgswVWjq2rKnaDK1tkUMmShHTmh0YLSOUDPqloJyMadUezLGUlIJNbns9Ezc_W07Zt6dhu4Qh6-dddpo5fU3kA1KJA</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Proved Metamodels as Backbone for Software Adaptation</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Barbier, F ; Ballagny, C</creator><creatorcontrib>Barbier, F ; Ballagny, C</creatorcontrib><description>In this paper we demonstrate the error-prone status of the UML 2.3 metamodel relating to state machines. We consequently provide a corrected version based on formal proofs written and processed with the help of the Coq system prover. The purpose of the proposed research is to support dynamical adaptation by means of models at runtime. Software components are internally endowed with complex state machines (models) realizing their behavior. Adaptation amounts to dynamically changing the state machines' structure (for instance, adding a new state). This occurs via SimUML, a state machine execution engine that is constructed on the top of a metamodel resulting from correctness proofs.</description><identifier>ISSN: 1530-2059</identifier><identifier>ISBN: 9781424490912</identifier><identifier>ISBN: 142449091X</identifier><identifier>EISSN: 2640-7507</identifier><identifier>EISBN: 9780769542928</identifier><identifier>EISBN: 0769542921</identifier><identifier>DOI: 10.1109/HASE.2010.12</identifier><language>eng</language><publisher>IEEE</publisher><subject>Adaptation model ; Biological system modeling ; component-based development ; Java ; model driven development ; Runtime ; Semantics ; Software ; software adaptation ; Unified modeling language</subject><ispartof>2010 IEEE 12th International Symposium on High Assurance Systems Engineering, 2010, p.114-121</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5634317$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5634317$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Barbier, F</creatorcontrib><creatorcontrib>Ballagny, C</creatorcontrib><title>Proved Metamodels as Backbone for Software Adaptation</title><title>2010 IEEE 12th International Symposium on High Assurance Systems Engineering</title><addtitle>HASE</addtitle><description>In this paper we demonstrate the error-prone status of the UML 2.3 metamodel relating to state machines. We consequently provide a corrected version based on formal proofs written and processed with the help of the Coq system prover. The purpose of the proposed research is to support dynamical adaptation by means of models at runtime. Software components are internally endowed with complex state machines (models) realizing their behavior. Adaptation amounts to dynamically changing the state machines' structure (for instance, adding a new state). This occurs via SimUML, a state machine execution engine that is constructed on the top of a metamodel resulting from correctness proofs.</description><subject>Adaptation model</subject><subject>Biological system modeling</subject><subject>component-based development</subject><subject>Java</subject><subject>model driven development</subject><subject>Runtime</subject><subject>Semantics</subject><subject>Software</subject><subject>software adaptation</subject><subject>Unified modeling language</subject><issn>1530-2059</issn><issn>2640-7507</issn><isbn>9781424490912</isbn><isbn>142449091X</isbn><isbn>9780769542928</isbn><isbn>0769542921</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2010</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotjMtKw0AUQMcXGGp27tzMD6TeufPKLGOpVqgotPsyk3sHgm1TkqD49-JjdTgcOELcKpgrBeF-1WyWc4QfxTNRBl-Dd8EaDFifiwKdgcpb8Be_TRk0JkBQeCkKZTVUCDZci3IcuwQaIIBXqhD2beg_mOQLT_HQE-9HGUf5ENv31B9Z5n6Qmz5Pn3Fg2VA8TXHq-uONuMpxP3L5z5nYPi63i1W1fn16XjTrqgswVWjq2rKnaDK1tkUMmShHTmh0YLSOUDPqloJyMadUezLGUlIJNbns9Ezc_W07Zt6dhu4Qh6-dddpo5fU3kA1KJA</recordid><startdate>201011</startdate><enddate>201011</enddate><creator>Barbier, F</creator><creator>Ballagny, C</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201011</creationdate><title>Proved Metamodels as Backbone for Software Adaptation</title><author>Barbier, F ; Ballagny, C</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-24885e7da4fdc5c229fddfaeb2439e256d23e23cd916afbb87d445db1b23d6f63</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2010</creationdate><topic>Adaptation model</topic><topic>Biological system modeling</topic><topic>component-based development</topic><topic>Java</topic><topic>model driven development</topic><topic>Runtime</topic><topic>Semantics</topic><topic>Software</topic><topic>software adaptation</topic><topic>Unified modeling language</topic><toplevel>online_resources</toplevel><creatorcontrib>Barbier, F</creatorcontrib><creatorcontrib>Ballagny, C</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>Barbier, F</au><au>Ballagny, C</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Proved Metamodels as Backbone for Software Adaptation</atitle><btitle>2010 IEEE 12th International Symposium on High Assurance Systems Engineering</btitle><stitle>HASE</stitle><date>2010-11</date><risdate>2010</risdate><spage>114</spage><epage>121</epage><pages>114-121</pages><issn>1530-2059</issn><eissn>2640-7507</eissn><isbn>9781424490912</isbn><isbn>142449091X</isbn><eisbn>9780769542928</eisbn><eisbn>0769542921</eisbn><abstract>In this paper we demonstrate the error-prone status of the UML 2.3 metamodel relating to state machines. We consequently provide a corrected version based on formal proofs written and processed with the help of the Coq system prover. The purpose of the proposed research is to support dynamical adaptation by means of models at runtime. Software components are internally endowed with complex state machines (models) realizing their behavior. Adaptation amounts to dynamically changing the state machines' structure (for instance, adding a new state). This occurs via SimUML, a state machine execution engine that is constructed on the top of a metamodel resulting from correctness proofs.</abstract><pub>IEEE</pub><doi>10.1109/HASE.2010.12</doi><tpages>8</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1530-2059 |
| ispartof | 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, 2010, p.114-121 |
| issn | 1530-2059 2640-7507 |
| language | eng |
| recordid | cdi_ieee_primary_5634317 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Adaptation model Biological system modeling component-based development Java model driven development Runtime Semantics Software software adaptation Unified modeling language |
| title | Proved Metamodels as Backbone for Software Adaptation |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-07T03%3A54%3A01IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Proved%20Metamodels%20as%20Backbone%20for%20Software%20Adaptation&rft.btitle=2010%20IEEE%2012th%20International%20Symposium%20on%20High%20Assurance%20Systems%20Engineering&rft.au=Barbier,%20F&rft.date=2010-11&rft.spage=114&rft.epage=121&rft.pages=114-121&rft.issn=1530-2059&rft.eissn=2640-7507&rft.isbn=9781424490912&rft.isbn_list=142449091X&rft_id=info:doi/10.1109/HASE.2010.12&rft_dat=%3Cieee_6IE%3E5634317%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=9780769542928&rft.eisbn_list=0769542921&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=5634317&rfr_iscdi=true |