Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/1138953.1138963acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
Article

Aspect-oriented software design with a variant of UML/STD

Published: 27 May 2006 Publication History

Abstract

The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing system. Since UML is a modeling language used in early stages of software development, studying how UML is related to aspectual software is an important topic. This paper proposes a way of introducing the join point model (JPM) to UML/STD. The proposed extension is smoothly integrated with the core part of the execution semantics adapted by the UML standard. the semantics consist of the RTC step, the broadcast events, and the implicit consumption of the events.

References

[1]
J. Araujo, J. Whittle, and D. Kim. Modeling and Composing Scenario-Based Requirements with Aspects, In Proc. RE 2004, pages 58--67, September 2004.
[2]
S. Clarke and E. Baniassad. Aspect-Oriented Analysis and Design. Addison-Wesley 2005.
[3]
F. Cottet, J. Delacroix, C. Kaiser, and Z. Mammeri. Scheduling in Real-time Systems. Wiley 2002.
[4]
M. Deubler, M. Meisinger, S. Rittmann, and I. Kruger. Modeling Crosscutting Services with UML Sequence Diagrams. In Proc. MoDELS 2005, pages 522--536, 2005.
[5]
T. Elrad, O. Aldawud, and A. Bader. Expressing Aspects Using UML Behavioral and Structural Diagrams. In 6., pages 459--478, 2005.
[6]
R. Filman, T. Elrad, S. Clarke, and M. Aksit. Aspect-Oriented Software Development. Addison Wesley 2005.
[7]
R. France, I. Ray, G. Georg, and S. Ghosh. An Aspect-Oriented Approch to Design Modeling. IEE Proceedings, 151 (4), August 2004.
[8]
D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Trans. Softw. Engin. Meth., Vol.5, No.4, pages 293--333, 1996.
[9]
G. Holzmann. The SPIN Model Checker. Addison-Wesley 2004.
[10]
I. Jacobson and P.-W. Ng. Aspect-Oriented Software Development with Use Cases. Addison Wesley 2005.
[11]
E. Katz and S. Katz. Verifying Scenario-Based Aspect Specifications. In Proc. FM 2005, pages 432--447, July 2005.
[12]
G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C.V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In Proc. ECOOP'97, 1997.
[13]
J. Lilius and I.P. Paltor. The Semantics of UML State Machines. TUCS TR No.273, May 1999.
[14]
M. Mahoney, A. Bader, T. Elrad, and O. Aldawud. Using Aspects to Abstract and Modularize Statecharts. UML 2004 Workshop on Aspect-Oriented Modeling, October 2004.
[15]
H. Masuhara and G. Kiczales. Modeling Crosscutting in Aspect-Oriented Mechanisms. In Proc. ECOOP 2003, 2003.
[16]
E. Mikk, Y. Lakhnech, M. Siegel, and G. Holzmann. Implementing Statecharts in Promela/SPIN. In Proc. WIFT'98, 1998.
[17]
T. Schafer, A. Knapp, and S. Merz. Model Checking UML Stata Machines and Collaborations. Electronic Notes in Theoretical Computer Science, Vol.55, No.3, 2001.
[18]
M. Wand, G. Kiczales, and C. Dutchyn. A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming. ACM TOPLAS, Vol.26, No.5, pages 890--910, September 2004.
[19]
OMG - Unified Modeling Language, v1.5, March 2003.

Cited By

View all
  • (2018)A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive PowerIEICE - Transactions on Information and Systems10.1093/ietisy/e90-d.5.799E90-D:5(799-807)Online publication date: 16-Dec-2018
  • (2007)Towards model driven design of service-based context-aware applicationsInternational workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting10.1145/1294904.1294915(69-74)Online publication date: 4-Sep-2007

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
May 2006
93 pages
ISBN:1595933948
DOI:10.1145/1138953
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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 May 2006

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. SPIN
  2. UML
  3. join point model
  4. state diagrams

Qualifiers

  • Article

Conference

ICSE06
Sponsor:

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 08 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2018)A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive PowerIEICE - Transactions on Information and Systems10.1093/ietisy/e90-d.5.799E90-D:5(799-807)Online publication date: 16-Dec-2018
  • (2007)Towards model driven design of service-based context-aware applicationsInternational workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting10.1145/1294904.1294915(69-74)Online publication date: 4-Sep-2007

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media