A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose.

Aissam Belghiat Allaoua Chaoui

Published in: ICAASE (2018)

Keyphrases

graph transformation
activity diagrams
conceptual database design
model checking
database
description logics
test generation