NDLI: Formal Models for Aspect-Oriented Software Development

Please wait, while we are loading the content...

Formal Models for Aspect-Oriented Software Development

Content Provider	Semantic Scholar
Author	Skipper, Mark
Copyright Year	2004
Abstract	ASPECT ORIENTED PROGRAMMING (AOP) is a new technology for separation of concerns. AOP techniques make it possible to modularise cross-cutting aspects of a system: those that would otherwise be scattered throughout the code because the concerns they address are not aligned with the conceptual decomposition of the system. Without AOP techniques, such aspects are hard to encapsulate. The essential components of AOP are exemplified by its flagship language ASPECTJ– an aspect oriented extension to JAVA– these are: member introduction: a way for one class to add members to other classes, parent introduction: a way for classes to influence the inheritance of other classes, join points: places where behaviour can be added to existing code, advice: a way to modify behaviour at join points; aspects: encapsulated units combining join point and behaviour specifications together with their associated state; and weaving a method of incorporating these units into programs. This thesis is a study of the semantics of the novel features of ASPECTJ. It presents a formal model of a simple JAVA-like language with a type system and operational semantics, then goes on to extend it with the most paradigmatic features of ASPECTJ: formal definitions of: join points, advice and aspects are presented for the first time, in the context of an operational semantics. A formal definition of weaving is developed. The impact of these features on the static type system is investigated. Examples are used to demonstrate their expressiveness. The increments to the semantics of the base language are relatively small for each feature making the presentation simple to understand. The work is suitable as a base for further investigation of aspect oriented language features using formal techniques.
File Format	PDF HTM / HTML
Alternate Webpage(s)	http://slurp.doc.ic.ac.uk/pubs/skipper-phd03.pdf
Language	English
Access Restriction	Open
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in