|
SENSORIA All Publications |
|
Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
From BPEL to SRML: A Formal Transformational Approach
@INPROCEEDINGS{BHLF07,
title = {{From BPEL to SRML: A Formal Transformational Approach}},
author = {{Laura} {Bocchi} and {Jos\'e Luiz} {Fiadeiro} and {Yi} {Hong} and {Ant\'onia} {Lopes}},
booktitle = {Proceedings of Web Services and Formal Methods (WSFM'07)},
pages = {92-107},
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},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
volume = {4937},
year = {2007},
url = {http://www.pst.informatik.uni-muenchen.de:8080/Sensoria/DOWNLOAD/bhlf07.pdf},
invited = {N},
partner = {ULEICES and FFCUL},
status = {public},
task = {T1.1},
}
|
