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

24th IEEE/ACM International Conference on Automated Software Engineering

作者： Hokamura, Keiji Naruse, Ryoto Shiozuka, Masaru Ubayashi, Naoyasu Nakajima, Shin Iwai, Akihito Kyushu Inst Technol Fukuoka Japan Natl Inst Informat Tokyo Japan DENSO CORP Aichi Japan

ISBN: (纸本)9780769538914

aspect-oriented programming (AOP) is a technique for modularizing crosscutting concerns (CCCs). A variety of CCCs can be found in typical Web applications. Most CCCs are scattered over Web-specific events such as page requests. AOWP, a PHP-based AOP framework, provides Web-specific aspect instantiations for dealing with session management and pointcut & advice mechanisms for capturing Web-specific events. CCCs in Web applications can be clearly modularized by introducing AOWP.

关键词： aspect-oriented programming Web application development Domain-specific pointcuts

来源：评论

学校读者我要写书评

暂无评论

Research on aspect-oriented Modeling in the Framework of MDA

Research on Aspect-Oriented Modeling in the Framework of MDA

引用

2nd IEEE International Conference on Computer Science and Information Technology

作者： Zhang, Jingjun Chen, Yuejuan Li, Hui Liu, Guangyuan Hebei Univ Engn Sci Res Off Handan Hebei Peoples R China Handan Coll Handan Hebei Peoples R China Hebei Univ Engn Coll Informat & Elect Engn Handan Hebei Peoples R China

ISBN: (纸本)9781424445189

aspect-oriented programming (AOP) makes up for the defects coming from the mode based on Object-oriented programming when it deals with the cross-cutting concerns. Model Driver Architecture (MDA) is a new way of writing specifications which includes platform-independent model (PIM) and platform specific model (PSM);The MDA will make it easier to integrate applications and facilities across middleware boundaries. But in MDA, it is not consider the impact of cross-cutting concerns, separation of concern mechanisms and abstractions are needed. In this paper, we will introduce aspect in the framework of MDA with Unified Modeling Language (UML) which will improve efficiency of development and reuse of the system.

关键词： Model Driven Architecture aspect-oriented programming UML and extensions mechanism AOM

来源：评论

学校读者我要写书评

暂无评论

Composition Analysis of Multiple aspects in aspect-oriented Programs

Composition Analysis of Multiple Aspects in Aspect-oriented ...

引用

16th Asia-Pacific Software Engineering Conference

作者： Qamar, Nafees INRIA Rhone Alpes LIG Grenoble France

ISBN: (纸本)9780769539096

This paper presents a classification of widely studied approaches that focus interaction analysis and composition of multiple aspect(s) in aspect-oriented programs (AOP). It is evident that AOP has an ability to distort semantics of base-programs and aspects themselves due to advice-method or advice-advice interactions in terms of control now and data sharing features. Thus, it entails a comprehensive analysis in order to pinpoint ambiguities at semantic level;especially in case of multiple aspects that remains focus of this paper. One possible interaction (method-advice) may inviolate a predicate of another advice from another aspect, residing in the base-program. We narrow our analysis to understand such intricacies and present a bunch of rules to understand weaving semantics (in particular, advice-advice interaction from two different aspects) and also propose precedence laws for aspects to be woven. In this paper discrete computation of aspects using operational semantics enables better interaction analysis of aspects and specifying their behavior by excluding the dependencies of any specific AOP language implementation. The contributions are threefold: (1) a survey based on an informal classification of proposed approaches targeted towards interfering aspects (2) our proposed formal definitions for composing aspects through evaluation rules using operational semantics (3) addressing precedence issues in aspects to some degree and offering a preliminary solution based on proactive execution order of aspects.

关键词： programming languages aspect-oriented programming aspects interactions and interferences formal methods

来源：评论

学校读者我要写书评

暂无评论

An aspect-oriented Approach for Software Security Hardening: from Design to Implementation

