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

摘要

This paper is concerned with the correctspecification and validation of temporal behaviors in aService-Oriented Architecture based system-of-systems. Itpresents a new formalism, called Message Sequence ChartAssertions (MSC-Assertions), for the specification ofglobal system behaviors, and describes a specificationvalidation technique using scenario simulation based onthe JUnit Test Framework. We also describe the armorplatingof system-of-systems using runtime executionmonitoring of MSC-Assertions.