Research Article
OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models
Algorithm 1
The algorithm
of constraint solver.
Require: Error States | Ensure: Constraint satisfiability | (1) ports constraints linking constraints | (2) | (3) | (4) init hash list Clist[] for distinct variable in | (5) init all un-annotated ports variables as | (6) | (7) while do | (8) | (9) LCA of and | (10) if then | (11) return False | (12) else | (13) | (14) end if | (15) end while | (16) if then | (17) False | (18) else | (19) True | (20) end if |
|