Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors

Download
Author
Cook, Thomas S.
Drusinsky, Doron
Shing, Man-Tak
Date
2007Metadata
Show full item recordAbstract
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 (MSC-Assertions), for the specification of
global system behaviors, and describes a specification
validation technique using scenario simulation based on
the JUnit Test Framework. We also describe the armorplating
of system-of-systems using runtime execution
monitoring of MSC-Assertions.
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.
-
Derivation strategies for experienced-based test oracles
Hernandez, Jose A., Jr. (Monterey, California. Naval Postgraduate School, 1989-12);Traditionally, large software systems are tested to demonstrate that the system satisfies the set of functional requirements and specifications from which it was derived. Various methodologies exist for conducting ... -
Applying UML-based Formal Specification, Validation, and Verification to Space Flight Control System and Defense Software
Alves, Miriam C. Bergue; Beylin, Konstantin; Drusinsky, Doron; Michael, James Bret; Shing, Man-Tak (Monterey, California. Naval Postgraduate School, 2011-02-01); NPS-CS-11-003This report presents the process and results of a formal computer-aided Specification, Validation and Verification (SV&V) of two mission and safety critical projects: the Brazilian Satellite Launcher flight software, and ... -
An approach for developing and validating libraries of temporal formal specifications
Sybor, Colleen A. (Monterey, California. Naval Postgraduate School, 2008-09);This thesis examines the role of independent validation in the development of software systems. As software systems become increasingly larger and more complex the role of software validation becomes crucial. In particular, ...