FosterEvolution
Service Engineer
Published in Service Engineering
Service Engineer (previously known as WS-Engineer) is a tool for rigorous service engineering.
The WS-Engineer plug-in is an extension to the LTSA Eclipse Plug-in which allows service models to be described by translation of the service process descriptions, and can be used to perform model-based service engineering verification and validation.
SMaRT
Published in Service Monitoring
The Service Monitorability Reporting Tool Suite (SMaRT) provides SLA-based service monitorability assessment and monitoring infrastructure configurations. SMaRT includes a Monitorability Reporting workbench to provide ease of access for defining, managing and reporting feedback on results for the monitorability of SLAs for service monitoring. We describe an architecture for the SMaRT components, their relationships and interactions, and how this is implemented in a user workbench. We then describe some validation activities to ensure the approach and techniques are valid for such assessment and reporting.
LTSA Eclipse
Published in Model-based Verification
LTSA Eclipse is a verification tool for concurrent systems. It mechanically checks that the specification of a concurrent system satisfies the properties required of its behaviour. In addition, LTSA supports specification animation to facilitate interactive exploration of system behaviour.