TY - GEN
T1 - From BPEL to SRML
T2 - 4th International Workshop on Web Services and Formal Methods, WS-FM 2007
AU - Bocchi, Laura
AU - Hong, Yi
AU - Lopes, Antónia
AU - Fiadeiro, José Luiz
PY - 2008/5/14
Y1 - 2008/5/14
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=43149092953&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-79230-7_7
DO - 10.1007/978-3-540-79230-7_7
M3 - Conference contribution
AN - SCOPUS:43149092953
SN - 3540792295
SN - 9783540792291
VL - 4937
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 92
EP - 107
BT - Web Services and Formal Methods - 4th International Workshop, WS-FM 2007, Proceedings
Y2 - 28 September 2007 through 29 September 2007
ER -