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

Annual Brazilian Symposium on programming Languages (SBLP)

作者： Rebelo, Henrique Lima, Ricardo Leavens, Gary T. Cornelio, Marcio Mota, Alexandre Oliveira, Cesar Univ Fed Pernambuco Informat Ctr BR-50740540 Recife PE Brazil Univ Cent Florida Dept Elect Engn & Comp Sci Orlando FL 32816 USA

The aspectJ JML compiler (ajmlc) explores aspect-oriented programming (AOP) mechanisms to implement JML specifications, such as pre- and postconditions, and enforce them during runtime. This compiler was created to improve source-code modularity. Some experiments were conducted to evaluate the performance of the code generated through ajmlc. Results demonstrated that the strategy of adopting AOP to implement JML specifications is very promising. However, there is still a need for optimization of the generated code's bytecode size and running time. This paper presents a catalog of transformations which represent the optimizations implemented in the new optimized version of the ajmlc compiler. We employ such transformations to reduce the bytecode size and running time of the code generated through the ajmlc compiler. Aiming at demonstrating the impact of such transformation on the code quality, we conduct an empirical study using four applications in optimized and non-optimized versions generated by ajmlc. We show that our AOP transformations provide a significant improvement, regarding bytecode size and running time. (C) 2012 Elsevier B.V. All rights reserved.

关键词： aspect-oriented programming Program transformation JML

来源：评论

学校读者我要写书评

暂无评论

Addressing Non-functional Requirements for Embedded Applications with Platform Based aspect Design 18

Addressing Non-functional Requirements for Embedded Applicat...

引用

IEEE 18th International Symposium on Real-Time Distributed Computing Workshops

作者： Resmerita, Stefan Poelzleitner, Anton Lukesch, Stefan Salzburg Univ Dept Comp Sci A-5020 Salzburg Austria

ISBN: (纸本)9781467377096

aspect oriented programming (AOP) and aspect oriented Modeling (AOM) have been proposed as development methodologies when dealing with non-functional requirements for embedded systems, which usually represent cross-cutting concerns in relation to a "functional" application. In this paper, based on the observation that non-functional aspects need to be developed from a system-level perspective, we note that application-level AOP is not sufficient to address non-functional requirements (as it usually ignores execution platform constraints). We then propose a development process that considers AOM in conjunction with two standard development approaches for embedded systems: Model Based Development and Platform Based Design. The proposed methodology is illustrated by means of an example with logical execution time requirements.

关键词： aspect oriented modeling embedded software model based development non-functional requirements platform based design Embedded software functional requirements embedded application Platform aspect Embedded systems PROCESS DEVELOPMENT aspect-oriented programming based execution time

来源：评论

学校读者我要写书评

暂无评论

Fault Tolerance with aspects: A Feasibility Study 2016

Fault Tolerance with Aspects: A Feasibility Study

引用

15th International Conference on Modularity (MODULARITY)

作者： Karol, Sven Rink, Norman A. Gyapjas, Balint Castrillon, Jeronimo Tech Univ Dresden Chair Compiler Construct Cfaed Dresden Germany

ISBN: (纸本)9781450339957

To enable correct program execution on unreliable hardware, software can be made fault-tolerant by adding program statements or machine instructions for fault detection and recovery. Manually modifying programs does not scale, and extending compilers to emit additional machine instructions lacks flexibility. However, since software-implemented hardware fault tolerance (SIHFT) can be understood as a cross-cutting concern, we propose aspect-oriented programming as a suitable implementation technique. We prove this proposition by implementing an AN encoder based on aspectC++. In terms of performance and fault coverage, we achieve comparable results to existing compiler-based solutions.

关键词： aspect-oriented programming generative programming arithmetic codes AN encoding SIHFT

来源：评论

学校读者我要写书评

暂无评论

Capturing Returned Computable Values in aspectJ for Security Hardening

引用

INFORMATION SECURITY JOURNAL 2009年第2期18卷 87-98页

作者： Boukhtouta, A. Alhadidi, D. Debbabi, M. Concordia Univ Concordia Inst Informat Syst Engn Montreal PQ Canada

