A model-driven approach to enforce crosscutting assertion checking

Authors:
Jing Zhang;Jeff Gray;Yuehua Lin
Affiliations:
University of Alabama at Birmingham, Birmingham, AL;University of Alabama at Birmingham, Birmingham, AL;University of Alabama at Birmingham, Birmingham, AL
Venue:
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
Year:
2005

Citing 11
Cited 0

A study on exception detection and handling using aspect-oriented programming

Proceedings of the 22nd international conference on Software engineering
Generative programming: methods, tools, and applications

Generative programming: methods, tools, and applications
Component-based product line development of avionics software

Proceedings of the first conference on Software product lines : experience and research directions: experience and research directions
Getting started with ASPECTJ

Communications of the ACM
Applying "Design by Contract"

Computer
Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems

GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Essentials of Constraint Programming

Essentials of Constraint Programming
The Object Constraint Language: Getting Your Models Ready for MDA

The Object Constraint Language: Getting Your Models Ready for MDA
DMS®: Program Transformations for Practical Scalable Software Evolution

Proceedings of the 26th International Conference on Software Engineering
Cona: aspects for contracts and contracts for aspects

OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Supporting software evolution through model-driven program transformation

OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Design by Contract provides an effective principle to enable the construction of robust software by describing properties of a module using logical assertions. This paper presents a model-driven approach for weaving assertion checking aspects into a large software system. The approach is based on a technique called two-level aspect weaving. At the top level, crosscutting assertions are weaved into a model by use of a model weaver. The second step of the weaving process occurs when the Model-Driven Program Transformation technique is applied to perform large-scale adaptation of the underlying source code from the contracts specified in the high-level models. The paper briefly presents a case study to illustrate the concept.