IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems

An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems
View Sample PDF
Author(s): Arsène Sabas (Université de Montréal, Canada), Subash Shankar (City University of New York (CUNY), USA), Virginie Wiels (ONERA – The French Aerospace Lab, France), John-Jules Ch. Meyer (Universiteit Utrecht, The Netherlands)and Michel Boyer (Université de Montréal, Canada)
Copyright: 2014
Pages: 27
Source title: Handbook of Research on Emerging Advancements and Technologies in Software Engineering
Source Author(s)/Editor(s): Imran Ghani (Universiti Teknologi Malaysia, Malaysia), Wan Mohd Nasir Wan Kadir (Universiti Teknologi Malaysia, Malaysia)and Mohammad Nazir Ahmad (Universiti Teknologi Malaysia, Malaysia)
DOI: 10.4018/978-1-4666-6026-7.ch008

Purchase

View An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems on the publisher's website for pricing and purchasing information.

Abstract

Aspect-Oriented (AO) Technology is a post-object-oriented technology used to overcome limitations of Object-Oriented (OO) Technology, such as the cross-cutting concern problem. Aspect-Oriented Programming (AOP) also offers modularity and traceability benefits. Yet, reasoning, specification, and verification of AO systems present unique challenges, especially as such systems evolve over time. Consequently, formal modular reasoning of such systems is highly attractive as it enables tractable evolution, otherwise necessitating that the entire system be re-examined each time a component is changed or is added. The aspect interactions problem is also an open issue in the AOP area. To deal with this problem, the authors choose to use Category Theory (CT) and Algebraic Specification (AS) techniques. In this chapter, the authors present an aspect-oriented specification and verification approach. The approach is expressive and allows for formal modular reasoning.

Related Content

Babita Srivastava. © 2024. 21 pages.
Sakuntala Rao, Shalini Chandra, Dhrupad Mathur. © 2024. 27 pages.
Satya Sekhar Venkata Gudimetla, Naveen Tirumalaraju. © 2024. 24 pages.
Neeta Baporikar. © 2024. 23 pages.
Shankar Subramanian Subramanian, Amritha Subhayan Krishnan, Arumugam Seetharaman. © 2024. 35 pages.
Charu Banga, Farhan Ujager. © 2024. 24 pages.
Munir Ahmad. © 2024. 27 pages.
Body Bottom