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

Integrating independent components with on-demand remodularization

ACM SIGPLAN NOTICES 2002年第11期37卷 52-67页

作者： Mezini, M Ostermann, K Tech Univ Darmstadt D-64283 Darmstadt Germany Siemens AG D-81730 Munich Germany

This paper proposes language concepts that facilitate the separation of an application into independent reusable building blocks and the integration of pre-build generic software components into applications that have been developed by third party vendors. A key element of our approach arc on-demand remodularizations, meaning that the abstractions and vocabulary of an existing code base are translated into the vocabulary understood by a set of components that are connected by a common collaboration interface. This general concept allows us to mix-and-match remodularizations and components on demand.

关键词： design languages on-demand remodularization aspect-oriented programming collaboration-based decomposition

来源：评论

学校读者我要写书评

暂无评论

On dynamically-scoped crosscutting mechanisms

引用

ACM SIGPLAN NOTICES 2007年第2期42卷 27-33页

作者： Tanter, Eric Univ Chile DCC Santiago Chile

Many crosscutting mechanisms proposed in the literature offer means to restrain aspects to some dynamically-defined scopes. Dynamically-scoped mechanisms are particularly interesting because of the flexibility, expressiveness, and control they give over structural and behavioral changes made by aspects. Since the nature of dynamic scopes as well as the scoping mechanisms themselves greatly vary among proposals, it is relatively complex to compare them. This paper aims at filling this gap by proposing a first characterization of dynamically-scoped crosscutting mechanisms, hence providing a reference frame for comparing different approaches. As a result, this work clarifies some differences between related approaches, suggests possible tracks for further exploration of the design space of such mechanisms, and discusses some issues raised by dynamically-scoped aspects.

关键词： languages aspect-oriented programming crosscutting mechanisms dynamic scope aspects

来源：评论

学校读者我要写书评

暂无评论

MoDEST: From Model-driven design towards real-time code generation for embedded control systems

引用

IFAC Proceedings Volumes 2009年第1期42卷 114-120页

作者： Rédha Hamouche Rémy Kocik Arben Cela Klemen Perko Université Paris-Est ESIEE Paris Embedded Systems Department Cité DeScirctes - BP 99 - 2 Bd Blaise Pascal - 93162 Noisy-Le-Grand Cedex Sipronika d.o.o. Ljubljana Trzaska 2 SI-1000 Ljubljana Slovenia

This paper presents a model-driven methodology and tool for Embedded Control System (ECS) design. This methodology defines a common metamodel that unifies the design steps and ensures the consistency of models along the design cycle. It uses an approach based, in one side, on the software components that increase models reusability to face the increasing complexity of ECS; in the other side, on the aspect-oriented paradigm that allows to model transversal real time properties to support models analysis and validation in the earliest steps of the design cycle. Our methodology supports the control and scheduling co-design in order to evaluate the performance and stability of ECS during their design. A tool called MoDEST implements this methodology and provides real-time code generation. It should help designers to choose the best scheduling that preserves the control performance and quality of the designed ECS.

关键词： embedded control system design methodology software development tool software component aspect-oriented programming metamodelling real-time scheduling

来源：评论

学校读者我要写书评

暂无评论

Towards predictable CORBA-based services

引用

COMPUTER SYSTEMS SCIENCE AND ENGINEERING 2001年第2期16卷 135-147页

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

Today's World Wide Web provides the basis for demanding distributed services, such as online-banking, travel reservation, and stock trading - which require high predictability and quality-of-service properties such as security, end-to-end availability, dependability, and real time. The Common Object Request Broker Architecture (CORBA) is a widely-accepted, standardized open system integration framework based on distributed object technologies, which - among others - has been successfully used for implementation of open Web services. CORBA does not explicitly address quality-of-service parameters neither for its communication links nor its end systems. However efforts like the Real-Time CORBA Special interest Group (SIG) at OMG and the "pluggable protocols" proposal will ultimately lead to support of quality-of-service properties for CORBA communication links. Within this paper we are concentrating on design patterns and architectural approaches for fault-tolerant, highly available end systems. 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 nan-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 propose the usage of aspect descriptions based on the extended Markup Language (XML) for that purpose. We describe the automatic generation of reliable CORBA services based on aspect information. Our approach relies on a number of building blocks, which provide solutions for service replication, for supervision of a service, for online replacement and for call admission and timely execution. We discuss our implementation of the "Obser

