一种使用AspectJ技术的Java契约式编程语言模型  

A Java contractual programming language model based on Aspect

作　　者：陈平[1] 夏敏[2] 

机构地区：[1]马鞍山师范高等专科学校,安徽马鞍山243041 [2]安徽工业大学计算机学院,安徽马鞍山243000

出　　处：《东北电力大学学报》2011年第3期52-55,共4页Journal of Northeast Electric Power University

基　　金：安徽省高校省级科学研究项目(KJ2011B171);安徽省高校省级优秀青年人才基金项目(2011SQRL178)

摘　　要：契约式开发方法是一种借鉴了形式化方法的优点而又易于实践的开发方法学,然而Eiffel等传统的契约式编程语言难以学习与推广。本文提供了一种模型,该模型利用面向方面的编程技术,在面向对象程序设计语言基础上,增加了契约式约束检查。并以Java面向对象程序设计语言为例,使用AspectJ技术对Java程序中的接口、类、继承、数据类型、构造器、域、方法、异常增加关注点,进行契约约束检查,最终形成一种易于实践且具有契约式功能的开发语言环境。Contractual Development is a kind of developing methodology which draws on the merits of Formal Method,and is easy to be put into practice.However,its traditional programming language,Eiffel,is very difficult to learn and popularize.This paper presents a model which,on basis of object - oriented programing Language, can use aspect - oriented programing method to carry out contractual constraint inspections.Taking Java object - oriented programing language as an example,this paper uses AspectJ to carry out a contractual constraint inspections on Java＇s interface,class,inheritance,data types,constructors,regions,methods,and exception increased concerns,etc.,and creates a developing language environment which has contractual function and is easy to be put into practice.

关 键 词：契约式编程 模型 面向方面 

分 类 号：TP311.51[自动化与计算机技术—计算机软件与理论]