An Aspect-Oriented Approach for Software Security Hardening:...

引用

8th International Conference on New Trends in Software Methodology Tools, and Techniques (SoMeT)

作者： Mouheb, Djedjiga Talhi, Chamseddine Mourad, Azzam Lima, Vitor Debbabi, Mourad Wang, Lingyu Pourzandi, Makan Concordia Univ Comp Secur Lab Montreal PQ Canada

ISBN: (纸本)9781607500490

Security is a very challenging task in software engineering. Enforcing security policies should be taken care of during the early phases of the software development life cycle to prevent security breaches in the final product. Since security is a crosscutting concern that pervades the entire software, integrating security solutions at the software design level may result in scattering and tangling security features throughout the entire design. To address this issue, we propose in this paper an aspect-oriented approach for specifying and enforcing security hardening solutions. This approach provides software designers with UML-based capabilities to perform security hardening in a clear and organized way, at the UML design level, without the need to be security experts. We also present the SHP profile, a UML-based security hardening language to describe and specify security hardening solutions at the UML design level. Finally, we explore the efficiency and the relevance of our approach by applying it to a real world case study and present the experimental results.

关键词： Security Requirements UML Design Security Hardening Security Patterns aspect-oriented programming aspect-oriented Modeling

来源：评论

学校读者我要写书评

暂无评论

aspect-oriented Modeling and Mapping Driven by Model Driven Architecture

Aspect-Oriented Modeling and Mapping Driven by Model Driven ...

引用

2nd IEEE International Conference on Computer Science and Information Technology

作者： Zhang, Jingjun Chen, Yuejuan Zhang, Yang Li, Hui Hebei Univ Engn Sci Res Off Handan Hebei Peoples R China Hebei Univ Engn Handan Hebei Peoples R China Hebei Univ Sci & Technol Handan Hebei Peoples R China Handan Coll Handan Peoples R China

ISBN: (纸本)9781424445189

Model Driven Architecture (MDA) is a development methodology taking model as center, which is initiated by the Object Manage Group. Based on UML and other standard etc, MDA can create highly abstract model that will be understood by computer. These models are independent of concrete platform technology and stored in a standard way. Based on Object-oriented, aspect-oriented programming (AOP) went further on the principle of Concern Separation. It separates the crosscutting concerns in the independent aspect modular. AOP has now matured to become a complete methodology, hoping to present its benefits in the whole development cycle. aspect-oriented Modeling in the Framework of MDA needs extend the UML meta-model, establish aspect oriented meta-model and aspectJ meta-model, in order to define aspect Platform-Independent Models (PIM) and Platform-Specific Models (PSM). In this paper, we give a method of aspect-oriented modeling, some rules to transform aspect PIM to aspect PSM to support aspect-oriented software development in the framework of MDA.

关键词： aspect-oriented programming Model-Driven Architecture UML aspect-oriented Modeling PIM PSM

来源：评论

学校读者我要写书评

暂无评论

Specifying and Monitoring Temporal Properties in Web services Compositions

Specifying and Monitoring Temporal Properties in Web service...

引用

7th IEEE European Conference on Web Services

作者： Kallel, Slim Charfi, Anis Dinkelaker, Tom Mezini, Mira Jmaiel, Mohamed Tech Univ Darmstadt Software Technol Grp Darmstadt Germany SAP Res Darmstadt Germany Natl Engn Sch Sfax ReDCAD Lab Sfax Tunisia

ISBN: (纸本)9780769538549

Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible to verify if there are contradictions between the temporal constraints implemented in the composition. These limitations lead to maintainability and correctness problems. In this paper, we tackle these problems through a novel approach to temporal constraints in Web service compositions, which combines formal methods and aspect-oriented programming. In this approach, we use a powerful and expressive formal language, called XTUS-Automata, for specifying time-related properties and we introduce specification patterns that ease the definition of such constraints. The formal specifications are translated automatically into AO4BPEL aspects, which ensure the runtime monitoring of the temporal constraints. Our approach enables a declarative, separate, and verifiable specification of temporal properties and it generates automatically modular enforcement code for those properties.

