Precise Modelling of Compensating Business Transactions and its Application to BPEL

Простая страница элемента
dc.creatorButler,Michael
dc.creatorFerreira,Carla
dc.creatorNg,Muan
dc.date2005
dc.date.accessioned2024-02-06T12:53:34Z
dc.date.available2024-02-06T12:53:34Z
dc.descriptionWe describe the StAC language which can be used to specify the orchestration of activities in long running business transactions. Long running business transactions use compensation to cope with exceptions. StAC supports sequential and parallel behaviour as well as exception and compensation handling. We also show how the B notation may be combined with StAC to specify the data aspects of transactions. The combination of StAC and B provides a rich formal notation which allows for succinct and precise specification of business transactions. BPEL is an industry standard language for specifying business transactions and includes compensation constructs. We show how a substantial subset of BPEL can be mapped to StAC thus demonstrating the expressiveness of StAC and providing a formal semantics for BPEL.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-011-05-0712
dc.identifierhttps://lib.jucs.org/article/28405/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/8759
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 11(5): 712-743
dc.subjectlong-running transactions
dc.subjectcompensation
dc.subjectlanguage semantics
dc.subjectformal specification
dc.subjectB method
dc.titlePrecise Modelling of Compensating Business Transactions and its Application to BPEL
dc.typeResearch Article
Файлы
Коллекции
Публикации в журналах НИЯУ МИФИ