Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors
Cook, Thomas S.
MetadataShow full item record
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.
Showing items related by title, author, creator and subject.
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 ...
UML-based specification, validation, and log-file based verification of the Orion Pad Abort Software Drusinsky, Doron (Monterey, California. Naval Postgraduate School, 2010-05-15); NPS-CS-10-007This paper described the first end to end application of a novel light weight formal specification, validation, and verification technique. The technique is novel is two aspects. First, it uses an intuitive, familiar, and ...