关键词： fault tolerance CORBA aspect-oriented programming online replacement web services

来源：评论

学校读者我要写书评

暂无评论

aspectual Caml: an aspect-oriented functional language

引用

ACM SIGPLAN NOTICES 2005年第9期40卷 320-330页

作者： Masuhara, H Tatsuzawa, H Yonezawa, A Univ Tokyo Grad Sch Arts & Sci Tokyo Japan Univ Tokyo Dept Comp Sci Tokyo Japan Univ Tokyo Dept Comp Sci Tokyo Japan

We propose an aspect-oriented programming (AOP) language called aspectual Caml based on a strongly-typed functional language Objective Caml with two AOP mechanisms similar to those in aspectJ language. This paper describes the design and implementation issues of those AOP mechanisms that give us insights into the interaction between AOP features and common features in strongly-typed functional languages such as type inference, polymorphic types and curried functions. We implemented a prototype compiler of the language and used the language for separating crosscutting concerns in application programs, including for separating descriptions of a type system from compiler descriptions.

关键词： aspect-oriented programming objective Caml pointcut and advice

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented Approach for Testing Software Applications and Automatic aspect Creation

引用

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 2019年第10期29卷 1379-1402页

作者： Jain, Manish Gopalani, Dinesh MNIT Comp Sci Dept Jaipur Rajasthan India

The existing techniques for software testing can be used to perform only a particular type of testing, and moreover proficiency is required to write the automation test scripts using these techniques. This paper proposes a novel software testing approach using aspect-oriented programming (AOP) that alone suffices for carrying out most of the types of software testing and thus obliterates the need of using distinctive tools for different types of testing. Nevertheless, AOP is a new programming paradigm and not all testers have the proficiency of working with it. Hence, a domain-specific language named Testing aspect Generator Language (TAGL) was developed which has got a very low learning curve. Using TAGL, testers can write the testing code in the form of natural language-like statements. Further, the lexical analyzer and parser, written using lex and yacc, convert the TAGL statements into actual testing code in the form of AOP. The proposed approach was applied for the testing of widely used open source projects and remarkable bugs were detected into them. A detailed comparison as to how our approach is effective than the conventional testing techniques is provided.

关键词： aspect-oriented programming software testing domain-specific language aspects AOP

来源：评论

学校读者我要写书评

暂无评论

Modular aspect-oriented Design with XPIs

引用

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

作者： Sullivan, Kevin Griswold, William G. Rajan, Hridesh Song, Yuanyuan Cai, Yuanfang Shonle, Macneil Tewari, Nishit Univ Virginia Charlottesville VA 22903 USA Univ Calif San Diego La Jolla CA 92093 USA Iowa State Univ Ames IA 50010 USA Drexel Univ Philadelphia PA 19104 USA

The emergence of aspect-oriented programming (AOP) languages has provided software designers with new mechanisms and strategies for decomposing programs into modules and composing modules into systems. What we do not yet fully understand is how best to use such mechanisms consistent with common modularization objectives such as the comprehensibility of programming code, its parallel development, dependability, and ease of change. The main contribution of this work is a new form of information-hiding interface for AOP that we call the crosscut programming interface, or XPI. XPIs abstract crosscutting behaviors and make these abstractions explicit. XPIs can be used, albeit with limited enforcement of interface rules, with existing AOP languages, such as aspectJ. To evaluate our notion of XPIs, we have applied our XPI-based design methodology to a medium-sized network overlay application called Hypercast. A qualitative and quantitative analysis of existing AO design methods and XPI-based design method shows that our approach produces improvements in program comprehensibility, in opportunities for parallel development, and in the ease when code can be developed and changed.

