| 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 | Class and Description |
|---|---|
class |
Coverable
Coverable is the abstract ancestor of coverable parts of a specification.
|
class |
Machine
Machine represents a named finite state Machine.
|
class |
Memory
Memory represents the collection of state variables in a software service.
|
class |
Operation
Operation represents an operation in the public interface of a service.
|
class |
Protocol
Protocol is a model of the abstract behaviour of a software service.
|
class |
Scope
Scope represents a scope within which parameters may be declared.
|
class |
Service
Service represents a a model or specification of a software service.
|
class |
Specification
Specification is the abstract ancestor of different kinds of specification.
|
class |
State
State represents a named state in a finite state machine.
|
class |
TestSuite
TestSuite represents a set of generated high-level test testSequences.
|
class |
Transition
Transition represents a named transition in a finite state machine.
|
| Modifier and Type | Method and Description |
|---|---|
Annotated |
Annotated.addNotice(Notice notice)
Attaches the Notice to this Annotated element.
|