An Aspect-Oriented Approach to Modular Behavioral Specification

Yamada, Kiyoshi; Watanabe, Takahiro

doi:10.1016/j.entcs.2006.07.002

Cited by 5 publications

(4 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As for integrating the aspect notion with the existing formal specification languages, Yu et al propose an aspect extension of Z [20] and Object-Z [21]. Yamada and Watanabe [19] introduce the notion of the aspect into JML [7]. JML is used to write down the Design-byContract [12] style specifications for Java methods consisting of pre-and post-conditions.…”

Section: Discussionmentioning

confidence: 99%

Context-aware feature-oriented modeling with an aspect extension of VDM

Ubayashi

Nakajima

2007

Proceedings of the 2007 ACM Symposium on Applied Computing

View full text Add to dashboard Cite

Separation of concerns is important to reduce the complexity of software design. This paper 1 examines a software development method starting with the feature-oriented modeling method to have VDM-based formal design. In order to overcome the problem that a feature may be scattered over the VDM design description, the notion of the aspect is adapted to propose AspectVDM. The identified features are concisely represented in AspectVDM to demonstrate modular descriptions of cross-cutting concerns in VDM.

show abstract

Section: Discussionmentioning

confidence: 99%

Context-aware feature-oriented modeling with an aspect extension of VDM

Ubayashi

Nakajima

2007

Proceedings of the 2007 ACM Symposium on Applied Computing

View full text Add to dashboard Cite

show abstract

“…If the modeling language employ AOP, faults as well as other adaptable behaviors can be organized into aspects and incorporated into the model by a similar mechanism to aspect weaving. Actually aspect-oriented approach is proven to be effective not only in programming languages but also in modeling languages [12].…”

Section: Fault As a Cross-cutting Concernmentioning

confidence: 99%

A Language Support for Exhaustive Fault-Injection in Message-Passing System Models

Suzuki

Watanabe

2014

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

This paper presents an approach towards specifying and verifying adaptive distributed systems. We here take fault-handling as an example of adaptive behavior and propose a modeling language Sandal for describing fault-prone message-passing systems. One of the unique mechanisms of the language is a linguistic support for abstracting typical faults such as unexpected termination of processes and random loss of messages. The Sandal compiler translates a model into a set of NuSMV modules. During the compilation process, faults specified in the model will be woven into the output. One can thus enjoy full-automatic exhaustive fault-injection without writing faulty behaviors explicitly. We demonstrate the advantage of the language by verifying a model of the two-phase commit protocol under faulty environment.

show abstract

“…Gibbs et al have proposed Temporal Invariants, or an extension of assertion for temporal properties held in a series of method calls for one component [7]. On the other hand, Yamada et al have proposed Moxa, or an aspect-oriented extension of JML [27]. Moxa provides language constructs to write common properties to several methods and classes.…”

Section: Assert(true)mentioning

confidence: 99%

“…Yamada et al proposed Moxa, another extension of JML [27]. Moxa provides an assertion module which enables programmers to write assertions shared by several methods and classes.…”

Section: Related Workmentioning

confidence: 99%

Aspect-oriented modularization of assertion crosscutting objects

Ishio

Kamiya

Kusumoto

et al. 2005

12th Asia-Pacific Software Engineering Conference (APSEC'05)

View full text Add to dashboard Cite

Assertion checking is a powerful tool to detect software faults during debugging, testing and maintenance. Although assertion documents the behavior of one component, it is hard to document relations and interactions among several objects since such assertion statements are spread across the modules. Therefore, we propose to modularize such assertion as an aspect in order to improve software maintainability. In this paper, taking Observer pattern as an example, we point out that some assertions tend to be croscutting, and propose a modulalization of such assertion with aspectoriented language. We show a limitation of traditional assertion and effectiveness of assertion aspect through the case study, and discuss various situations to which assertion aspects are applicable.

show abstract

An Aspect-Oriented Approach to Modular Behavioral Specification

Cited by 5 publications

References 10 publications

Context-aware feature-oriented modeling with an aspect extension of VDM

Context-aware feature-oriented modeling with an aspect extension of VDM

A Language Support for Exhaustive Fault-Injection in Message-Passing System Models

Aspect-oriented modularization of assertion crosscutting objects

Contact Info

Product

Resources

About