liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Formal Framework for Automated Round-trip Software Engineering in Static Aspect Weaving and Transformations
Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory.
Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory.ORCID iD: 0000-0001-5241-0026
2007 (English)In: the 29th Int. Conference on Software Engineering ICSE 2007,2007, USA: IEEE , 2007Conference paper, Published paper (Refereed)
Abstract [en]

We present a formal framework for a recently introduced approach to Automated Round-trip Software Engineering (ARE) in source-level aspect weaving systems. Along with the formalization we improve the original method and suggest a new concept of weaving transactions in Aspect-oriented Programming (AOP). As the major contribution we formally show how, given a tree-shaped intermediate representation of a program and an ancillary transposition tree, manual edits in statically woven code can consistently be mapped back to their proper source of origin, which is either in the application core or in an element in the aspect space. The presented formalism is constructive. It frames AOP by generalizing static aspect weaving to classical tree transformations.

Place, publisher, year, edition, pages
USA: IEEE , 2007.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-40717Local ID: 53983OAI: oai:DiVA.org:liu-40717DiVA: diva2:261566
Available from: 2009-10-10 Created: 2009-10-10 Last updated: 2014-10-08

Open Access in DiVA

No full text

Authority records BETA

Chalabine, MikhailKessler, Christoph

Search in DiVA

By author/editor
Chalabine, MikhailKessler, Christoph
By organisation
The Institute of TechnologyPELAB - Programming Environment Laboratory
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 59 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf