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 ...
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, ...