A contracting system for hierarchical components
This article presents the contracting system ConFract for the open and hierarchical component model Fractal. Contracts are dynamically built from specifications, currently executable assertions, at assembly times, and are updated according to dynamic reconfigurations. These contracts are not restric...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 202 |
|---|---|
| container_issue | |
| container_start_page | 187 |
| container_title | |
| container_volume | |
| creator | Collet, Philippe Rousseau, Roger Coupaye, Thierry Rivierre, Nicolas |
| description | This article presents the contracting system ConFract for the open and hierarchical component model Fractal. Contracts are dynamically built from specifications, currently executable assertions, at assembly times, and are updated according to dynamic reconfigurations. These contracts are not restricted to the scope of interfaces, taken separately. On the contrary, new kinds of composition contracts can be built in order to associate several external interfaces of a component, providing an “usage contract”, or several interfaces inside the component, providing an “assembly and implementation contract”. All these contracts identify fine-grained responsibilities and developers can thus easily organize the handling of contract violations and the resulting reconfigurations. |
| doi_str_mv | 10.1007/11424529_13 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>pascalfrancis_acm_b</sourceid><recordid>TN_cdi_acm_books_10_1007_11424529_13</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>17027118</sourcerecordid><originalsourceid>FETCH-LOGICAL-a325t-dcb617d398027eb6a76c412ae667c851f8bb2bc0382fedfbc6ea97382638f52f3</originalsourceid><addsrcrecordid>eNqN0EtLAzEQB_D4AkvtyS-wBz0orGYyee1Rii8oeNFzSNKkXe3ulmQv_fZGKuJJnMsw_H8MwxByDvQGKFW3AJxxwRoDeEBmjdIoOEVGecMPyQQkQI3Im6OfjAmtFB6TCUXK6kZxPCWznN9pKQSpBEwIvav80I_J-rHtV1Xe5TF0VRxStW5DssmvW283xXTboQ_9mM_ISbSbHGbffUreHu5f50_14uXxeX63qC0yMdZL7ySoJTaaMhWctEp6DswGKZXXAqJ2jjlPUbMYltF5GWyjyiRRR8EiTsnlfu_W5nJBTLb3bTbb1HY27QyoshdAF3e1d7lE_Sok44bhIxug5utr5tfXir3YW-u7P9n1P5hxqQ0RPwHkHm-d</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>A contracting system for hierarchical components</title><source>Springer Books</source><creator>Collet, Philippe ; Rousseau, Roger ; Coupaye, Thierry ; Rivierre, Nicolas</creator><contributor>Heineman, George T. ; Szyperski, Clemens ; Stafford, Judith A. ; Crnkovic, Ivica ; Schmidt, Heinz W.</contributor><creatorcontrib>Collet, Philippe ; Rousseau, Roger ; Coupaye, Thierry ; Rivierre, Nicolas ; Heineman, George T. ; Szyperski, Clemens ; Stafford, Judith A. ; Crnkovic, Ivica ; Schmidt, Heinz W.</creatorcontrib><description>This article presents the contracting system ConFract for the open and hierarchical component model Fractal. Contracts are dynamically built from specifications, currently executable assertions, at assembly times, and are updated according to dynamic reconfigurations. These contracts are not restricted to the scope of interfaces, taken separately. On the contrary, new kinds of composition contracts can be built in order to associate several external interfaces of a component, providing an “usage contract”, or several interfaces inside the component, providing an “assembly and implementation contract”. All these contracts identify fine-grained responsibilities and developers can thus easily organize the handling of contract violations and the resulting reconfigurations.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540258773</identifier><identifier>ISBN: 3540258779</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540320494</identifier><identifier>EISBN: 3540320490</identifier><identifier>DOI: 10.1007/11424529_13</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer-Verlag</publisher><subject>Applied sciences ; Composite Component ; Computer science; control theory; systems ; Exact sciences and technology ; External Interface ; Hierarchical Component ; Interface Automaton ; Printing Speed ; Software ; Software and its engineering ; Software and its engineering -- Software creation and management ; Software and its engineering -- Software creation and management -- Software development techniques ; Software and its engineering -- Software creation and management -- Software development techniques -- Object oriented development ; Software engineering</subject><ispartof>Component-Based Software Engineering, 2005, p.187-202</ispartof><rights>Springer-Verlag Berlin Heidelberg 2005</rights><rights>2005 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-a325t-dcb617d398027eb6a76c412ae667c851f8bb2bc0382fedfbc6ea97382638f52f3</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/11424529_13$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/11424529_13$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,775,776,780,785,786,789,27902,38232,41418,42487</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=17027118$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Heineman, George T.</contributor><contributor>Szyperski, Clemens</contributor><contributor>Stafford, Judith A.</contributor><contributor>Crnkovic, Ivica</contributor><contributor>Schmidt, Heinz W.</contributor><creatorcontrib>Collet, Philippe</creatorcontrib><creatorcontrib>Rousseau, Roger</creatorcontrib><creatorcontrib>Coupaye, Thierry</creatorcontrib><creatorcontrib>Rivierre, Nicolas</creatorcontrib><title>A contracting system for hierarchical components</title><title>Component-Based Software Engineering</title><description>This article presents the contracting system ConFract for the open and hierarchical component model Fractal. Contracts are dynamically built from specifications, currently executable assertions, at assembly times, and are updated according to dynamic reconfigurations. These contracts are not restricted to the scope of interfaces, taken separately. On the contrary, new kinds of composition contracts can be built in order to associate several external interfaces of a component, providing an “usage contract”, or several interfaces inside the component, providing an “assembly and implementation contract”. All these contracts identify fine-grained responsibilities and developers can thus easily organize the handling of contract violations and the resulting reconfigurations.</description><subject>Applied sciences</subject><subject>Composite Component</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>External Interface</subject><subject>Hierarchical Component</subject><subject>Interface Automaton</subject><subject>Printing Speed</subject><subject>Software</subject><subject>Software and its engineering</subject><subject>Software and its engineering -- Software creation and management</subject><subject>Software and its engineering -- Software creation and management -- Software development techniques</subject><subject>Software and its engineering -- Software creation and management -- Software development techniques -- Object oriented development</subject><subject>Software engineering</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540258773</isbn><isbn>3540258779</isbn><isbn>9783540320494</isbn><isbn>3540320490</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2005</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNqN0EtLAzEQB_D4AkvtyS-wBz0orGYyee1Rii8oeNFzSNKkXe3ulmQv_fZGKuJJnMsw_H8MwxByDvQGKFW3AJxxwRoDeEBmjdIoOEVGecMPyQQkQI3Im6OfjAmtFB6TCUXK6kZxPCWznN9pKQSpBEwIvav80I_J-rHtV1Xe5TF0VRxStW5DssmvW283xXTboQ_9mM_ISbSbHGbffUreHu5f50_14uXxeX63qC0yMdZL7ySoJTaaMhWctEp6DswGKZXXAqJ2jjlPUbMYltF5GWyjyiRRR8EiTsnlfu_W5nJBTLb3bTbb1HY27QyoshdAF3e1d7lE_Sok44bhIxug5utr5tfXir3YW-u7P9n1P5hxqQ0RPwHkHm-d</recordid><startdate>20050101</startdate><enddate>20050101</enddate><creator>Collet, Philippe</creator><creator>Rousseau, Roger</creator><creator>Coupaye, Thierry</creator><creator>Rivierre, Nicolas</creator><general>Springer-Verlag</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>20050101</creationdate><title>A contracting system for hierarchical components</title><author>Collet, Philippe ; Rousseau, Roger ; Coupaye, Thierry ; Rivierre, Nicolas</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a325t-dcb617d398027eb6a76c412ae667c851f8bb2bc0382fedfbc6ea97382638f52f3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2005</creationdate><topic>Applied sciences</topic><topic>Composite Component</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>External Interface</topic><topic>Hierarchical Component</topic><topic>Interface Automaton</topic><topic>Printing Speed</topic><topic>Software</topic><topic>Software and its engineering</topic><topic>Software and its engineering -- Software creation and management</topic><topic>Software and its engineering -- Software creation and management -- Software development techniques</topic><topic>Software and its engineering -- Software creation and management -- Software development techniques -- Object oriented development</topic><topic>Software engineering</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Collet, Philippe</creatorcontrib><creatorcontrib>Rousseau, Roger</creatorcontrib><creatorcontrib>Coupaye, Thierry</creatorcontrib><creatorcontrib>Rivierre, Nicolas</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Collet, Philippe</au><au>Rousseau, Roger</au><au>Coupaye, Thierry</au><au>Rivierre, Nicolas</au><au>Heineman, George T.</au><au>Szyperski, Clemens</au><au>Stafford, Judith A.</au><au>Crnkovic, Ivica</au><au>Schmidt, Heinz W.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>A contracting system for hierarchical components</atitle><btitle>Component-Based Software Engineering</btitle><date>2005-01-01</date><risdate>2005</risdate><spage>187</spage><epage>202</epage><pages>187-202</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540258773</isbn><isbn>3540258779</isbn><eisbn>9783540320494</eisbn><eisbn>3540320490</eisbn><abstract>This article presents the contracting system ConFract for the open and hierarchical component model Fractal. Contracts are dynamically built from specifications, currently executable assertions, at assembly times, and are updated according to dynamic reconfigurations. These contracts are not restricted to the scope of interfaces, taken separately. On the contrary, new kinds of composition contracts can be built in order to associate several external interfaces of a component, providing an “usage contract”, or several interfaces inside the component, providing an “assembly and implementation contract”. All these contracts identify fine-grained responsibilities and developers can thus easily organize the handling of contract violations and the resulting reconfigurations.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer-Verlag</pub><doi>10.1007/11424529_13</doi><tpages>16</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Component-Based Software Engineering, 2005, p.187-202 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_acm_books_10_1007_11424529_13 |
| source | Springer Books |
| subjects | Applied sciences Composite Component Computer science control theory systems Exact sciences and technology External Interface Hierarchical Component Interface Automaton Printing Speed Software Software and its engineering Software and its engineering -- Software creation and management Software and its engineering -- Software creation and management -- Software development techniques Software and its engineering -- Software creation and management -- Software development techniques -- Object oriented development Software engineering |
| title | A contracting system for hierarchical components |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-06T10%3A14%3A26IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_acm_b&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=A%20contracting%20system%20for%20hierarchical%20components&rft.btitle=Component-Based%20Software%20Engineering&rft.au=Collet,%20Philippe&rft.date=2005-01-01&rft.spage=187&rft.epage=202&rft.pages=187-202&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540258773&rft.isbn_list=3540258779&rft_id=info:doi/10.1007/11424529_13&rft_dat=%3Cpascalfrancis_acm_b%3E17027118%3C/pascalfrancis_acm_b%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540320494&rft.eisbn_list=3540320490&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |