Article

Stateful aspects: the case for aspect-oriented modeling

Authors:

Thomas Cottenier,

Aswin van den Berg,

Tzilla ElradAuthors Info & Claims

AOM '07: Proceedings of the 10th international workshop on Aspect-oriented modeling

Pages 7 - 14

https://doi.org/10.1145/1229375.1229377

Published: 12 March 2007 Publication History

Get Access

Abstract

In this position paper, the authors argue that Aspect-Oriented Modeling (AOM) technologies have the potential to simplify the deployment and the ability to reason about a category of crosscutting concerns that have been categorized in the literature as stateful aspects. Stateful aspects trigger on a sequence of join points instead of on a single join point. Their trigger condition is history sensitive. We identify three properties of Aspect-Oriented Modeling languages that enable them to provide more natural solutions to the stateful aspect problem. The first factor is the ability of modeling languages to support different system decompositions paradigms. This ability allows a system to be decomposed according to the paradigm that fits the nature of the problem the best. Second, these decompositions allow AOM languages to capture and reason about pointcut descriptors at a higher level of abstraction. Finally, the system decomposition mechanisms can be exploited to advance the compositional expressiveness of aspects defined in AOM languages. The paper concludes with an invitation to our colleagues in the "general purpose" programming community to embrace modeling technologies in the context of automatic code generation.

References

[1]

Brichau, J, De Meuter, W, de Volder, K. Jumping Aspects. (position paper), In Workshop on Aspects and Dimensions of Concern at the European Conference on Object-Oriented Programming, Cannes, France, 2000.

Google Scholar

[2]

Douence, R., Fradet, P., Sudholt, M. A framework for the detection and resolution of Aspect interactions. In Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Module Engineering, Pittsburgh, USA, LNCS 2487, pp.173--188, Springer-Verlag, October 2002.

Digital Library

Google Scholar

[3]

Douence, R., Fradet, P., Sudholt, M. Composition, Reuse and Interaction Analysis of Stateful Aspects. In Proceedings of the 3th International Conference on Aspect-Oriented Software Development, Lancaster, UK, pp. 141--150, ACM Press, March 2004.

Digital Library

Google Scholar

[4]

R. Douence, P. Fradet, and M. Sudholt. Trace-based Aspects. In Aspect-Oriented Software Development, pp 201--218, Addison Wesley, September 2004.

Google Scholar

[5]

Walker, R. J., Viggers, K. Implementing Protocols via Declarative Event Patterns. In Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, Newport Beach, USA, pp. 159--169, ACM Press, November 2004.

Digital Library

Google Scholar

[6]

Vanderperren, W., Suvee, D., Cibrán, M. A., De Fraine, B. Stateful Aspects in JAsCo, Software Composition Workshop at the European Joint Conferences on Theory and Practice of Software, Edinburgh, Scotland, LNCS 3628, pp. 167--181, Springer-Verlag, April 2005.

Digital Library

Google Scholar

[7]

David, H., Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, pp. 231--274, 1987

Digital Library

Google Scholar

[8]

ITU, Z. 100: Specification and Description Language (SDL), International Telecommunication Union, 2000.

Google Scholar

[9]

Bjorkander, M.: Graphical Programming Using UML and SDL, IEEE Computer, 33(12), pp. 30--35, IEEE Press, December 2000.

Digital Library

Google Scholar

[10]

Cottenier, T., van den Berg, A., Elrad, T. The Motorola WEAVR: Model Weaving in a Large Industrial Context, in Proceedings of the International Conference on Aspect-Oriented Software Development, Industry Track, Vancouver, Canada, 2006

Google Scholar

[11]

Cottenier, T., van den Berg, A., Elrad, T. Motorola WEAVR: An Add-In for Aspect-Oriented Modeling in TAU. Telelogic User Group Conference, Denver, Colorado, USA, 2006

Google Scholar

[12]

Zhang, J., Cottenier, T., van den Berg, A., Gray, J., Aspect Interference and Composition in the Motorola Aspect-Oriented Modeling Weaver. Workshop on Aspect-Oriented Modeling at the 9th International Conference on Model Driven Engineering Languages and Systems, Milan, Italy, 2006

Google Scholar

[13]

Cottenier, T., van den Berg, A., Elrad, T. Modeling Aspect-Oriented Compositions. Proceedings of the Satellite Events at the 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica, LNCS 3844, pp. 100--109, Springer-Verlag, 2005

Digital Library

Google Scholar

[14]

Telelogic. TAU homepage, http://www.telelogic.com/products/tau/index.cfm. 2005.

Google Scholar

Cited By

View all

Lindström BOffutt JSundmark DAndler SPettersson P(2017)Using mutation to design tests for aspect-oriented modelsInformation and Software Technology10.1016/j.infsof.2016.04.00781:C(112-130)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1016/j.infsof.2016.04.007
Fabry JZambrano AGordillo S(2016)Expressing aspectual interactions in designSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0442-015:3(881-905)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.1007/s10270-014-0442-0
Lindstrom BAndler SOffutt JPettersson PSundmark D(2015)Mutating aspect-oriented models to test cross-cutting concerns2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW.2015.7107456(1-10)Online publication date: Apr-2015
https://doi.org/10.1109/ICSTW.2015.7107456
Show More Cited By

Index Terms

Stateful aspects: the case for aspect-oriented modeling
1. Software and its engineering
  1. Software creation and management
  2. Software notations and tools
    1. General programming languages
      1. Language features
      2. Language types
        Object oriented languages

Recommendations

Towards executable aspect-oriented UML models
AOM '07: Proceedings of the 10th international workshop on Aspect-oriented modeling

Aspect-Oriented technologies, including Aspect-Oriented Modeling, introduces a set of new constructions, e.g., advices or pointcuts, that improve the modularization of crosscutting concerns. These new constructions can make it more difficult to ...
State-based testing of integration aspects
WTAOP '06: Proceedings of the 2nd workshop on Testing aspect-oriented programs

Aspect-oriented programming supports a variety of composition strategies, from the clearly acceptable to the questionable. One of the strategies is to make an aspect integrate separate concerns. Such integration aspects, like other aspects, may ...
Modeling and integrating aspects with UML activity diagrams
SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing

Dealing with crosscutting concerns has been a critical problem in software development processes. Aspect-Oriented Programming (AOP) provides a viable programming-level solution by separating crosscutting concerns from primary concerns. To facilitate ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

AOM '07: Proceedings of the 10th international workshop on Aspect-oriented modeling

March 2007

60 pages

ISBN:9781595936585

DOI:10.1145/1229375

Conference Chair:
Dominik Stein
University of Duisburg-Essen, Germany

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]

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 March 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

AOSD07

AOSD07: 6th International Conference on Aspect-Oriented Software Development

March 12, 2007

Vancouver, Canada

Acceptance Rates

AOM '07 Paper Acceptance Rate 8 of 8 submissions, 100%;

Overall Acceptance Rate 15 of 15 submissions, 100%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
441
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lindström BOffutt JSundmark DAndler SPettersson P(2017)Using mutation to design tests for aspect-oriented modelsInformation and Software Technology10.1016/j.infsof.2016.04.00781:C(112-130)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1016/j.infsof.2016.04.007
Fabry JZambrano AGordillo S(2016)Expressing aspectual interactions in designSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0442-015:3(881-905)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.1007/s10270-014-0442-0
Lindstrom BAndler SOffutt JPettersson PSundmark D(2015)Mutating aspect-oriented models to test cross-cutting concerns2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)10.1109/ICSTW.2015.7107456(1-10)Online publication date: Apr-2015
https://doi.org/10.1109/ICSTW.2015.7107456
Qaisar ZAnwar NRehman S(2013)Using UML Behavioral Model to Support Aspect Oriented ModelJournal of Software Engineering and Applications10.4236/jsea.2013.6301406:03(98-112)Online publication date: 2013
https://doi.org/10.4236/jsea.2013.63014
Ali SBriand LHemmati H(2012)Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-011-0206-z11:4(633-670)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.1007/s10270-011-0206-z
Qiu WZhang L(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
https://doi.org/10.1007/978-94-007-2169-2_113
Driver CReilly SLinehan ÉCahill VClarke S(2011)Managing embedded systems complexity with aspect-oriented model-driven engineeringACM Transactions on Embedded Computing Systems10.1145/1880050.188005710:2(1-26)Online publication date: 7-Jan-2011
https://dl.acm.org/doi/10.1145/1880050.1880057
Marques EVeiga LFerreira PTalcott CVenkatasubramanian N(2010)An extensible framework for middleware design based on concurrent event-based AOPProceedings of the 9th International Workshop on Adaptive and Reflective Middleware10.1145/1891701.1891705(26-31)Online publication date: 30-Nov-2010
https://dl.acm.org/doi/10.1145/1891701.1891705
Hill J(2010)Context-Based Analysis of System Execution Traces for Validating Distributed Real-Time and Embedded System Quality-of-Service PropertiesProceedings of the 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications10.1109/RTCSA.2010.45(92-101)Online publication date: 23-Aug-2010
https://dl.acm.org/doi/10.1109/RTCSA.2010.45
Nainan MAldawud OCazzola WCottenier TGray JKienzle JStein D(2009)Modeling interaction join point adaptations independent of pointcut models using UML stereotypesProceedings of the 13th workshop on Aspect-oriented modeling10.1145/1509297.1509304(25-30)Online publication date: 2-Mar-2009
https://dl.acm.org/doi/10.1145/1509297.1509304
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Towards executable aspect-oriented UML models

State-based testing of integration aspects

Modeling and integrating aspects with UML activity diagrams