Publication | Closed Access

A sufficient and necessary temporal violation handling point selection strategy in cloud workflow

Cloud WorkflowWorkflow ExecutionEngineeringPoint Selection StrategyWorkflow TechnologyCloud ComputingNecessary Temporal ViolationFormal MethodsComputer EngineeringSystems EngineeringSoftware EngineeringWorkflow PatternWorkflow Management SystemComputer ScienceWorkflow ModellingData ManagementFormal VerificationOperations Research