关键词： aspect-oriented programming Runtime monitoring Temporal Properties Formal methods Web services

来源：评论

学校读者我要写书评

暂无评论

The Art of the Meta-aspect Protocol 09

The Art of the Meta-Aspect Protocol

引用

8th International Conference on aspect-oriented Software Development

作者： Dinkelaker, Tom Mezini, Mira Bockisch, Christoph Tech Univ Darmstadt Darmstadt Germany

ISBN: (纸本)9781605584423

Alternative semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented from tailoring the language semantics in an application-specific manner. To address this problem, we propose art architecture for aspect-oriented languages with an explicit meta-interface to language semantics. We demonstrate the benefits of such an architecture by presenting several scenarios in which aspect-oriented programs use the meta-interface of the language to tailor its semantics to a particular application execution context.

关键词： aspect-oriented programming Meta-Object Protocols Open Implementation Debugging aspect Interactions

来源：评论

学校读者我要写书评

暂无评论

An aspect-oriented Approach to Securing Distributed Systems

An Aspect-Oriented Approach to Securing Distributed Systems

引用

International Conference on Pervasive Services (ICPS 2009)

作者： Jakob, Henner Loriant, Nicolas Consel, Charles INRIA Paris France

ISBN: (纸本)9781605586441

The increasing size and complexity of distributed systems create a need to raise the level of abstraction for their development. This need becomes critical for pervasive computing where non-functional properties, such as security, must be guaranteed. Architecture description languages (ADLs) propose a promising approach to coping with the size and complexity of pervasive computing systems. A system is defined by a high-level description that may be used to produce a programming framework. However, non-functional properties are not specifically addressed by existing ADL works. To address this issue aspect-oriented programming is a well-proven technique to properly modularize non-functional concerns that can be dealt with by weaving dedicated code into a program. In this paper, we present Diaaspect, an aspect-oriented language for an ADL. ADLs are a key to our approach because they expose features enabling an accurate coordination of aspects. We demonstrate the expressiveness of Diaaspect with two examples of security policies in pervasive computing. We also show how, combining the knowledge of the architecture description with aspect code, improves aspect weaving in the implementation code.

关键词： Distributed systems Security Pervasive computing systems aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Enabling the Adoption of aspects - Testing aspects: A Risk Model, Fault Model and Patterns 09

Enabling the Adoption of Aspects - Testing Aspects: A Risk M...

引用

8th International Conference on aspect-oriented Software Development

作者： Kumar, Nikhil Sosale, Dinakar Rathi, Ajay Konuganti, Sadhana Nivedita ApTSi Bloomfield Twp MI 48302 USA

ISBN: (纸本)9781605584423

aspect oriented programming (AOP) has started to achieve industry adoption for custom programs and some adoption in frameworks such as the Spring framework. aspect oriented programming provides many benefits - it can increase the scope of concerns that can be captured cleanly, it has explicit language support, and the separation provided by AOP provides an elegant mechanism for custom solutions. In this paper we present a model for AOP testing. This includes a model for risk assessment, an associated fault model and AOP testing patterns. We also propose further opportunities for research in the area for automated AOP risk assessment and testing. At ApTSi (TM) (Applied Technology Solutions, Inc.) we have been applying AOP in the creation of our SOASense (TM) framework, and in our consulting engagements. We are seeing adoption typically in classical AOP areas such as Logging, Error Handling, Audit events, etc. In these scenarios, having a reliable AOP implementation is critical. For example, having an Audit event not occur for a service call due to a faulty join-point definition can have severe legal implications. We need a solution that provides reliability, is repeatable and enables us to assess risk.

关键词： aspect-oriented programming Testing Weaver Woven code Bytecode aspectJ Decompilation Eclipse

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：