Package hu.soft4d.minerva.ssm

Class Summary
SSMFactory Factory class for generating a SymbolicTransitionSystem, if a WSDL/SSM schema definition URL or an UML definition is given.