Abstract
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 high-level 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. © 2008 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Bocchi, L., Hong, Y., Lopes, A., & Fiadeiro, J. L. (2008). From BPEL to SRML: A formal transformational approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4937 LNCS, pp. 92–107). https://doi.org/10.1007/978-3-540-79230-7_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
