A model and language for business-aware transactions
AbstractAbstract: Business-to-Business (B2B) e-business is undeniably becoming increasingly important for organizations. Organizations successfully engaging in B2B e-business benefit from reduced lead times, lower inventory levels and improved customer loyalty. However, to be successful in B2B e-business, organizations face several challenges. One of the key challenges is to reliably execute business transactions occurring as part of B2B e-business interactions. A business transaction is a contractually agreed-upon commercial reciprocal exchange of assets between two or more parties that potentially has a long duration. Reliability, as in assuring that promises are kept in a predictable, correct, consistent and, if necessary, recoverable fashion and at an acceptable service quality level, is a crucial factor when conducting e-business. This factor is currently not sufficiently addressed by traditional reliability technology from the IT domain, as provided by databases, workflow systems or service oriented computing platforms. To facilitate the reliable execution of business transactions this dissertation presents a model and language for the business-aware transaction concept. A business-aware transaction is a contract-driven IT transaction in service-oriented computing environments that facilitates the failure resilient and consistent coordination of a possibly long-running, multi-party business transaction. It also incorporates business-level reliability expectations of business partners in a B2B e-business context. On the basis of the requirements for business-aware transactions, this dissertation defines the Business-aware Transaction Model (BTM). The BTM incorporates and combines (1) existing IT reliability and support mechanisms, like failure resilience, from system-level transactions in the IT domain and (2) business concepts, like contractual agreements and unconventional atomicity. The BTM is operationalised by means of a language, the Business-aware Transaction Language (BTL), from a structural and behavioral perspective. The syntax of the BTL to specify business-aware transactions is provided in XML Schema. The operational behavior is formally specifi ed using Timed Extended Finite State Machines for the control flow and Computation Tree Logic for the transactional semantics. Verification of the BTL behavioral semantics and its correctness together with the simulation of executions of business-aware transactions are performed by means of model checking techniques in UPPAAL using a case study from the automotive industry. This work also provides a mapping of the BTL to existing coordination protocols from the service-oriented computing domain.
Download InfoIf you experience problems downloading a file, check if you have the proper application to view it first. In case of further problems read the IDEAS help page. Note that these files are not on the IDEAS site. Please be patient as the files may be large.
Bibliographic InfoPaper provided by Tilburg University in its series Open Access publications from Tilburg University with number urn:nbn:nl:ui:12-5660971.
Date of creation: 2012
Date of revision:
Publication status: Published
Contact details of provider:
Web page: http://www.tilburguniversity.edu/
This paper has been announced in the following NEP Reports:
- NEP-ALL-2012-12-10 (All new papers)
You can help add them by filling out this form.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: (Economists Online Support).
If references are entirely missing, you can add them using this form.