Show simple item record

dc.contributor.authorDrusinsky, Doron
dc.contributor.authorMichael, James Bret
dc.contributor.authorOtani, Thomas W.
dc.contributor.authorShing, Man-Tak
dc.date.accessioned2014-03-25T16:46:06Z
dc.date.available2014-03-25T16:46:06Z
dc.date.issued2008
dc.identifier.urihttp://hdl.handle.net/10945/39585
dc.descriptionThe 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.en_US
dc.description.abstractThis 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.en_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.en_US
dc.titleIntegrating Statechart Assertions into Java Components Using Aspecten_US
dc.typeArticleen_US
dc.contributor.departmentComputer Science (CS)
dc.subject.authorAspect-oriented software developmenten_US
dc.subject.authorformal specificationen_US
dc.subject.authorStatechart assertionsen_US
dc.subject.authorrun-time execution monitoringen_US
dc.subject.authorvalidation and verificationen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record