Loading...
Please wait, while we are loading the content...
Similar Documents
Two-level reasoning about graph transformation programs
| Content Provider | Hyper Articles en Ligne (HAL) |
|---|---|
| Author | Makhlouf, Amani Percebois, Christian Tran, Hanh Nhi |
| Copyright Year | 2019 |
| Abstract | This paper presents a method for verifying graph transformation programs written in Small-tALC, an imperative language which allows expressing graph properties and graph transformations in ALCQI description logic. We aim at reasoning not only about the local effect when applying a transformation rule on a matched subgraph but also about the global impact on the whole input graph when applying a set of rules. Using ALCQI assertional and terminological formulae to formalize directed labeled graphs, Small-tALC allows specifying local properties on individual nodes and edges as well as global properties on sets of nodes and edges. Our previous work focuses on verifying local properties of the graph. In this paper, we propose a static analyzer at terminological level that intertwines with a static analyzer at assertional level to infer global properties of the transformed graph. |
| Related Links | https://hal.science/hal-02451016/file/makhlouf_24924.pdf |
| Conference Proceedings | 12th International Conference on Graph Transformation (ICGT 2019) |
| Language | English |
| Publisher | HAL CCSD |
| Publisher Date | 2019-06-01 |
| Access Restriction | Open |
| Subject Keyword | Program verification Description logics Static analysis Abstract interpretation Graph transformation |
| Content Type | Text |
| Resource Type | Conference Proceedings |
| Subject | Computer Science |
