XML syntax and semantic validations are critical to the correct service transaction specification and service integration based on existing distributed and heterogeneous computing services. Current industry practice of XSLT-based Schematron validation may produce invalid results, and contributes a reusable XML validator component that supports sound integrated syntax/semantic validations and ev...

Virtual system development is getting more and more important in a plenitude of industrial domains to reduce development times, stranded costs and time-to-market. Co-simulation is a particularly promising approach for modular and interoperable development. In practice the integration and coupling of real-time systems (especially systems of distributed hardware-in-the-loop systems and simulation...