检索结果-内蒙古大学图书馆

A semantics for advice and dynamic join points in aspect-oriented programming

ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 2004年第5期26卷 890-910页

作者： Wand, M Kiczales, G Dutchyn, C Northeastern Univ Coll Comp & Informat Sci Boston MA 02115 USA Univ British Columbia Dept Comp Sci Vancouver BC V6T 1Z4 Canada

A characteristic of aspect-oriented programming, as embodied in aspectJ, is the use of advice and pointcuts to define behavior that crosscuts the structure of the rest of the code. The events during execution at which advice may execute are called join points. A pointcut is a set of join points. An advice is an action to be taken at the join points in a particular pointcut. In this model of aspect-oriented programming, join points are dynamic in that they refer to events during the flow of execution of the program. We give a denotational semantics for a minilanguage that embodies the key features of dynamic join points, pointcuts, and advice. This is the first semantics for aspect-oriented programming that handles dynamic join points and recursive procedures. It is intended as a baseline semantics against which future correctness results may be measured.

关键词： design languages theory advice aspectJ aspect-oriented programming aspect Sand Box join point pointcut

来源：评论

学校读者我要写书评

暂无评论

Approach of Separately Applying Unit Testing to aspectJ Program

引用

Journal of Southwest Jiaotong University(English Edition) 2008年第3期16卷 227-232页

作者：顾海波卢炎生 School of Computer Science and Technology Huazhong University of Science and Technology

A unit testing approach for aspectJ programs is proposed to separately test aspect units which have their own states. In the approach, aspects under test are converted to classes before execution of unit testing. In the conversion process, the context information passed through pointcut is transformed into advices, then the advices are converted to class member methods, and conflicts in the conversion result, if any, are resolved finally. The unit testing process consists of generating test cases, executing test cases and checking results.

关键词： aspect-oriented programming aspectJ program Unit testing Testing approach

来源：评论

学校读者我要写书评

暂无评论

Adding aspect-oriented programming features to visual basic .NET by using Multidimensional Separation of Concerns (MDSOC) approach

Adding aspect-oriented programming features to visual basic ...

引用

International Conference on Software Engineering Research and Practice

作者： Haryono Zhang, C Focused Technol LLC Sacramento CA 95827 USA

ISBN: (纸本)1932415300

aspect oriented programming (AOP) is a new programming paradigm that enhances current programming methodologies. It introduces higher level of modularity and better handling of software complexity by providing another level of abstraction for Separation of Concerns. Multidimensional Separation of Concerns (MDSOC) is one of the AOP approaches with the strong emphasis on addressing software evolution issues including encapsulation of random and/or even the unanticipated concerns. Visual Basic((R)) is commonly used in various business applications that usually change so fast It should have a good evolution capability. Now, ***(TM) is very powerful and its abstraction capability enables MDSOC implementation on it. Hyper-YB tool is created to demonstrate how the AOP addition to ***(TM) using MDSOC approach enhances software evolution;modularity and reusability. The techniques used are adapted from the ones used by Hyper/J(TM) system (an AOP implementation using MDSOC for Java(TM) developed by IBM(R)) and further improved.

关键词： object-oriented programming aspect-oriented programming software evolution

来源：评论

学校读者我要写书评

暂无评论

A semantics for advice and dynamic join points in aspect-oriented programming

A semantics for advice and dynamic join points in aspect-ori...

引用

Workshop on Foundations of aspect oriented Languages (FOAL 2002)

作者： Wand, M Kiczales, G Dutchyn, C Northeastern Univ Coll Comp & Informat Sci Boston MA 02115 USA Univ British Columbia Dept Comp Sci Vancouver BC V6T 1Z4 Canada

关键词： design languages theory advice aspectJ aspect-oriented programming aspect Sand Box join point pointcut

来源：评论

学校读者我要写书评

暂无评论

Realizing Extension Use Cases with AOP

Realizing Extension Use Cases with AOP

引用

2008 IEEE International Symposium on IT in Medicine and Education(2008信息技术在医学和教育中的应用国际研讨会)(ITME 2008)

作者： YiZhou Guohua Lei Ping Li Leilei Kong Department of Computer Science & Technology Heilongjiang Institute of Technology

