Integrating Statechart Assertions into Java Components Using Aspect
Michael, James Bret
Otani, Thomas W.
MetadataShow full item record
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.
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.
Showing items related by title, author, creator and subject.
Michael, James Bret; Shing, Man-Tak (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 ...
Drusinsky, Doron; Shin, Man-Tak; Michael, James Bret (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 ...
Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors Cook, Thomas S.; Drusinsky, Doron; Shing, Man-Tak (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 ...