关键词： aspect-oriented programming design rules options

来源：评论

学校读者我要写书评

暂无评论

Efficient control flow quantification

引用

ACM SIGPLAN NOTICES 2006年第10期41卷 125-137页

作者： Bockisch, Christoph Kanthak, Sebastian Haupt, Michael Arnoldt, Matthew Mezini, Mira Tech Univ Darmstadt Darmstadt Germany Software Architect Res Grp Hasso Plattner Inst Software Syst Engn Potsdam Germany IBM TJ Watson Res Ctr Yorktown Hts NY USA

aspect-oriented programming (AOP) is increasingly gaining in popularity. However, the focus of aspect-oriented language research has been mostly on language design issues;efficient implementation techniques have been less popular. As a result, the performance of certain AOP constructs is still poor. This is in particular true for constructs that rely on dynamic properties of the execution (e. g., the cflow construct). In this paper, we present efficient implementation techniques for cflow that exploit direct access to internal structures of the virtual machine running an application, such as the call stack, as well as the integration of these techniques into the just-in-time compiler code generation process. Our results show that AOP has the potential to make programs that need to de. ne control flow-dependent behavior not only more modular but also more efficient. By making means for control flow-dependent behavior part of the language, AOP opens the possibility of applying sophisticated compiler optimizations that are out of reach for application programmers.

关键词： languages measurement performance aspect-oriented programming virtual machine support control flow

来源：评论

学校读者我要写书评

暂无评论

SyncAS: A Virtual Block Approach to Tame Asynchronous programming

引用

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 2015年第5期25卷 887-907页

作者： Fukuda, Hiroaki Leger, Paul Shibaura Inst Technol Informat Sci & Engn Tokyo 1358548 Japan Univ Catolica Norte Escuela Ciencias Empresariales Antofagasta Chile

Asynchronous programming has been widely adopted in domains such as Web development. This programming style usually uses callback methods, non-blocking operations, allowing high responsive user interactions even if an application works without multi-threading. However, this style requires the uncoupling of a module into two sub-modules at least, which are not intuitively connected by a callback method. The separation of modules spurs the birth of other issues: callback spaghetti and callback hell. This paper proposes a virtual block approach to address the previous two issues. This approach enables a programmer to virtually block a program execution and restart it at arbitrary points in the program. As a result, programmers do not need to uncouple a module even if non-blocking operations are adopted;therefore, callback dependencies disappear. Using aspect-oriented programming, this approach uses aspects to control the execution of a program in an oblivious manner. As a consequence, programmers do not need to be concerned whether pieces of code use blocking or non-blocking operations. We implement a proof-of-concept for this approach, called SyncAS, for Action-Script3. In addition, we apply our proposal to a toy application and conduct experiments to show its modular application, flexibility, and performance.

关键词： SyncAS virtual block asynchronous programming aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Essential AOP: The A Calculus

引用

ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 2012年第3期34卷 12-12页

作者： De Fraine, Bruno Ernst, Erik Suedholt, Mario Vrije Univ Brussel Fac Sci B-1050 Brussels Belgium Aarhus Univ Dept Comp Sci DK-8000 Aarhus C Denmark Ecole Mines Nantes Dept Informat F-44307 Nantes 3 France

aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification with a calculus that models essential AOP, both simpler and more general than existing formalizations. In AOP, advice may intercept method invocations, and proceed executes the suspended call. Proceed is an ad hoc mechanism, only usable inside advice bodies. Many pointcut mechanisms, for example, wildcards, also lack regularity. We model proceed using first-class closures, and shift complexity from pointcuts to ordinary object-oriented code. Two well-known pointcut categories, call and execution, are commonly considered similar. We formally expose their differences, and resolve the associated soundness problem. Our calculus includes type ranges, an intuitive and concise alternative to explicit type variables that allows advice to be polymorphic over intercepted methods. We use calculus parameters to cover type safety for a wide design space of other features. Type soundness is verified in Coq.

关键词： Design Languages Theory aspect-oriented programming semantics typing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：