Advanced Search
MyIDEAS: Login

A model and language for business-aware transactions


Author Info

  • Kratz, B.

    (Tilburg University)

Registered author(s):


    Abstract: 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 Info

    If 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.
    File URL:
    Our checks indicate that this address may not be valid because: 404 Not Found. If this is indeed the case, please notify (Economists Online Support)
    Download Restriction: no

    Bibliographic Info

    Paper provided by Tilburg University in its series Open Access publications from Tilburg University with number urn:nbn:nl:ui:12-5660971.

    as in new window
    Length: 318
    Date of creation: 2012
    Date of revision:
    Publication status: Published
    Handle: RePEc:ner:tilbur:urn:nbn:nl:ui:12-5660971

    Note: Dissertation
    Contact details of provider:
    Web page:

    Related research


    This paper has been announced in the following NEP Reports:


    No references listed on IDEAS
    You can help add them by filling out this form.



    This item is not listed on Wikipedia, on a reading list or among the top items on IDEAS.


    Access and download statistics


    When requesting a correction, please mention this item's handle: RePEc:ner:tilbur:urn:nbn:nl:ui:12-5660971. See general information about how to correct material in RePEc.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: (Economists Online Support).

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If references are entirely missing, you can add them using this form.

    If the full references list an item that is present in RePEc, but the system did not link to it, you can help with this form.

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your profile, as there may be some citations waiting for confirmation.

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.