José Luiz Fiadeiro

A Semantics of Business Configurations Using Symbolic Graphs

2015

In this paper we give graph-semantics to a fundamental part of the semantics of the service modeling language SRML: business configurations. To achieve this goal we use symbolic graph transformation systems. We formalize the semantics …