[AOSD-Conference] AOSD.07 Conference Update: Registration Live and Expanded Workshop Program

[AOSD 2007 Publicity]

Hi Everyone,

I wanted to let you know that AOSD.07 conference registration is now open at
http://aosd.net/conference. Early registration closes on February 9, 2007 so
don't forget to register soon.

I also wanted to update you on the excited, expanded workshop program.
This program will allow people to come together to identify, exchange, plan
and elaborate on emerging ideas, high-quality research, cutting-edge
practices and other efforts. In addition to subjects addressed in workshops
at prior AOSD conferences, we have several new workshops and workshops newly
associated with AOSD. Over a dozen workshops spanning AOSD-related topics in
different dimensions are being organized: from early to late parts of the
development cycle and even dynamic aspect structures, from virtual-machines
and infrastructure to domain-specific languages, from architecture and
modeling to verification and testing, and from theory to assessment,
exploring many areas of software engineering properties, practices, and
patterns.

If you have questions about the workshops, please contact either the
workshop organizers listed below or the AOSD.07 Workshop Co-Chairs at
workshops at aosd.net.

With that, I thought I'd give you a preview of the program by listing this
year's workshops:

The LATE workshop focuses on techniques and tools for aspect mining and
concern exploration, aspect extraction, pointcut generation, automatic
generation, testing, verification, and evolution.

The SPLAT07 workshop will explore issues in designing AOSD languages and
systems that promote good software engineering properties, for example, with
respect to analyzability, predictability, expressiveness, evolvability, and
semantic interactions, and in particular in context of heterogeneous
artifacts creating boundary crossing challenges.

The ACP4IS workshop aims to provide a highly interactive forum for
researchers and developers to discuss the application of and relationships
between aspects, components, and patterns within modern infrastructure
software. The goal is to put aspects, components, and patterns into a common
reference frame and to build connections between the software engineering
and systems communities.

The AOM workshop focuses on topics related to aspects and model engineering
including, but not limited to: aspect-Oriented Modeling, model-Oriented AOP
and JPM, aspect-Oriented UML, AOSD Method and Tool Support, and
aspect-Oriented Modeling Case Studies.

The ASAT07 workshop is intended to cover wide range of topics on assessment
of AO techniques, from theoretical foundations to assessment frameworks and
empirical studies.

The question for the AARCH workshop is: "How do aspects influence the
description of architectures?" This is of interest for both software
architecture and system architectures [ACV], and for the on-going revision
of IEEE 1471 (now ISO/IEC 25961) on Recommended practice for the
architectural description of software-intensive systems.

The DSAL07 workshop focuses on issues of domain-specific aspect languages,
including: design of DSALs, successful DSALs and their applications, issues
in both design and implementation of DSALs, methodologies and tools suitable
for creating DSALs, mechanisms for interaction detection and handling in
DSALs, theoretical foundations for DSALs, analysis about the specificity
spectrum in aspect languages, and key challenges for future work in the
area.

This 10th EARLY workshop is planning a special event bringing together the
"Early Aspects" community during AOSD 2007 and will publish a set of
high-quality papers in Springer's prestigious Lecture Notes in Computer
Science series. Our goal is to promote the cross-fertilization of ideas in
requirements engineering, domain engineering, software architecture design
and aspect-oriented software development in order to identify continuing
problems and potential solutions using early aspect-based techniques. 
The RV'07 workshop focuses on runtime verification, including topics like
specification languages and logics, aspect oriented languages with trace
predicates, program instrumentation, program guidance, dynamic program
analysis, and combining static and dynamic analysis.

FOAL is a forum for research in foundations of aspect-oriented programming
languages including: semantics of aspect-oriented languages, their
specification and verification, type systems, static analysis, theory of
testing, theory of aspect composition, and theory of aspect translation
(compilation) and rewriting. 

The ODAL workshop focuses on issues relating to open and dynamic aspect
languages including: dynamic aspect languages, aspect-orientation in dynamic
languages, open-ended aspect language implementations, extensibility,
kernels, reflection, and linguistic structures and implementation mechanisms
and frameworks for dynamic aspects.

The VMIL workshop focuses on: support for modularization mechanisms in
compiler and interpreter design, intermediate language constructs that
better support these modularization mechanisms, compilation techniques from
high-level languages to enhanced intermediate languages, optimization
strategies for reduction of runtime overhead, improved pattern matching
techniques, and use cases for deeper support in the virtual machines and
intermediate languages The BPOAOSD workshop focuses on patterns of usage
that constitute best practices, in particular: patterns and pattern
candidates for implementing systems with AOSD techniques and for building or
extending AOSD infrastructures, patterns and pattern candidates for using
AOSD in conjunction with other concepts and technologies, and real-world
application examples from which patterns can be mined.

The WTAOP'07 workshop focuses on testing of aspect-oriented programs,
including topics of interest like: unit testing of aspects, testing of woven
artifacts, prediction of emergent aspect behaviors, fault models of AOP,
model/specification-based testing of aspects, early aspects and testing,
test coverage criteria for aspects, evaluation of aspect testing methods,
automation of aspect testing, and case studies.

Thanks and Happy Holidays,

Ron Bodkin
Publicity Chair, AOSD 2007