|
Showing 1 - 5 of
5 matches in All Departments
This volume, the 8th in the Transactions on Aspect-Oriented
Software Development series, contains two regular submissions and a
special section, consisting of five papers, on the industrial
applications of aspect technology. The regular papers describe a
framework for constructing aspect weavers, and patterns for
reusable aspects. The special section begins with an invited
contribution on how AspectJ is making its way from an exciting new
hype topic to a valuable technology in enterprise computing. The
remaining four papers each cover different industrial applications
of aspect technology, which include a telecommunication platform, a
framework for embedding user assistance in independently developed
applications, a platform for digital publishing, and a framework
for program code analysis and manipulation.
- Those who want to learn about AOM ?nd in this special issue a
concise collection of descriptions of solid and mature AOM
approaches. They only have to take the time to understand one case
study in order to appreciate the sample models shown in all papers.
- Those who want to apply AOM for a particular purpose and are
looking for the most appropriate AOM technique can use the papers
presented in this specialissue to identify the
mostpromisingapproach(es).By identifying similarities between their
problem and the case study they should be able to determine
candidate AOM approaches easily. - Those working on their own AOM
approach can readily identify approaches that were able to handle
concerns that their own approach is not able to handle elegantly.
This stimulates cross-fertilization between approaches and
collaborative research. - Thoseengineering researchersthat
areworkingon enhancing softwaredev- opment processes can use the
example models presented in this special issue to understand the
potential bene?ts of using AOM techniques at di?erent phases of the
software development life-cycle.
work for small problems, but it introduces signi?cant accidental
complexities when tackling larger problems.
Notethattherealchallengehereisnothowtodesignthesystemtotakeap-
ticular aspect into account: there is signi?cant design know-how in
industry on this and it is often captured in the form of design
patterns. Taking into account more than one aspect can be a little
harder, but many large scale successful projects in industry
provide some evidence that engineers know how di?erent concerns
should be handled. The real challenge is reducing the e?ort that
the engineerhasto
expendwhengrapplingwithmanyinter-dependentconcerns.For example, in
a product-line context, when an engineer wants to replace a variant
of an aspect used in a system, she should be able to do this
cheaply, quickly and safely. Manually weaving every aspect is not
an option. Unlike many models used in the sciences, models in
software and in lingu- tics have the same nature as the things they
model. In software, this provides an opportunity to automatically
derive software from its model, that is, to - tomate the weaving
process. This requires models to be formal, and the weaving process
be described as a program (i.e., an executable meta-model) manipul-
ing models to produce a detailed design. The detailed design
produced by the weaving process can ultimately be transformed to
code or at least test suites.
The symposium "Languages: From Formal to Natural," celebrating the
65th birthday of Nissim Francez, was held on May 24-25, 2009 at the
Technion, Haifa. The symposium consisted of two parts, a
veri?cation day and a language day, and covered all areas of
Nissim's past and present research interests, areas which he has
inspiringly in?uenced and to which he has contributed so much. This
volume comprises severalpapers presentedat the symposium, as wellas
additional articles that were contributed by Nissim's friends and
colleagues who were unable to attend the event. We thank the
authors for their contributions. Wearealsogratefultothereviewersfor
their dedicated and timely work. Nissim Francez was born on January
19, 1944. In 1962 he started his mat- matical education at the
Hebrew University. He received a BSc in Mathematics in 1965, and,
after four years of military service, started his MSc studies in
Computer Science at the Weizmann Institute of Science under the
supervision of Amir Pnueli. After completing the MSc program in
1971, Nissim continued his studies toward a PhD, again, at the
Weizmann Institute of Science and, again, under the supervisionof
Amir Pnueli. Nissim wasawardeda PhDin Computer Science in 1976.
|
|