The extension use case adds additional behavior to a base use case without changing it. We had no mainstream programming language supporting the implementation of extensions as we now get with aspect-oriented programming. aspect-oriented programming provides the ability to modularize and weave the representation of crosscutting *** paper focuses on the extension of UML for modeling and realizing the use case extension relationship which AOP addresses. An example of modeling and implementing extension use case with AOP is presented.

关键词： aspect-oriented programming ExtensionUse Cases UML

来源：评论

学校读者我要写书评

暂无评论

aspect orientation vs. Object orientation in software programming - An exploratory case-study

Aspect orientation vs. Object orientation in software progra...

引用

2nd International Conference on Software and Data Technologies

作者： Lomartire, Anna Pesce, Gianfranco Cantone, Giovanni Univ Roma Tor Vergata Ctr Calcolo & Documentazione Via O Raimondo I-00177 Rome Italy Univ Roma Tor Vergata Dipartimento Inform Sistemi & Prod I-100133 Rome Italy

ISBN: (纸本)9789898111050

aspect orientation is a Software paradigm that is claimed to be more effective and efficient than Object orientation when software development and maintenance interventions are taken in consideration that affect transversally the application structure, namely aspects. In order to start with providing evidence able to confirm or disconfirm that opinion in our context - software processes that we enact, and products that we develop at our University Data Center - before launching a controlled experiment, which would require the investment of large effort, we conducted a preliminary explorative investigation that we arranged as a case study. We started from a Web-based object-oriented application, which engineering students in Informatics had constructed under our supervision. We specified new user needs, which realization was expected to impact on many of the application's classes and relationships. Hence, we applied another student to realize those extensive requirements by using both aspect orientation and Object orientation. Results show that, in the average, both the completion time and the size of the additional code advantage significantly the aspect orientation, for maintenance interventions that are transversal to the application's structure, with respect to the characteristics of the experiment object utilized, the specified enhancement maintenance requirements, and the subject involved with performing in the role of programmer. Although the exploratory nature of the study, the limited generality of the utilized application, and the fact that just one programmer was utilized as experimental subjects, the experiment results push us to verify the findings by conducting further investigation involving a wider set of programmers and applications with different characteristics.

关键词： aspect-oriented programming object-oriented programming empirical software engineering

来源：评论

学校读者我要写书评

暂无评论

An Automatic Test Coverage Analysis for SystemC Description Using aspect-oriented programming

An Automatic Test Coverage Analysis for SystemC Description ...

引用

The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

作者： Yan Chen Weidong Qiu Bo Zhou Chenglian Peng School of Information Science and Engineering Fudan University

ISBN: (纸本)0780379411

This paper addresses the problem of functionalverification starting from a high level description ofthe system under test, specified in SystemC. Theverification method considered is based upon thesimulation of executable SystemC description. Testcoverage analysis is the main technique for checkingand showing that the testing has been thorough. In thispaper we propose a novel approach to automate thecoverage analysis using aspect-oriented *** here are described as checkers for detectingcoverage. The most important feature using theaspect-oriented technology here is that allowschecking functions across classes to be added orreplaced without modifying the original code. UML2.0is used to model the dynamic behavior view ofSystemC description as a coverage metric modelInherently it is possible to automate the whole testcoverage analysis using our methodology.

关键词： formal specification program verification computer aided software engineering object-oriented programming Unified Modeling Language C language automatic test coverage analysis aspect-oriented programming functional verification high level description system testing SystemC specification executable SystemC description simulation system checking UML2.0 dynamic behavior modeling coverage metric model

来源：评论

学校读者我要写书评

暂无评论

Weaving temporal and reliability aspects into a schema tapestry

引用

DATA & KNOWLEDGE ENGINEERING 2007年第3期63卷 752-773页

作者： Dyreson, Curtis Snodgrass, Richard T. Currim, Faiz Currim, Sabah Joshi, Shallesh Washington State Univ Pullman WA 99164 USA Univ Arizona Tucson AZ USA Univ Iowa Fac Management Sci Iowa City IA USA Florida State Univ Fac Coll Informat Tallahassee FL 32306 USA