The main contribution of this paper is to present an extension to aspectJ compiler ajc-1.5.0 for security hardening. The extension consists of two pointcuts that can capture the returned computable values of methods in both the execution scope and following a method invocation. The returned values in programs are the results of operations done in the execution scope of methods. They are significant for the intra-and inter-procedural dataflow analysis where they represent the context transitivity between the caller and the called methods in a given program. Any misuse of them can allow the reflection of important data and the disclosure of secret information. Moreover, any alteration of these values can violate the integrity of programs and conduct to their misbehavior. In this paper, we detail the design and the implementation of these two pointcuts. Finally, we present a case study to demonstrate how the data integrity property can be satisfied in distributed systems using the newly implemented pointcuts.

关键词： aspect-oriented programming oointcut-advice model aspectJ security hardening data integrity

来源：评论

学校读者我要写书评

暂无评论

Seed Treatment and Water Purification by the Synergical Effect of Gliding Arc Plasma and Photocatalytic Film

Seed Treatment and Water Purification by the Synergical Effe...

引用

International Conference on Optimization of Electrical and Electronic Equipment (OPTIM)

作者： Kriz, P. Olsan, P. Havelka, Z. Horakova, M. Bartos, P. Vazdova, P. Syamkrishna, B. Spatenka, P. Univ South Bohemia Dept Appl Phys & Technol Ceske Budejovice Czech Republic Univ South Bohemia Dept Agr Machinery & Serv Ceske Budejovice Czech Republic Czech Tech Univ Dept Mat Engn Prague Czech Republic Univ South Bohemia Dept Genet Anim Breeding & Nutr Ceske Budejovice Czech Republic Univ South Bohemia South Bohemian Res Ctr Aquaculture & Biodivers Hy Ceske Budejovice Czech Republic

ISBN: (纸本)9781479951833

In recent time low temperature plasma discharge is ordinarily used in material engineering for surface treatment of various kind of material but it has already been used also for other applications, such as degradation of mycotoxin, sterilization of thermally sensitive medical devices, seed germination enhancement etc. Also many types of advanced oxidation processes (AOP) are used in wide range of applications, for instance for biodegradation of pollutants, water cleaning, sterilization etc. In the paper the possibilities of using of low temperature atmospheric pressure plasma discharge (APD) and AOP based on photocatalysis in some environmental friendly applications is presented. The possibilities of APD using for degradation of mycotoxin has been already presented but any influence of the APD on quality of the infected and treated seeds was studied. Thus the comparison of nutriments contents of treated and untreated seeds was the aim of the paper. The synergistic effect of contemporary using of photocatalysis and APD of Gliding Arc type on biodegradation of pollutant in water is also presented.

关键词： Avalanche photodiodes pamidronate Plasma jets Water Purification Seed treatments Photocatalysts aspect-oriented programming biodegradation Gliding Mycotoxins Water Treatment arcs arc Arc Surface treatment

来源：评论

学校读者我要写书评

暂无评论

Automatic generation of fault-tolerant CORBA-services

Automatic generation of fault-tolerant CORBA-services

引用

34th International Conference on Technology of Object-oriented Languages and Systems (TOOLS 34)

作者： Polze, A Schwarz, J Malek, M Humboldt Univ Dept Comp Sci D-10099 Berlin Germany

ISBN: (纸本)0769507751

The Common Object Request Broker Architecture (CORBA) is the most successful representative of an object-based distributed computing architecture. Although CORBA simplifies the implementation of complex, distributed systems significantly, the support of techniques far reliable, fault-tolerant software, such as group communication protocols or replication is very limited in the state-of-the-art CORBA or even fault-tolerant CORBA. Any fault tolerance extension for CORBA components needs to trade off data abstraction and encapsulation against implementation specific knowledge about a component's internal timing behavior, resource usage and interaction patterns. These non-functional aspects of a component are crucial for the predictable behavior of fault-tolerance mechanisms. However, in contrast to CORBA's interface definition language (IDL), which describes a component's functional interface, there is no general means to describe a component's non-functional properties. We present here a generic framework, which makes existing CORBA components fault-tolerant. In adherence with a given, programmer-specified fault model, our framework uses design-time and configuration-time information for automatic distributed, replicated instantiation of components. Furthermore, we propose usage of aspect-oriented programming (AOP) techniques to describe fault-tolerance as a non-functional component property. We describe the automatic generation of replicated CORBA services based on aspect information and demonstrate service configuration through a graphical user-interface.

关键词： CORBA fault-tolerance replication aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented Web services orchestration

Aspect-oriented Web services orchestration

