Transaction oriented engineering design and formal specification: a multi-agent approach

M. Younas, Kuo-Ming Chao, Rachid Anane, Anne E. James, C.F. Tsai

    Research output: Contribution to journalArticle


    Engineering design activities in distributed environments like the Web require fault tolerance and concurrent access to shared resources such as databases and Web servers. Such activities are generally dynamic, cooperative, long-lived, interactive and non-prescriptive. We propose a new multi-agent transaction model, which is based on extended transactions and multi-agent technologies. The novelty of this model is that it automatically customises transactions to the requirements of design activities. In addition, this model is believed to improve concurrency, fault tolerance, facilitate interaction between and co-operation among the participating systems involved in design activities. The proposed model is formally specified using CCS (Calculus of Communicating Systems) language. Formalisation is crucial in ensuring the correctness, reliability, and recovery of multi-agents transactions, given the complex and unreliable nature of the distributed design activities.
    Original languageEnglish
    Pages (from-to)57-70
    JournalJournal of Integrated Design and Process Science
    Issue number2
    Publication statusPublished - 2003

    Bibliographical note

    The full text of this item is not available from the repository.
    This article was first published in the Journal of Integrated Design and Process Science by IOS press.


    • transactions
    • multi-agents
    • design activities
    • formal specification
    • CCS


    Dive into the research topics of 'Transaction oriented engineering design and formal specification: a multi-agent approach'. Together they form a unique fingerprint.

    Cite this