Section: Software

STSLib

Participants : Jean-Claude Royer [ correspondent ] , Fabricio Fernandes.

STSLib is devoted to the definition, verification, and execution of a component model based on symbolic transition systems (STS). The current main functionalities of STSLib are: design of software components with STS, building of architectures, some preliminary verifications, runtime support, and visualization using graphviz and prefuse.

The main concept behind STSLib is that an STS combines the dynamic description of a system with a description of its data types. The dynamic description is based on a simple state machine and textual notation and the data part is currently provided as a Java class. STSs add to LTSs full data types, guards with receipts, input/output values and star notations . The star notation allows to collapse several related emissions in a concise way using a value generator. Architectures are described by textual files expressing component types, instances, communications, and exported bindings.

The library provides some basic facilities for verification based on computing the synchronous product and the configuration graph of systems. It also allows a structured view of STS, behavioral compatibility, and event strictness checking, see  [23] . A composite is event strict iff each subcomponent is event strict and if each communication defined at the composite level occurs in the dynamic behavior of the composite. It is intended to provide tool support for designing applications based on STSs and experimenting new constructions for components and architectures.

STSLib is available at http://www.emn.fr/x-info/jroyer/WEBLIB/index.html .