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

Abstract

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.