From BPEL to SRML: A Formal Transformational Approach

The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a composition of tightly coupled components and loosely coupled, dynamically discovered services. This paper presents an encoding of BPEL processes into SRML modules using model transformation techniques. The encoding provides the means to create highlevel declarative descriptions of BPEL processes that can be used for building more complex modules, possibly including components implemented in other languages. The composition can be modelled and analysed as an ensemble, relying on the rich formal framework that is being developed within SENSORIA.

• Type: Conference
• Year: 2007
• Where: WSFM
• Authors: Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro
• Keywords: Internet Technology, Reference Modelling Language, SRML Modules, Technology Agnostic Way, WSFM 2007