| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Transformational Design of Business Processes for SOA
Abstract : By describing business processes in BPEL (Business Process Execution Language) one can make them executable. Then a problem arises how to assure that some non-functional requirements concerning e.g. performance of these processes, are met. In the paper a transformational approach to design of business processes is presented. To check equivalence of business processes resulting from the transformations, a BPEL description is converted to Process Algebra (Lotos version) and model-checking techniques are applied. The paper contains also an example of applying the proposed approach in a real-life situation.
Cited literature [26 references]
https://hal.inria.fr/hal-01572550
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Monday, August 7, 2017 - 4:51:23 PM
Last modification on : Monday, August 7, 2017 - 4:53:37 PM
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Monday, August 7, 2017 - 4:51:23 PM
Last modification on : Monday, August 7, 2017 - 4:53:37 PM
File
978-3-642-22386-0_6_Chapter.pd...
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License