Exceptions may be defined explicitly or implicitly. Explicit definition is applicable to expected undesired events, such as hardware failure, but is not useful for detecting unexpected exceptions. The method of procedural detection does not target implicit exceptions, such as disabling of a backup pump during production.
Formal definition of protocols of normal operation is essential to detect deviations from these protocols. When formalized, the exception may be implied from violation of the protocol describing normal operation..
Updated on 05 Jun 2017.