Loading...
Please wait, while we are loading the content...
Similar Documents
A Model-Driven Approach to Enforce Crosscutting Assertion Checking (2005)
| Content Provider | CiteSeerX |
|---|---|
| Author | Zhang, Jing Gray, Jeff Lin, Yuehua |
| Description | {zhangj, gray, liny} @ cis.uab.edu 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. 27th ICSE Workshop on the Modeling and Analysis of Concerns in Software (MACS |
| File Format | |
| Language | English |
| Publisher Date | 2005-01-01 |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
