WP3: Dealing with multiplicity and evolution

 

Leader: University of Kent

The third work package aims to develop mechanisms and tools to support effective decision making in situations where there are competing implementations of requirements. We will tackle three scenarios: the existence of multiple competing implementations of a particular web service or component; multiple implementations of requirements that are evolving; and systems which deliver the same core functionality, but which behave differently according to their configuration. In each of these situations we will provide users with models that describe the difference between implementations, or between an implementation and the requirements upon it, based on QuickCheck models and the StateChum toolset.