Towards Abstract Interpretation for Recovering Design Information
It is a well-known problem that design information of object-oriented programs is often lost or is not kept up-to-date when the program evolves. This design information can be recovered from the program using such techniques as logic meta programming. In this technique logic queries are used to chec...
Gespeichert in:
| Veröffentlicht in: | Electronic notes in theoretical computer science Jg. 131; S. 15 - 25 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Elsevier B.V
24.05.2005
|
| Schlagworte: | |
| ISSN: | 1571-0661, 1571-0661 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | It is a well-known problem that design information of object-oriented programs is often lost or is not kept up-to-date when the program evolves. This design information can be recovered from the program using such techniques as logic meta programming. In this technique logic queries are used to check whether the program is implemented along certain well-known patterns. Currently the technique relies on structural information and patterns are expressed in the queries as conditions over structural elements of the program. Some patterns are however better expressed in dynamic terms which requires behavioural information about the program. Such information can be obtained from execution traces of the program, but these record only one possible input dependent program execution out of many. Abstract interpretation of the object-oriented program could provide a well-founded means for extracting the necessary behavioural information. |
|---|---|
| AbstractList | It is a well-known problem that design information of object-oriented programs is often lost or is not kept up-to-date when the program evolves. This design information can be recovered from the program using such techniques as logic meta programming. In this technique logic queries are used to check whether the program is implemented along certain well-known patterns. Currently the technique relies on structural information and patterns are expressed in the queries as conditions over structural elements of the program. Some patterns are however better expressed in dynamic terms which requires behavioural information about the program. Such information can be obtained from execution traces of the program, but these record only one possible input dependent program execution out of many. Abstract interpretation of the object-oriented program could provide a well-founded means for extracting the necessary behavioural information. |
| Author | Gybels, Kris D'Hondt, Theo De Roover, Coen |
| Author_xml | – sequence: 1 givenname: Coen surname: De Roover fullname: De Roover, Coen email: cderoove@vub.ac.be – sequence: 2 givenname: Kris surname: Gybels fullname: Gybels, Kris email: kris.gybels@vub.ac.be – sequence: 3 givenname: Theo surname: D'Hondt fullname: D'Hondt, Theo email: tjdhondt@vub.ac.be |
| BookMark | eNqFkM1qwzAQhEVJoUnaJ-jFL2BXa0uyfeghpH-BQKGkZ2GvV0EhkYMkUvr2dZIeSg8tDOyyzLcwM2Ej1zti7BZ4BhzU3SYjFzFkOecy4zCovmBjkCWkXCkY_div2CSEDedFBaUas9mq_2h8F5JZG6JvMCYLF8nvPcUm2t4lpvfJG2F_IG_dOnmgYNduMA333clxzS5Nsw108z2n7P3pcTV_SZevz4v5bJliIaqYKiiEMRJQmEqiwFxVVBrqhOpU3hECYlOXspRtrWRDZSuEKaCFrkaV15Uppqw4_0Xfh-DJ6L23u8Z_auD62ILe6FML-tiC5jCoHqj6F4X2nGxIa7f_sPdnloZYB0teB7TkkDrrCaPuevsn_wW50H04 |
| CitedBy_id | crossref_primary_10_1016_j_cl_2005_10_003 |
| Cites_doi | 10.1109/TSE.2002.1010061 10.1109/ICSM.2001.972774 |
| ContentType | Journal Article |
| Copyright | 2005 Elsevier B.V. |
| Copyright_xml | – notice: 2005 Elsevier B.V. |
| DBID | 6I. AAFTH AAYXX CITATION |
| DOI | 10.1016/j.entcs.2005.01.019 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1571-0661 |
| EndPage | 25 |
| ExternalDocumentID | 10_1016_j_entcs_2005_01_019 S1571066105002549 |
| GroupedDBID | --K --M 0R~ 1B1 1~5 4.4 457 4G. 5GY 5VS 6I. 7-5 71M AABNK AACTN AAEDT AAEDW AAFTH AAIKJ AAKOC AALRI AAQFI AAXUO ABMAC ABWVN ACDAQ ACGFO ACGFS ACNNM ACRLP ACRPL ACXMD ADBBV ADEZE ADMUD ADNMO ADVLN AEIPS AEKER AEXQZ AFTJW AFXIZ AGHFR AIEXJ AIKHN AITUG AKRWK ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AXJTR CS3 DU5 EBS EJD EO8 EO9 EP2 EP3 FDB FEDTE FNPLU G-Q HVGLF HZ~ IHE IXB J1W KOM KQ8 M41 M~E N9A O-L O9- OK1 OZT P2P RIG ROL RPZ SDG SES SPC SSH SSV SSW SSZ 29G 9DU AAQXK AAYWO AAYXX ABFNM ACLOT ACVFH ADCNI ADFGL AEUPX AFPUW AGQPQ AIGII AJMQA AKBMS AKYEP AOUOD ASPBG AVWKF AZFZN CITATION FGOYB GBLVA R2- SEW ~HD |
| ID | FETCH-LOGICAL-c348t-6134ff51c4f85c4c268e7fed46d62dec1cca97575b965ae7b44f31b1d9c6298f3 |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000214072900003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1571-0661 |
| IngestDate | Sat Nov 29 02:21:48 EST 2025 Tue Nov 18 22:39:09 EST 2025 Thu Apr 10 08:06:45 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Keywords | design recovery dynamic analysis abstract interpretation logic meta programming |
| Language | English |
| License | http://creativecommons.org/licenses/by-nc-nd/3.0 https://www.elsevier.com/tdm/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c348t-6134ff51c4f85c4c268e7fed46d62dec1cca97575b965ae7b44f31b1d9c6298f3 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.entcs.2005.01.019 |
| PageCount | 11 |
| ParticipantIDs | crossref_primary_10_1016_j_entcs_2005_01_019 crossref_citationtrail_10_1016_j_entcs_2005_01_019 elsevier_sciencedirect_doi_10_1016_j_entcs_2005_01_019 |
| PublicationCentury | 2000 |
| PublicationDate | 2005-05-24 |
| PublicationDateYYYYMMDD | 2005-05-24 |
| PublicationDate_xml | – month: 05 year: 2005 text: 2005-05-24 day: 24 |
| PublicationDecade | 2000 |
| PublicationTitle | Electronic notes in theoretical computer science |
| PublicationYear | 2005 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | Fabry, Mens (bib002) 2003 Gamma, Helm, Johnson, Vlissides (bib004) 1995 Prechelt, Unger-Lamprecht, Philippsen, Tichy (bib009) 2002; 28 2001 Roel Wuyts. Kris Gybels. Soul and smalltalk - just married: Evolution of the interaction between a logic and an object-oriented language towards symbiosis. In 2003 Tom Mens and Tom Tourwé. A declarative evolution framework for object-oriented design patterns. In Coen De Roover. Incorporating dynamic analysis and approximate reasoning in declarative meta-programming to support software re-engineering. Licentiate's thesis, Vrije Universiteit Brussel, 2004 Goldberg, Robson (bib005) 1983 Wuyts (bib010) 1998 PhD thesis, Vrije Universiteit Brussel, 2001 Kim Mens, Isabel Michiels, and Roel Wuyts. Supporting software development through declaratively codified programming patterns. In Wuyts, Mens (bib012) 1999 Flach (bib003) 1994 10.1016/j.entcs.2005.01.019_bib011 10.1016/j.entcs.2005.01.019_bib001 Fabry (10.1016/j.entcs.2005.01.019_bib002) 2003 10.1016/j.entcs.2005.01.019_bib006 10.1016/j.entcs.2005.01.019_bib008 Wuyts (10.1016/j.entcs.2005.01.019_bib012) 1999 10.1016/j.entcs.2005.01.019_bib007 Prechelt (10.1016/j.entcs.2005.01.019_bib009) 2002; 28 Goldberg (10.1016/j.entcs.2005.01.019_bib005) 1983 Gamma (10.1016/j.entcs.2005.01.019_bib004) 1995 Flach (10.1016/j.entcs.2005.01.019_bib003) 1994 Wuyts (10.1016/j.entcs.2005.01.019_bib010) 1998 |
| References_xml | – year: 1983 ident: bib005 article-title: Smalltalk-80: the language – reference: . PhD thesis, Vrije Universiteit Brussel, 2001 – reference: , 2003 – reference: Tom Mens and Tom Tourwé. A declarative evolution framework for object-oriented design patterns. In – year: 2003 ident: bib002 article-title: Language-independent detection of object-oriented design patterns publication-title: Elsevier International Journal: Computer Languages, Systems and Structures – reference: Kris Gybels. Soul and smalltalk - just married: Evolution of the interaction between a logic and an object-oriented language towards symbiosis. In – reference: , 2001 – volume: 28 start-page: 595 year: 2002 end-page: 606 ident: bib009 article-title: Two controlled experiments assessing the usefulness of design pattern documentation in program maintenance publication-title: IEEE Trans. Softw. Eng. – year: 1998 ident: bib010 article-title: Declarative reasoning about the structure of object-oriented systems publication-title: Proceedings of TOOLS-USA 1998 – reference: Coen De Roover. Incorporating dynamic analysis and approximate reasoning in declarative meta-programming to support software re-engineering. Licentiate's thesis, Vrije Universiteit Brussel, 2004 – year: 1999 ident: bib012 article-title: Declaratively codifying software architectures using virtual software classifications publication-title: Proceedings of TOOLS-Europe 1999 – reference: Kim Mens, Isabel Michiels, and Roel Wuyts. Supporting software development through declaratively codified programming patterns. In – reference: Roel Wuyts. – year: 1995 ident: bib004 article-title: Design Patterns: elements of reusable Object-Oriented software – year: 1994 ident: bib003 article-title: Simply Logical – year: 1983 ident: 10.1016/j.entcs.2005.01.019_bib005 – ident: 10.1016/j.entcs.2005.01.019_bib006 – volume: 28 start-page: 595 issue: 6 year: 2002 ident: 10.1016/j.entcs.2005.01.019_bib009 article-title: Two controlled experiments assessing the usefulness of design pattern documentation in program maintenance publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/TSE.2002.1010061 – ident: 10.1016/j.entcs.2005.01.019_bib008 doi: 10.1109/ICSM.2001.972774 – year: 1994 ident: 10.1016/j.entcs.2005.01.019_bib003 – ident: 10.1016/j.entcs.2005.01.019_bib007 – year: 2003 ident: 10.1016/j.entcs.2005.01.019_bib002 article-title: Language-independent detection of object-oriented design patterns publication-title: Elsevier International Journal: Computer Languages, Systems and Structures – year: 1998 ident: 10.1016/j.entcs.2005.01.019_bib010 article-title: Declarative reasoning about the structure of object-oriented systems – year: 1995 ident: 10.1016/j.entcs.2005.01.019_bib004 – ident: 10.1016/j.entcs.2005.01.019_bib011 – ident: 10.1016/j.entcs.2005.01.019_bib001 – year: 1999 ident: 10.1016/j.entcs.2005.01.019_bib012 article-title: Declaratively codifying software architectures using virtual software classifications |
| SSID | ssj0038176 |
| Score | 1.4001359 |
| Snippet | It is a well-known problem that design information of object-oriented programs is often lost or is not kept up-to-date when the program evolves. This design... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 15 |
| SubjectTerms | abstract interpretation design recovery dynamic analysis logic meta programming |
| Title | Towards Abstract Interpretation for Recovering Design Information |
| URI | https://dx.doi.org/10.1016/j.entcs.2005.01.019 |
| Volume | 131 |
| WOSCitedRecordID | wos000214072900003&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: 1571-0661 dateEnd: 20201231 omitProxy: false ssIdentifier: ssj0038176 issn: 1571-0661 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 1571-0661 dateEnd: 20201231 omitProxy: false ssIdentifier: ssj0038176 issn: 1571-0661 databaseCode: M~E dateStart: 20040101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LT9wwELZ4HbhAC614tfKhnNKgjWPH8XGFeBxaVLVU4hY5jiMVoQSxAcGF3874lbDaFSpISFEUWXG88nyZmcx-M4PQN1YmpqhRGvORljGVpIxlLtOYUsaYShXPKlvE9Qc_O8svLsQvH9Od2HYCvGny-3tx_a6ihjEQtkmdfYW4-4fCAFyD0OEMYofz_wneEmEn0bg0UQzVRXN4heaj884WIQSFYygckU9L6sUUgvVDl5ym7Sx5ayr3UfmmEJG3pL1frKPfbWCHHrZDvtnJQwnWOKiX_vZ9wk_bpuocZ0m3U8EIZv5HJ0MwcjZLxilVbthVruj6gZ4zFjSxNwhOl7o0T2-VXXb0jL53oYfLAzDQauIjZAkcYjBvPenwj1nTLDlitgaAWETLhDNhtOPPx6Ngv03JQpuTFn5hqFVlWYEzC833Z575KOcf0Jr_uMBjB4qPaEE3G2g9NO7AXo9vorHHCA4YwdMYwYAFPGAEO4zgZxj5hP4eH50fnsa-l0asUpp3MXhttK5ZomidM0UVyXLNa13RrMpIpVUCb7Lg4LuXImNS85LSOoXXuBIqIyKv089oqWkbvYXwiGoqwEzknFdU1kQyWkuiTS8DXkouthEJO1IoX2je9Du5KgKj8LKw22haoLJilMABk773k65dnZWXb8_CVhce4M4FLAAZL03ceevEXbQ6AH4PLXU3t_oLWlF33b_JzVeLoCfHfI-C |
| linkProvider | ISSN International Centre |
| 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=Towards+Abstract+Interpretation+for+Recovering+Design+Information&rft.jtitle=Electronic+notes+in+theoretical+computer+science&rft.au=De+Roover%2C+Coen&rft.au=Gybels%2C+Kris&rft.au=D%27Hondt%2C+Theo&rft.date=2005-05-24&rft.pub=Elsevier+B.V&rft.issn=1571-0661&rft.eissn=1571-0661&rft.volume=131&rft.spage=15&rft.epage=25&rft_id=info:doi/10.1016%2Fj.entcs.2005.01.019&rft.externalDocID=S1571066105002549 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1571-0661&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1571-0661&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1571-0661&client=summon |