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

Beyond AOP: Toward naturalistic programming

ACM SIGPLAN NOTICES 2003年第12期38卷 34-43页

作者： Lopes, CV Dourish, P Lorenz, DH Lieberherr, K Univ Calif Irvine Sch Informat & Comp Sci Irvine CA 92697 USA Northeastern Univ Coll Comp & Informat Sci Boston MA 02115 USA

Software understanding for documentation, maintenance or evolution is one of the longest-standing problems in Computer Science. The use of "high-level" programming paradigms and object-oriented languages helps, but fundamentally remains far from solving the problem. Most programming languages and systems have fallen prey to the assumption that they are supposed to capture idealized models of computation inspired by deceptively simple metaphors such as objects and mathematical functions. aspect-oriented programming languages have made a significant breakthrough by noticing that, in many situations, humans think and describe in crosscutting terms. In this paper we suggest that the next breakthrough would require looking even closer to the way humans have been thinking and describing complex systems for thousand of years using natural languages. While natural languages themselves are not appropriate for programming, they contain a number of elements that make descriptions concise, effective and understandable. In particular, natural languages referentiality is a key factor in supporting powerful program organizations that can be easier understood by humans.

关键词： documentation design human factors languages language design aspect-oriented programming natural language cognitive foundations of programming

来源：评论

学校读者我要写书评

暂无评论

A Reusable SQL Injection Detection Method for Java Web Applications

引用

KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS 2020年第6期14卷 2576-2590页

作者： He, Chengwan He, Yue Wuhan Inst Technol Sch Comp Sci & Engn Wuhan 430205 Hubei Peoples R China Wuhan Univ Technol Sch Informat Engn Wuhan 430000 Hubei Peoples R China

The fundamental reason why most SQL injection detection methods are difficult to use in practice is the low reusability of the implementation code. This paper presents a reusable SQL injection detection method for Java Web applications based on AOP (aspect-oriented programming) and dynamic taint analysis, which encapsulates the dynamic taint analysis processes into different aspects and establishes aspect library to realize the large-grained reuse of the code for detecting SQL injection attacks. A metamodel of aspect library is proposed, and a management tool for the aspect library is implemented. Experiments show that this method can effectively detect 7 known types of SQL injection attack such as tautologies, logically incorrect queries, union query, piggy-backed queries, stored procedures, inference query, alternate encodings and so on, and support the large-grained reuse of the code for detecting SQL injection attacks.

关键词： SQL injection attack aspect-oriented programming taint analysis aspect library metamodel

来源：评论

学校读者我要写书评

暂无评论

Implementing distribution and persistence aspects with aspectJ

引用

ACM SIGPLAN NOTICES 2002年第11期37卷 174-190页

作者： Soares, S Laureano, E Borba, P Univ Fed Pernambuco Informat Ctr Recife PE Brazil Catholic Univ Pernambuco Informat & Stat Dept Recife PE Brazil

This paper reports our experience using aspectJ, a general-purpose aspect-oriented extension to Java, to implement distribution and persistence aspects in a web-based information system. This system was originally implemented in Java and restructured with aspectJ. Our main contribution is to show that aspectJ is useful for implementing several persistence and distribution concerns in the application considered, and other similar applications. We have also identified a few drawbacks in the language and suggest some minor modifications that could significantly improve similar implementations. Despite the drawbacks, we argue that the aspectJ implementation is superior to the pure Java implementation. Some of the aspects implemented in our experiment are abstract and constitute a simple aspect framework. The other aspects are application specific but we suggest that different implementations might follow the same aspect pattern. The framework and the pattern allow us to propose architecture-specific guidelines that provide practical advice for both restructuring and implementing certain kinds of persistent and distributed applications with aspectJ.

关键词： languages standardization experimentation aspect-oriented programming separation of concerns aspectJ distributed programming object persistence

来源：评论

学校读者我要写书评

暂无评论

Expressive and safe static reflection with MorphJ

引用

ACM SIGPLAN NOTICES 2008年第6期43卷 79-89页

作者： Huang, Shan Shan Smaragdakis, Yannis Georgia Inst Technol Coll Comp Atlanta GA 30332 USA Univ Oregon Dept Comp & Informat Sci Eugene OR 97403 USA

