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

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 armor-plating of svstem-of-systems using runtime execution monitoring of MSC-assertions.