A Formal Description Method for Aspect-Oriented Statechart Based on CSP

Wang, Bin; Zhu, Chunhua; Sheng, Jinfang

doi:10.1109/iscsct.2008.358

Cited by 2 publications

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Many approaches have been proposed to specify aspect oriented models using different notations, i.e. UML statecharts [1,20], UML activity diagrams [2,3], Visual Contract Language (VCL) [4], process algebra [18] etc.…”

Section: Introductionmentioning

confidence: 99%

Detecting and Evaluating Semantic Influences of Aspect Weaving in Aspect Oriented Models

Yang¹

2013

JSW

View full text Add to dashboard Cite

Weaving an aspect may introduce undesired impacts on behavior of the base model or other afore-woven aspects. An approach to detect and evaluate the semantic influences of an aspect weaving on a pattern is presented. The pattern specifies a desired behavior that should stay unaltered or occur in the woven model. The detection and evaluation are based on the semantic relationship between a pattern and its projection that represents its actual semantics in the woven model. Five types of aspect weaving influences are identified. The approach has the Process Algebras (PA) as the underlying formalisms and has been implemented by mapping to the Concurrency Workbench (CWB) tool. An example shows the effectiveness.Index Terms-aspect weaving, influences, aspect interaction, aspect interference, aspect-oriented software development Chunhua Yang received her Ph.D., M.S. and B.S. degrees in

show abstract

Section: Introductionmentioning

confidence: 99%

Detecting and Evaluating Semantic Influences of Aspect Weaving in Aspect Oriented Models

Yang¹

2013

JSW

View full text Add to dashboard Cite

show abstract

Extensions of UML to Model Aspect-oriented Software Systems

Guessi¹,

Oliveira²,

Nakagawa³

2011

CLEIej

View full text Add to dashboard Cite

Aspect-Oriented Programming (AOP) has arisen as a new technology to support a better SoC (Separation of Concerns), intending to contribute to the development of reusable, maintainable, and evolvable software sys- tems. Aspects have been also explored in the early life cycle phases, aiming at contributing to a more adequate development of aspect-oriented software systems. In this perspective, in order to better represent these sys- tems, a diversity of extensions of the UML (Unified Modeling Language) has been proposed; however, there is a lack of a complete panorama that identify all these extensions. This paper presents an overview about which are possibly all extensions of the UML to represent aspect-oriented software systems. For this, we have used a technique proposed by Evidence-Based Software Engineering (EBSE): the Systematic Mapping. As achieved results, we can observe a diversity of work; however, there is not a consensus about which are the more adequate or more used extensions. Based on this overview, interesting and important perspectives for future research can also be found.

show abstract

A Formal Description Method for Aspect-Oriented Statechart Based on CSP

Cited by 2 publications

References 7 publications

Detecting and Evaluating Semantic Influences of Aspect Weaving in Aspect Oriented Models

Detecting and Evaluating Semantic Influences of Aspect Weaving in Aspect Oriented Models

Extensions of UML to Model Aspect-oriented Software Systems

Contact Info

Product

Resources

About