Recently, language extensions have been proposed for Java and C# to support pattern-based reflective declaration. These extensions introduce a disciplined form of meta-programming and aspect-oriented programming to mainstream languages: They allow members of a class (i.e., fields and methods) to be declared by statically iterating over and pattern-matching on members of other classes. Such techniques, however, have been unable to safely express simple, but common, idioms such as declaring getter and setter methods for fields. In this paper, we present a mechanism that addresses the lack of expressiveness in past work without sacrificing safety. Our technique is based on the idea of nested patterns that elaborate the outer-most pattern with blocking or enabling conditions. We implemented this mechanism in a language, MorphJ. We demonstrate the expressiveness of MorphJ with real-world applications. In particular, the MorphJ reimplementation of DSTM2, a software transactional memory library, reduces 1,107 lines of Java reflection and bytecode engineering library calls to just 374 lines of MorphJ code. At the same time, the MorphJ solution is both high level and safer, as MorphJ can separately type check generic classes and catch errors early. We present and formalize the MorphJ type system, and offer a type-checking algorithm.

关键词： languages object-oriented programming structural abstraction class morphing aspect-oriented programming meta-programming language extensions

来源：评论

学校读者我要写书评

暂无评论

A DSL-based runtime adaptivity framework for Java

引用

SOFTWAREX 2023年 23卷

作者： Carvalho, Tiago Bispo, Joao Pinto, Pedro Cardoso, Joao M. P. Univ Porto Fac Engn Rua Dr Roberto Frias S-N P-4200465 Porto Portugal INESC TEC Rua Dr Roberto Frias S-N P-4200465 Porto Portugal

This article presents Kadabra, a Java source-to-source compiler that allows users to make code queries, code analysis and code transformations, all user-programmable using the domain-specific language LARA. We show how Kadabra can be used as the basis for developing a runtime autotuning and adaptivity framework, able to adapt existing source Java code in order to take advantage of runtime autotuning. Specifically, this article presents the framework, consisting of Kadabra and an API for runtime adaptivity. We show the use of the framework to extend Java applications with autotuning and runtime adaptivity mechanisms to target performance improvement and/or energy saving goals.(c) 2023 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY license (http://***/licenses/by/4.0/).

关键词： aspect-oriented programming Runtime adaptivity Code specialization Autotuning Source-to-source compilers Java

来源：评论

学校读者我要写书评

暂无评论

MOP: An efficient and generic runtime verification framework

引用

ACM SIGPLAN NOTICES 2007年第10期42卷 569-588页

作者： Chen, Feng Rosu, Grigore Univ Illinois Urbana IL 61801 USA

Monitoring-oriented programming (MOP1) [21, 18, 22, 19] is a formal framework for software development and analysis, in which the developer specifies desired properties using definable specification formalisms, along with code to execute when properties are violated or validated. The MOP framework automatically generates monitors from the specified properties and then integrates them together with the user-defined code into the original system. The previous design of MOP only allowed specifications without parameters, so it could not be used to state and monitor safety properties referring to two or more related objects. In this paper we propose a parametric specification-formalism-independent extension of MOP, together with an implementation of JavaMOP that supports parameters. In our current implementation, parametric specifications are translated into aspectJ code and then weaved into the application using off-the-shelf aspectJ compilers;hence, MOP specifications can be seen as formal or logical aspects. Our JavaMOP implementation was extensively evaluated on two benchmarks, Dacapo [14] and Tracematches [8], showing that runtime verification in general and MOP in particular are feasible. In some of the examples, millions of monitor instances are generated, each observing a set of related objects. To keep the runtime overhead of monitoring and event observation low, we devised and implemented a decentralized indexing optimization. Less than 8% of the experiments showed more than 10% runtime overhead;in most cases our tool generates monitoring code as efficient as the hand-optimized code. Despite its genericity, JavaMOP is empirically shown to be more efficient than runtime verification systems specialized and optimized for particular specification formalisms. Many property violations were detected during our experiments;some of them are benign, others indicate defects in programs. Many of these are subtle and hard to find by ordinary testing.

关键词： runtime verification aspect-oriented programming monitoring-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Types and Modularity for Implicit Invocation with Implicit Announcement

引用

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2010年第1期20卷 1-1页

作者： Steimann, Friedrich Pawlitzki, Thomas Apel, Sven Kaestner, Christian Fernuniv Fak Math & Informat Lehrgebiet Programmiersyst D-58084 Hagen Germany Univ Passau Fak Math & Informat Lehrstuhl Programmierung D-94030 Passau Germany Univ Magdeburg Fak Informat Inst Tech & Betriebliche Informat Syst D-39016 Magdeburg Germany

Through implicit invocation, procedures are called without explicitly referencing them. Implicit announcement adds to this implicitness by not only keeping implicit which procedures are called, but also where or when-under implicit invocation with implicit announcement, the call site contains no signs of that, or what it calls. Recently, aspect-oriented programming has popularized implicit invocation with implicit announcement as a possibility to separate concerns that lead to interwoven code if conventional programming techniques are used. However, as has been noted elsewhere, as currently implemented it establishes strong implicit dependencies between components, hampering independent software development and evolution. To address this problem, we present a type-based modularization of implicit invocation with implicit announcement that is inspired by how interfaces and exceptions are realized in JAVA. By extending an existing compiler and by rewriting several programs to make use of our proposed language constructs, we found that the imposed declaration clutter tends to be moderate;in particular, we found that, for general applications of implicit invocation with implicit announcement, fears that programs utilizing our form of modularization become unreasonably verbose are unjustified.

关键词： Design Languages Implicit invocation event-driven programming publish/subscribe aspect-oriented programming modularity typing

来源：评论

学校读者我要写书评

暂无评论

A labeled transition model A-LTS for history-based aspect weaving and its expressive power

引用

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS 2007年第5期E90D卷 799-807页

作者： Yagi, Isao Takata, Yoshiaki Seki, Hiroyuki Nara Inst Sci & Technol Grad Sch Informat Sci Ikoma 6300101 Japan

This paper proposes an event-based transition system called A-LTS. An A-LTS is a simple system consisting of two agents, a basic program and a monitor. The monitor observes the behavior of the basic program and if the behavior matches some pre-defined pattern, then the monitor interrupts the execution of the basic program and possibly triggers the execution of another specific program. An A-LTS models a common feature found in recent software technologies such as aspect-oriented programming (AOP), history-based access control and active database. We investigate the expressive power of A-LTS and show that it is strictly stronger than finite state machines and strictly weaker than pushdown automata (PDA). This implies that the model checking problem for A-LTS is decidable. It is also shown that the expressive power of A-LTS, linear context-free grammar and deterministic PDA are mutually incomparable. We also discuss the relationship between A-LTS and pointcut/advice in AOR.

关键词： labeled transition system pushdown automaton formal model aspect-oriented programming aspectJ

来源：评论

学校读者我要写书评

暂无评论

Dynamic service adaptation

引用

SOFTWARE-PRACTICE & EXPERIENCE 2006年第11-12期36卷 1115-1131页

作者： Hirschfeld, Robert Kawarnura, Katsuya DoCoMo Euro Labs Europe D-80687 Munich Germany Univ Potsdam Hasso Plattner Inst D-14482 Potsdam Germany

Change can be observed in our environment and in the technology we build. While changes in the environment happen continuously and implicitly, our technology has to be kept in sync with the changing world around it. Although we can prepare for some of the changes for most of them we cannot. This is especially true for next-generation mobile communication systems that are expected to support the creation of a ubiquitous society where virtually everything is connected and made available within an organic information network. Resources will frequently join or leave the network, new types of media or new combinations of existing types will be used to interact and cooperate, and services will be tailored to preferences and needs of individual customers to better meet their needs. This paper outlines our research in the area of dynamic service adaptation to provide concepts and technologies allowing for such environments. Copyright (C) 2006 John Wiley & Sons, Ltd.

关键词： dynamic service adaptation DSA aspect-oriented programming dynamic AOP

来源：评论

学校读者我要写书评

暂无评论

Assessing Organizational Effectiveness of Cooperative Agents

引用

Procedia Computer Science 2017年 112卷 917-926页

作者： Kaouther Bouzouita Wided Lejouad Chaari Moncef Tagina COSMOS Research Laboratory National School of Computer Studies University of Manouba 2010 Tunisia

This paper investigates the effect of agents coalitional strategy on their effectiveness using an evaluation approach that causes no alteration of the global system’s performance. Cooperation process is thus considered during the execution of a Multiagent System (MAS) in order to collect all necessary data for the evaluation phase. A structural analysis is then led to set instant and global assessments of the agents management and output. The observation and evaluation tools are implemented using aspect-oriented programming. We prove through experiments that they do not alter the global performance of the system regarding execution time and reached scores. The approach could then be validated as an objective evaluator of the system by judging real organizational capabilities of its agents in achieving their goals.

关键词： MAS evaluation organization cooperation observation aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：