Article

Semantic-based weaving of scenarios

Authors:

Loïc Hélouët,

Jean-Marc JézéquelAuthors Info & Claims

AOSD '06: Proceedings of the 5th international conference on Aspect-oriented software development

Pages 27 - 38

https://doi.org/10.1145/1119655.1119662

Published: 20 March 2006 Publication History

Abstract

The notion of aspect looks promising for handling cross-cutting concerns earlier in the software life-cycle, up from programming to design, analysis and even requirements. Support for aspects is thus now raising interest also at the modeling level, including with behavioral modeling languages such as scenarios. With this kind of modeling languages, even if aspect weaving can be performed at the abstract syntax level, a weaving at the semantics level seems a far more appealing and powerful mechanism. In this paper we present a semantic-based aspect weaving algorithm for Hierarchical Message Sequence Charts (HMSCs). The algorithm proposed uses a set of transformations that take into account the compositional semantics of HMSCs to weave an initial HMSC and a behavioral aspect expressed with scenarios.

References

[1]

J. Araujo, J. Whittle, and Kim. Modeling and composing scenario-based requirements with aspects. In Proceedings of RE 2004, Kyoto, Japan, September 2004.]]

Digital Library

[2]

S. Clarke. Composition of Object-Oriented Software Design Models. PhD thesis, Dublin City University, 2001.]]

[3]

R. Douence, P. Fradet, and M. Südholt. A framework for the detection and resolution of aspect interactions. In Proceedings of GPCE'02, LNCS. Springer, 2002.]]

Digital Library

[4]

R. Douence, O. Motelet, and M. Südholt. A formal definition of crosscuts. In Reflection'01, pages 170--186, 2001.]]

Digital Library

[5]

R. B. France, D.-K. Kim, S. Ghosh, and E. Song. A uml-based pattern specification technique. IEEE Transaction on Software Engineering, vol.30(3), 193--206, March 2004, 2004.]]

Digital Library

[6]

O. Haugen. Comparing uml 2.0 interactions and msc-2000. In Proceedings of SAM 2004, pages 69--84. LNCS 3319, 2004.]]

[7]

L. Hélouët and P. Le Maigat. Decomposition of Message Sequence Charts. In Proceedings of SAM2000, Grenoble, Juin 2000.]]

[8]

J. Hopcroft and J. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, Massachusetts, 1979.]]

Digital Library

[9]

ITU-TS. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva, September 1999.]]

[10]

I. Jacobson and P.-W. Ng. Aspect-Oriented Software Development with Use Cases. Addison-Wesley, 2004.]]

Digital Library

[11]

G. Kiczales. The fun has just begun. Keynote of AOSD'03, 2003.]]

[12]

A. Muscholl. Matching specifications for Message Sequence Charts. In Proceedings of FoSSaCS'99, LNCS 1578, pages 273--287, 1999.]]

Digital Library

[13]

A. Muscholl, D. Peled, and Z. Su. Deciding properties for message sequence charts. In Proceedings of FOSSACS'98, pages 226--242. Springer-Verlag, 1998.]]

Digital Library

[14]

OMG. Uml superstructure specification, v2.0. OMG Document number formal/05-07-04, 2005.]]

[15]

K. Ostermann, M. Mezini, and C. Bockisch. Expressive pointcuts for increased modularity. In Proceedings of ECOOP'05. Springer LNCS, 2005.]]

Digital Library

[16]

A. Rashid, A. M. D. Moreira, and J. Araújo. Modularisation and composition of aspectual requirements. In proceedings of AOSD'03, pages 11--20, 2003.]]

Digital Library

[17]

J. Whittle and J. Araújo. Scenario modelling with aspects. IEEE Proceedings - Software, 151(4):157--172, 2004.]]

Cited By

Jézéquel J(2024)Taming uncertainty with MDE: an historical perspectiveSoftware and Systems Modeling10.1007/s10270-024-01227-4Online publication date: 28-Oct-2024
https://doi.org/10.1007/s10270-024-01227-4
Jézéquel J(2023)Modeling: From CASE Tools to SLE and Machine LearningThe French School of Programming10.1007/978-3-031-34518-0_4(69-87)Online publication date: 11-Oct-2023
https://doi.org/10.1007/978-3-031-34518-0_4
Bowles JCaminati M(2019)Correct composition in the presence of behavioural conflicts and dephasingScience of Computer Programming10.1016/j.scico.2019.102323(102323)Online publication date: Oct-2019
https://doi.org/10.1016/j.scico.2019.102323
Show More Cited By

