Sciweavers

Share
WSFM
2007
Springer

From BPEL to SRML: A Formal Transformational Approach

10 years 9 months ago
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.
Laura Bocchi, Yi Hong, Antónia Lopes, Jos&e
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where WSFM
Authors Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro
Comments (0)
books