id: 05976545
dt: a
an: 05976545
au: Ratkowski, Andrzej; Zalewski, Andrzej
ti: Transformational design of business processes for SOA.
so: Huzar, Zbigniew (ed.) et al., Software engineering techniques. Third IFIP
    TC 2 Central and East European conference, CEE-SET 2008, Brno, Czech
    Republic, October 13‒15, 2008. Revised selected papers. Berlin:
    Springer (ISBN 978-3-642-22385-3/pbk). Lecture Notes in Computer
    Science 4980, 76-90 (2011).
py: 2011
pu: Berlin: Springer
la: EN
cc: 
ut: SOA; BPEL; business process design
ci: 
li: doi:10.1007/978-3-642-22386-0_6
ab: Summary: 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.
rv: