skip to main content
10.1145/1119655.1119683acmotherconferencesArticle/Chapter ViewAbstractPublication PagesmodularityConference Proceedingsconference-collections
Article

AO challenge - implementing the ACID properties for transactional objects

Published: 20 March 2006 Publication History

Abstract

This paper presents a challenge case study to the aspect-oriented community: ensuring the ACID properties (atomicity, consistency, isolation and durability) for transactional objects. We define a set of ten base aspects, each one providing a well-defined reusable functionality. The base aspects are simple, yet have complex dependencies among each other. We then show how these base aspects can be configured and composed in different ways to implement different concurrency control and recovery strategies. This composition is delicate: some aspects conflict with each other, others have to be reconfigured dynamically at run-time. We believe that this case study can serve as a benchmark for aspect-oriented software development, in particular for evaluating the expressivity of aspect-oriented programming languages, the performance of aspect-oriented programming environments, and the suitability of aspect-oriented modeling notations.

References

[1]
Workshop on Foundations of Aspect-Oriented Languages -- FOAL, 2002 -- 2005.]]
[2]
Workshop on Software Engineering Properties of Languages and Aspect Technologies -- SPLAT, 2003 -- 2005.]]
[3]
Dynamic Aspect Workshop -- DAW, 2004 -- 2005.]]
[4]
Agrawal, D., and Sengupta, S. Modular synchronization in multiversion databases: Version control and concurrency control. In Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data, Portland, Oregon, May 31 -- June 2, 1989 (New York, USA, June 1989), J. Clifford, B. Lindsay, and D. Maier, Eds., ACM Press, pp. 408 -- 417.]]
[5]
Bernstein, P. A., and Goodman, N. Concurrency control in distributed database systems. ACM Computing Surveys 13, 2 (June 1981), 185 -- 221.]]
[6]
Elrad, T., Aksit, M., Kiczales, G., Lieberherr, K., and Ossher, H. Discussing aspects of aop. Communications of the ACM 44, 10 (October 2001), 33--38.]]
[7]
Eswaran, K. P., Gray, J., Lorie, R. A., and Traiger, I. L. The notion of consistency and predicate locks in a database system. Communications of the ACM 19, 11 (November 1976), 624 -- 633.]]
[8]
Gray, J., and Reuter, A. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, San Mateo, California, 1993.]]
[9]
Kiczales, G., Hilsdale, E., Hugunin, J., Kersen, M., Palm, J., and Griswold, W. G. An overview of AspectJ. In 15th European Conference on Object Oriented Programming (ECOOP'2001) (June 18--22, 2001, Budapest, Hungary, 2001), pp. 327 -- 357.]]
[10]
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., and Irwin, J. Aspect-oriented programming. In 11th European Conference on Object-Oriented Programming (ECOOP'97) (Jyváskylá, Finland, 1997), M. Aksit and S. Matsuoka, Eds., no. 1241 in Lecture Notes in Computer Science, Springer Verlag, pp. 220 -- 242.]]
[11]
Kienzle, J. Open Multithreaded Transactions -- A Transaction Model for Concurrent Object-Oriented Programming. Kluwer Academic Publishers, 2003.]]
[12]
Kienzle, J., and Guerraoui, R. AOP - Does It Make Sense? The Case of Concurrency and Failures. In 16th European Conference on Object-Oriented Programming (ECOOP'2002) (Malaga, Spain, 2002), B. Magnusson, Ed., no. 2374 in Lecture Notes in Computer Science, Springer Verlag, pp. 37 -- 61.]]
[13]
Kienzle, J., Jiménez-Peris, R., Romanovsky, A., and Patiño-Martinez, M. Transaction support for ada. In Reliable Software Technologies - Ada-EuropeÕ2001, Leuven, Belgium, May 14--18, 2001 (2001), no. 2043 in Lecture Notes in Computer Science, Springer Verlag, pp. 290 -- 304.]]
[14]
Kienzle, J., and Romanovsky, A. A framework based on design patterns for providing persistence in object-oriented programming languages. IEE Proceedings - Software Engineering 149, 3 (June 2002), 77 -- 85.]]
[15]
Kienzle, J., Romanovsky, A., and Strohmeier, A. Open multithreaded transactions: Keeping threads and exceptions under control. In Proceedings of the 6th International Worshop on Object-Oriented Real-Time Dependable Systems, Universita di Roma La Sapienza, Roma, Italy, January 8th - 10th, 2001 (2001), IEEE Computer Society Press, pp. 209 -- 217.]]
[16]
Kienzle, J., and Strohmeier, A. Shared recoverable objects. In Reliable Software Technologies - Ada-EuropeÕ99, Santander, Spain, June 7--11, 1999 (1999), M. G. Harbour and J. A. de la Puente, Eds., vol. 1622 of Lecture Notes in Computer Science, pp. 397 -- 411.]]
[17]
Kung, H. T., and Robinson, J. T. On optimistic methods for concurrency control. ACM Transactions on Database Systems 6, 2 (June 1981), 213 -- 226.]]
[18]
Lampson, B. W., and Sturgis, H. E. Crash recovery in a distributed data storage system. Tech. rep., XEROX Research, Palo Alto, June 1979.]]
[19]
Ostermann, K., Mezini, M., and Bockisch, C. Expressive pointcuts for increased modularity. In 19th European Conference on Object-Oriented Programming (ECOOP'2005) (Glasgow, UK, 2005), A. Black, Ed., no. 3586 in Lecture Notes in Computer Science, Springer Verlag, pp. 214 -- 240.]]
[20]
Papadimitriou, C. The serializability of concurrent database updates. Journal of the ACM 26, 4 (October 1979), 631 -- 653.]]
[21]
Papadimitriou, C. H., and Kanellakis, P. C. On concurrency control by multiple versions. ACM Transactions on Database Systems 9, 1 (March 1984), 89 -- 99.]]
[22]
Ramamritham, K., and Chrysanthis, P. K. Advances in concurrency control and transaction processing. Los Alamitos, California, 1997.]]
[23]
Riehle, D., Siberski, W., Bäumer, D., Megert, D., and Züllighoven, H. Serializer. R. Martin, D. Riehle, and F. Buschmann, Eds., Addison-Wesley, pp. 293 -- 312.]]

Cited By

View all
  • (2022)Modeling and verification of authentication threats mitigation in aspect-oriented mal sequence woven modelPLOS ONE10.1371/journal.pone.027070217:7(e0270702)Online publication date: 6-Jul-2022
  • (2015)Concern-Oriented Behaviour Modelling with Sequence Diagrams and Protocol ModelsRevised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 636810.1007/978-3-319-21912-7_10(250-278)Online publication date: 1-Jun-2015
  • (2012)Do crosscutting concerns cause modularity problems?Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering10.1145/2393596.2393654(1-11)Online publication date: 11-Nov-2012
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
AOSD '06: Proceedings of the 5th international conference on Aspect-oriented software development
March 2006
247 pages
ISBN:159593300X
DOI:10.1145/1119655
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

  • AOSD-Europe: European Network of Excellent on Aspect-oriented Software Development

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 March 2006

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Conference

AOSD06
Sponsor:
  • AOSD-Europe

Acceptance Rates

Overall Acceptance Rate 41 of 139 submissions, 29%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)0
Reflects downloads up to 26 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2022)Modeling and verification of authentication threats mitigation in aspect-oriented mal sequence woven modelPLOS ONE10.1371/journal.pone.027070217:7(e0270702)Online publication date: 6-Jul-2022
  • (2015)Concern-Oriented Behaviour Modelling with Sequence Diagrams and Protocol ModelsRevised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 636810.1007/978-3-319-21912-7_10(250-278)Online publication date: 1-Jun-2015
  • (2012)Do crosscutting concerns cause modularity problems?Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering10.1145/2393596.2393654(1-11)Online publication date: 11-Nov-2012
  • (2012)A Real-Time System Development Method Based on Aspect-OrientedGreen Communications and Networks10.1007/978-94-007-2169-2_113(945-953)Online publication date: 4-Jan-2012
  • (2011)Tackling the challenges of integrating 3rd party software using AspectJTransactions on aspect-oriented software development VIII10.5555/2028556.2028562(116-140)Online publication date: 1-Jan-2011
  • (2011)A system of patterns for reusable aspect librariesTransactions on aspect-oriented software development VIII10.5555/2028556.2028559(46-107)Online publication date: 1-Jan-2011
  • (2011)A sequence of patterns for reusable aspect libraries with easy configurationProceedings of the 10th international conference on Software composition10.5555/2025951.2025958(68-83)Online publication date: 30-Jun-2011
  • (2011)A survey on UML-based aspect-oriented design modelingACM Computing Surveys10.1145/1978802.197880743:4(1-33)Online publication date: 18-Oct-2011
  • (2011)Using aspect-orientation to simplify concurrent programmingProceedings of the tenth international conference on Aspect-oriented software development companion10.1145/1960314.1960324(29-40)Online publication date: 21-Mar-2011
  • (2011)Closure joinpointsProceedings of the tenth international conference on Aspect-oriented software development10.1145/1960275.1960291(117-128)Online publication date: 21-Mar-2011
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media