Next: Control flow based state Up: Use Case Editor (UCEd) Previous: Use Cases validation Contents
A State Model describes a system's behavior in interaction with its environment. UCEd uses state models as frameworks for use cases integration. Two generation approaches are used: state model synthesis based on control flow and state model synthesis based on operation effects. Both approaches allow generation of state models in the StateChart formalism.
Control flow based generation is appropriate at earlier stages when operations haven't been specified. Synthesis based on operation effects is useful to validate contract specification of operations and is therefore more appropriate at the later stage.