ComputingComputer ScienceFormal MethodsSystems ArchitectureSystems ProgrammingAspect SemanticsAspectual SemanticsTransaction ManagementTransaction Processing SystemsAspect-oriented ModelingAspect-oriented ProgrammingCross-cuttingTransaction ProcessingTransactions
Transaction management is a known cross-cutting concern. Previous research has been conducted to express this concern as an aspect. However, this work uses general-purpose aspect languages which lack a formal foundation and are unable to express advanced models for transaction management. In contrast, we designed a domain-specific aspect language for advanced transaction management, called KALA, that is based on a formalism for advanced transactions. As a result, KALA covers the field of advanced transaction management while obtaining a much higher level of abstraction than is achieved with general-purpose aspect languages. In this paper we detail the creation process of KALA.
15
Arie van Deursen, Paul Klint, Joost Visser · ACM SIGPLAN Notices · 2000 · 1.3K citations · Full text
Concepts and experiments in computational reflection
Pattie Maes · 1987 · 1K citations
Héctor García-Molina, Kenneth Salem · 1987 · 390 citations · Full text