引用

2nd International Conference on Electrical and Electronics Engineering (ICEEE 2005)

作者： Suazo, NC Aguirre, JOO IPN CINVESTAV Dept Elect Engn Mexico City 07738 DF Mexico

ISBN: (纸本)0780392302

Web service orchestration technologies are emerging as practical means to integrate business partners' applications with higher levels of functionality, negligible performance degradation, reduced development effort, and better quality of service. However, because most compositional languages address distribution concerns at the early stage of the business process definition, Web-based applications become more static and more difficult to develop. In this paper we propose a method to reduce the complexity of Web service orchestration by using a new compositional language named BPCL (Business Process Coordination Language) that keeps apart physical distribution details. Furthermore, a coordination architecture has been built to support the common process abstractions used in business collaboration by means of a synchronization and communication infrastructure. In the proposed approach, to obtain a Web-based application, aspect oriented programming is used to weave locality transparent BPCL programs with the distribution handling capabilities supported by the coordination architecture. Besides of simplifying the development of orchestrated Webbased applications, the main contribution of this work consists on providing a coordination language and architecture that promote greater dynamism, non-invasive code reuse and efficient execution.

关键词： aspect-oriented programming BPCL Web services orchestration

来源：评论

学校读者我要写书评

暂无评论

aspectMaps: A Scalable Visualization of Join Point Shadows

AspectMaps: A Scalable Visualization of Join Point Shadows

引用

IEEE 19th International Conference on Program Comprehension (ICPC)

作者： Fabry, Johan Kellens, Andy Ducasse, Stephane Univ Chile Dept Comp Sci Santiago Chile Vrije Univ Brussel Software Languages Lab Brussels Belgium INRIA Lille Nord Europe Lille France

ISBN: (纸本)9780769543987

When using aspect-oriented programming, it is sometimes difficult to determine at which join point an aspect executes. Similarly, when considering one join point, knowing which aspects will execute there and in what order is non-trivial. This makes it difficult to understand how the application will behave. A number of visualizations have been proposed that attempt to provide support for such program understanding. However, they neither scale up to large code bases nor scale down to understanding what happens at a single join point. In this paper, we present aspectMaps - a visualization that scales in both directions, thanks to a multi-level selective structural zoom. We show how the use of aspectMaps allows for program understanding of code with aspects, revealing both a wealth of information of what can happen at one particular join point as well as allowing to see the "big picture" on a larger code base. We demonstrate the usefulness of aspectMaps on an example and present the results of a small user study that shows that aspectMaps outperforms other aspect visualization tools. Note: This paper heavily uses colors. Please use a color version to better understand the ideas presented here.

关键词： aspect-oriented programming visualization join point shadow

来源：评论

学校读者我要写书评

暂无评论

Enbug: When Debuggers Go Bad

Enbug: When Debuggers Go Bad

引用

15th Innovation and Technology in Computer Science Education Conference

作者： Williams-King, David Aycock, John de Castro, Daniel Medeiros Nunes Univ Calgary Dept Comp Sci Calgary AB T2N 1N4 Canada

ISBN: (纸本)9781605588209

We have developed a tool, enbug, that intentionally induces errors into software in a controlled fashion. The robustness of students' code can be challenged by presenting exotic failure scenarios for testing, without Herculean efforts on the part of teaching assistants or instructors. Enbug also has applications in computer security and secure software courses, by being able to inject specific flaws into existing software for students to locate and exploit. The implementation of enbug is an example of tool reuse, through the automated (ab)use of a debugger.

关键词： education testing debuggers aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Explore connection fault handling strategies of third-party libraries by AOP 7

Explore connection fault handling strategies of third-party ...

引用

7th IEEE International Symposium on Next-Generation Electronics (ISNE) - Next-Generation Electronics for AI and 5G Communications

作者： Lee, Chia-Cheng Cheng, Yu Chin Hsieh, Chin-Yun Natl Taipei Univ Technol Dept Comp Sci & Informat Engn Taipei 10608 Taiwan

ISBN: (纸本)9781538614457

In a distributed system, programs interact with each other to achieve its functionality. To build a robust system, developers should care about exception handling. This paper propose a dynamic analysis method to explore exception handling strategies of a third-party library without looking code. In result section, we explore an operation which connects to a MySQL server.

关键词： exception handling connection fault aspect-oriented programming if-then rules

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：