Name
Abstract | ||
|---|---|---|
The Evidential Tool Bus (ETB) is a distributed framework for tool integration for the purpose of building and maintaining assur- ance cases. ETB employs Datalog as a metalanguage both for defining workflows and representing arguments. The application of Datalog in ETB differs in some significant ways from its use as a database query language. For example, in ETB Datalog predicates can be tied to exter- nal tool invocations. The operational treatment of such external calls is more expressive than the use of built-in predicates in Datalog. We out- line the semantic characteristics of the variant of Datalog used in ETB and describe an abstract machine for evaluating Datalog queries. |
Year | Venue | Field |
|---|---|---|
2014 | Specification, Algebra, and Software | Programming language,Database query,Computer science,Metalanguage,Predicate (grammar),Workflow,Datalog,Abstract machine,Semantics |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
7 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Simon Cruanes | 1 | 1 | 2.38 |
| Stijn Heymans | 2 | 463 | 37.60 |
| Ian A. Mason | 3 | 797 | 97.47 |
| Sam Owre | 4 | 1323 | 104.39 |
| Natarajan Shankar | 5 | 3050 | 309.55 |