A sound and complete theory of graph transformations for service programming with sessions and pipelines.
Liang ZhaoRoberto BruniZhiming LiuPublished in: Sci. Comput. Program. (2014)
Keyphrases
- programming language
- management system
- graph representation
- graph theory
- spanning tree
- bipartite graph
- graph structure
- program code
- web services
- directed acyclic graph
- service providers
- relational databases
- weighted graph
- theoretical framework
- graph databases
- object oriented
- object oriented programming
- general theory