Integrating Statechart Assertions into Java Components Using Aspect
R-Conf25.pdf (374.5Kb)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.
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.
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.Collections
Related items
Showing items related by title, author, creator and subject.
-
A framework for computer-aided validation
(Monterey, California. Naval Postgraduate School, 2007-09); NPS-CS-07-010This paper presents a framework to incorporate computer-based validation techniques to the independent validation and verification (IV&V) of software systems. The framework allows the IV&V team to capture its own understanding ... -
A framework for computer-aided validation
(2008);This paper presents a framework for augmenting independent validation and verification (IV & V) of software systems with computer-based IV & V techniques. The framework allows an IV & V team to capture its own understanding of ... -
Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors
(2007);This paper is concerned with the correct specification and validation of temporal behaviors in a Service-Oriented Architecture based system-of-systems. It presents a new formalism, called Message Sequence Chart Assertions ...
