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.
This work was partially supported through the IST-2005-16004 Integrated Project SENSORIA: Software Engineering for Service-Oriented Overlay Computers, and the Marie-Curie TOK-IAP MTK1-CT-2004-003169 Leg2Net: From Legacy Systems to Services in the Net.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Abreu, J., Bocchi, L., Fiadeiro, J.L., Lopes, A.: Specifying and composing interaction protocols for service-oriented system modelling. In: Formal Methods for Networked and Distributed Systems, Springer, Heidelberg (to appear, 2007)
Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. Technical report, TC OASIS (2007), available from http://www.oasis-open.org/
Biermann, E., Ehrig, K., Koehler, C., Kuhns, G., Taentzer, G., Weiss, E.: Graphical definition of in-place transformations in the Eclipse Modeling Framework. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 425–439. Springer, Heidelberg (2006)
Bisztray, D., Heckel, R.: Rule-level verification of business process transformation using CSP. In: Graph Transformation and Visual Modeling Techniques. Electronic Communications of the EASST (2007)
Fiadeiro, J.L., Lopes, A., Bocchi, L.: A formal approach to service-oriented architecture. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 193–213. Springer, Heidelberg (2006)
Fiadeiro, J.L., Lopes, A., Bocchi, L.: Algebraic semantics of service component modules. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol. 4409, pp. 37–55. Springer, Heidelberg (2007)
Gnesi, S., Mazzanti, F.: On the fly model checking of communicating UML state machines. In: ACIS International Conference on Software Engineering Research, Management and Applications, pp. 331–338 (2004)
Grunske, L., Geiger, L., Lawley, M.: A graphical specification of model transformations with triple graph grammars. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 284–298. Springer, Heidelberg (2005)
Hausmann, J.H.: Dynamic Meta Modelling: a semantics description technique for visual modelling languages. PhD Thesis, Faculty of Computer Science, Electrical Engineering, and Mathematics, University of Paderborn, Germany (2005)
Hong, Y.: WSDL and BPEL to SRML-P Language Transformation. MSc Dissertation, University of Leicester (2006)
Object Management Group, MOF QVT Final Adopted Specification (2007), available from: http://www.omg.org/docs/ptc/05-11-01.pdf
Ouyang, C., Verbeek, E., van del Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL (revised version). BPM Center Report BPM-05-15, BPMcenter.org (2005)
SCA Consortium Building Systems using a Service Oriented Architecture. Whitepaper version 0.9 (2005), available from: http://www.oracle.com/technology/tech/webservices/standards/sca/pdf/SCA_White_Paper1_09.pdf
SCA Consortium SCA Client and Implementation Model Specification for WS-BPEL. Version 1.00 (2007), available from: http://www.osoa.org/download/attachments/35/SCA_ClientAndImplementationModelforBPEL_V100.pdf?version=1
Wirsing, M., Bocchi, L., Clark, A., Fiadeiro, J., Gilmore, S., Hölzl, M., Koch, N., Pugliese, R.: SENSORIA: Engineering for Service-Oriented Overlay Computers (submitted, 2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bocchi, L., Hong, Y., Lopes, A., Fiadeiro, J.L. (2008). From BPEL to SRML: A Formal Transformational Approach. In: Dumas, M., Heckel, R. (eds) Web Services and Formal Methods. WS-FM 2007. Lecture Notes in Computer Science, vol 4937. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79230-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-79230-7_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79229-1
Online ISBN: 978-3-540-79230-7
eBook Packages: Computer ScienceComputer Science (R0)