Integrating Statechart Assertions into Java Components Using Aspect
Loading...
Authors
Drusinsky, Doron
Michael, James Bret
Otani, Thomas W.
Shing, Man-Tak
Subjects
Aspect-oriented software development
formal specification
Statechart assertions
run-time execution monitoring
validation and verification
formal specification
Statechart assertions
run-time execution monitoring
validation and verification
Advisors
Date of Issue
2008
Date
Publisher
Language
Abstract
This paper addresses the need for rapid and robust
integration of external statechart assertions with the
software components of a system of systems (SoSes) for
the purpose of runtime verification of the complex SoS
behaviors. We describe a framework for connecting
assertions to statechart models or to plain Java code
using AspectJ. The framework manages connections using
a single reusable AspectJ file; designers only need to
modify a few lines of source code at the top of the file to
link the reusable statechart assertions to a new
component. We demonstrate the framework with an
example involving a traffic light control system.
Type
Article
Description
The research reported in this article was funded in part by a grant from the National Aeronautics and Space Administration.
The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing
the official policies or endorsements, either expressed or implied, of the U.S. Government. The U.S. Government is authorized
to reproduce and distribute reprints for Government purposes notwithstanding any copyright annotations thereon.
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funding
Format
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.