A Tool Suite to Support Aspect-Oriented Specification
نویسندگان
چکیده
This paper addresses the aspect-oriented specification of systems by considering different aspects of a simple stream example. It is shown how these aspects can be expressed in different formal languages if required. By using an underlying common semantics to the different languages, it is then possible to compose the aspects in order to perform analysis of either the interaction of aspects (c.f. feature interaction) or the overall system behaviour. Our composition process is analogous to the aspect-weaving of aspect-oriented programming and our multi-way synchronisation of events (either explicit or implicit) mirrors the join-points of a program. We also briefly describe our Composer tool suite that supports our aspect-oriented approach.
منابع مشابه
QoS management specification support for multimedia middleware
Middleware technologies are now widely used in order to provide support for the interaction of systems relying on different hardware and operating systems. At present middleware platforms, however, do not provide enough support for both the configuration and reconfiguration of quality of service (QoS) management aspects of real-time applications such as distributed multimedia systems. That is, ...
متن کاملAJaTS – AspectJ Transformation System: Tool Support for Aspect-Oriented Development and Refactoring
The interest in aspect-oriented software development naturally demands tool support for both implementing and evolution of aspect-oriented applications, as well as refactoring current object-oriented software to aspectoriented. In this paper, we present AJaTS – a general purpose AspectJ Transformation System for AspectJ code generation and transformation. AJaTS allows the specification of aspec...
متن کاملSpecifying and Verifying Aspect-Oriented Systems in Rewriting Logic
Aspect-oriented (AO) systems have to deal with an important problem which is the management of aspect interaction. In this paper, we introduce a first tool, known as AO-Maude, which is based on Maude language for the specification and the verification of the AO systems. The proposed tool relies on the reflection feature of rewriting logic that allows us to represent in the Meta-Level the struct...
متن کاملWeaving in Role-Based Aspect-Oriented Design Models
Aspect-oriented modeling deals with cross-cutting concerns at early stages of the software development. Weaving involves highly abstract aspect descriptions, and it is necessary to take into account application specific constraints. We adopt a role-based aspect-oriented modeling method and define a notion of the aspect weaving in a systematic way. We further discuss how we use Alloy, a lightwei...
متن کاملA Formal View of Aspects in the Development of Component-based Distributed Systems
In this paper, we present an aspect-oriented specification technique that supports the specification of component-based distributed systems. Importantly, this technique also supports the synthesis of quality of service management components from particular aspects of the specification. We describe how, by using a tool to support our aspect-oriented environment, we can first specify and verify Q...
متن کامل