Publication | Closed Access

Integration and verification of semantic constraints in adaptive process management systems

Adaptive SystemsConstraint SolvingProcess AutomationEngineeringAutomated ReasoningAutomationFormal MethodsProcess ControlSystems EngineeringProcess SpecificationComputer ScienceBusiness Process ModelingSemanticsSemantic ConstraintsFormal VerificationProcess ModellingSoftware Design