Package | Description |
---|---|
uk.ac.sheffield.vtts.model |
This package contains Broker@Cloud components for modelling service
specifications and test suites, and for modelling expressions in the formal
expression language.
|
Modifier and Type | Method and Description |
---|---|
Service |
Service.addMachine(Machine machine)
Adds the finite state Machine of this Service.
|
Service |
Service.addProtocol(Protocol protocol)
Adds the Protocol to this service.
|