In aspect-oriented programming (AOP) a cross-cutting concern is implemented in an aspect. An aspect weaver blends code from the aspect into a program's code at programmer-specified cut points, yielding an aspect-enhanced program. In this paper, we apply some of the concepts from the AOP paradigm to data. Like code, data also has cross-cutting concerns such as versioning, security, privacy, and reliability. We propose modeling a cross-cutting data concern as a schema aspect. A schema aspect describes the structure of the metadata in the cross-cutting concern, identifies the types of data elements that can be wrapped with metadata, i.e., the cut points, and provides some simple constraints on the use of the metadata. Several schema aspects can be applied to a single data collection, though in this paper we focus on just two aspects: a reliability aspect and a temporal aspect. We show how to weave the schema for these two aspects together with the schema for the data into a single, unified schema that we call a schema tapestry. The tapestry guides the construction, interpretation, and validation of an aspect-enhanced data collection. Published by Elsevier B.V.

关键词： databases schema design temporal databases metadata aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented weaving and the .NET common language runtime

引用

IET SOFTWARE 2007年第6期1卷 251-262页

作者： Schmied, F. Cyment, A. Vienna Univ Technol SBC Grp Inst Comp Languages Vienna Austria Rubicon IT A-1010 Vienna Austria Univ Buenos Aires Sch Comp Sci Buenos Aires DF Argentina

aspect-oriented programming (AOP), now practically a consolidated academic discipline, has yet to build more solid industrial foundations, especially in the realms of the .NET platform. It's believed that this situation is caused by the lack of a robust and user-friendly AOP tool for .NET comparable with the Java-based aspectJ. This work investigates the basic infrastructure required for building such a tool: aspect-oriented weaving with the common language runtime (CLR) environment. In this regard, a classification schema is built, analysing the attributes a hypothetical aspect weaver for .NET might have. It assesses the different classes of weavers that can be built on top of the CLR today and investigates what extensions to the platform would be needed in order to enable more sophisticated weaving technologies. Some typical use cases for the resulting AOP tools, and classify what attributes a corresponding weaver would need to have in order to fulfil these requirements. Finally, two existing aspect weaver implementations in terms of these very same attributes are analysed.

关键词： .NET common language runtime aspect-oriented programming object-oriented programming Distributed systems software Java-based aspectJ Java network operating systems aspect-oriented weaving Object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Control and data flow structural testing criteria for aspect-oriented programs

引用

JOURNAL OF SYSTEMS AND SOFTWARE 2007年第6期80卷 862-882页

作者： Lazzarini Lemos, Otavio Augusto Rizzo Vincenzi, Auri Marcelo Maldonado, Jose Carlos Masiero, Paulo Cesar Univ Sao Paulo Inst Ciencias Matemat Comp Sao Carlos SP Brazil Univ Fed Goias Inst Informat BR-74001970 Goiania Go Brazil

Although it is claimed that, among other features, aspect-oriented programming (AOP) increases understandability and eases the maintenance burden, this technology cannot provide correctness by itself, and thus it also requires the use of systematic verification, validation and testing (VV&T) approaches. With the purpose of producing high quality software, many approaches to apply structural testing criteria for the unit testing of procedural and object-oriented (00) programs have been proposed. Nevertheless, until now, few works have addressed the application of such criteria to test aspect-oriented programs. In this paper we define a family of control flow and data flow based testing criteria for aspect-oriented programs inspired by the implementation strategy adopted by aspectJ - an aspect-oriented extension of the Java language - and extending a previous work proposed for Java programs. We propose the derivation of a control and data flow model for aspect-oriented programs based upon the static analysis of the object code (the Java bytecode) resulted from the compilation/weaving process. Using this model, called aspect-oriented def-use graph (AODU) traditional and also aspect-oriented testing criteria are defined (called Control and Data Flow Structural Testing Criteria for aspect-oriented Programs - CDSTC-AOP). The main idea is that composition of aspect-oriented programs leads to new crosscutting interfaces in several modules of the system, which must be considered for coverage during structural testing. The implementation of a prototype tool - the JaBUTi/AJ tool - to support the proposed criteria and model is presented along with an example. Also, theoretical and practical questions regarding the CDSTC-AOP criteria are discussed. (C) 2006 Elsevier Inc. All rights reserved.

关键词： software testing aspect-oriented programming structural testing testing criteria testing aspect-oriented programs

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：