Index Terms

Semantic-based weaving of scenarios

Recommendations

Weaving semantic aspects in HiLA
AOSD '12: Proceedings of the 11th annual international conference on Aspect-oriented Software Development

UML state machines are widely used for modeling software behavior. Due to the low-level character of the language, UML state machines are often poorly modularized and hard to use. High-Level Aspects (HiLA) is an aspect-oriented extension of UML state ...
Studying the Understandability of Aspect State Machines through the Weaving Activity
APSEC '12: Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01

Aspect-oriented Modeling (AOM) is a relatively recent, very active field of research and is assumed to yield several potential benefits such as enhanced modularization, easier evolution, increased reusability, and improved readability and ...
Performance analysis of security aspects by weaving scenarios extracted from UML models

Aspect-oriented modeling (AOM) allows software designers to describe features that address pervasive concerns separately as aspects, and to systematically incorporate the features into a design model using model composition techniques. The goal of this ...

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

Conference Chair:
Robert Filman
Google, Inc.

Copyright © 2006 ACM.

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.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

AOSD06

Sponsor:

AOSD-Europe

AOSD06: 5th International Conference on Aspect-Oriented Software Development Conference

March 20 - 24, 2006

Bonn, Germany

Acceptance Rates

Overall Acceptance Rate 41 of 139 submissions, 29%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

76
Total Citations
View Citations
568
Total Downloads

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

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Jézéquel J(2024)Taming uncertainty with MDE: an historical perspectiveSoftware and Systems Modeling10.1007/s10270-024-01227-4Online publication date: 28-Oct-2024
https://doi.org/10.1007/s10270-024-01227-4
Jézéquel J(2023)Modeling: From CASE Tools to SLE and Machine LearningThe French School of Programming10.1007/978-3-031-34518-0_4(69-87)Online publication date: 11-Oct-2023
https://doi.org/10.1007/978-3-031-34518-0_4
Bowles JCaminati M(2019)Correct composition in the presence of behavioural conflicts and dephasingScience of Computer Programming10.1016/j.scico.2019.102323(102323)Online publication date: Oct-2019
https://doi.org/10.1016/j.scico.2019.102323
Kienzle JMussbacher GCombemale BDeantoni J(2019)A unifying framework for homogeneous model compositionSoftware and Systems Modeling (SoSyM)10.1007/s10270-018-00707-818:5(3005-3023)Online publication date: 1-Oct-2019
https://dl.acm.org/doi/10.1007/s10270-018-00707-8
Bowles JCaminati M(2019)Balancing Prescriptions with Constraint SolversAutomated Reasoning for Systems Biology and Medicine10.1007/978-3-030-17297-8_9(243-267)Online publication date: 12-Jun-2019
https://doi.org/10.1007/978-3-030-17297-8_9
Vanwormhoudt GCaron OCarré B(2017)Aspectual templates in UMLSoftware and Systems Modeling (SoSyM)10.1007/s10270-015-0463-316:2(469-497)Online publication date: 1-May-2017
https://dl.acm.org/doi/10.1007/s10270-015-0463-3
Bowles JCaminati M(2017)A Flexible Approach for Finding Optimal Paths with Minimal ConflictsFormal Methods and Software Engineering10.1007/978-3-319-68690-5_13(209-225)Online publication date: 11-Oct-2017
https://doi.org/10.1007/978-3-319-68690-5_13
Bowles JCaminati M(2017)Correct Composition of Dephased Behavioural ModelsFormal Aspects of Component Software10.1007/978-3-319-68034-7_14(233-250)Online publication date: 14-Sep-2017
https://doi.org/10.1007/978-3-319-68034-7_14
Bowles JCaminati M(2016)Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods2016 23rd Asia-Pacific Software Engineering Conference (APSEC)10.1109/APSEC.2016.051(313-320)Online publication date: 2016
https://doi.org/10.1109/APSEC.2016.051
Bowles JBordbar BAlwanain M(2016)Weaving True-Concurrent Aspects Using Constraint Solvers2016 16th International Conference on Application of Concurrency to System Design (ACSD)10.1109/ACSD.2016.19(35-44)Online publication date: Jun-2016
https://doi.org/10.1109/ACSD.2016.19
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.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten