Skip to main content
Article thumbnail
Location of Repository

From BPEL to SRML: A formal transformational approach

By Laura Bocchi, Yi Hong, Antónia Lopes and José Luiz Fiadeiro


This is the author's final draft of the version published as Lecture Notes in Computer Science, 2008, 4937, pp. 92-107 and can also be accessed via

Publisher: Springer Verlag
Year: 2008
OAI identifier:

Suggested articles


  1. (2006). A formal approach to service-oriented architecture. In: doi
  2. (2005). A graphical specification of model transformations with triple graph grammars. doi
  3. (2007). Algebraic semantics of service component modules. In: doi
  4. (2005). Building Systems using a Service Oriented Architecture. Whitepaper version 0.9 (available from standards/sca/pdf/SCA_White_Paper1_09.pdf)
  5. (2005). Dynamic Meta Modelling: a semantics description technique for visual modelling languages.
  6. et al (2007) Web Services Business Process Execution Language Version 2.0. doi
  7. (2006). Graphical definition of in-place transformations in the Eclipse Modeling Framework. doi
  8. (2004). On the fly model checking of communicating UML state machines.
  9. (2007). Rule-level verification of business process transformation using CSP.
  10. (2007). SCA Client and Implementation Model Specification for WSBPEL. Version 1.00.
  11. (2007). SENSORIA: Engineering for Service-Oriented Overlay Computers.
  12. (2007). Specifying and composing interaction protocols for service-oriented system modelling. doi
  13. (2005). ter Hofstede doi
  14. (2006). WSDL and BPEL to SRML-P Language Transformation. MSc Dissertation,

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.