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

Abstract

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
Volume7
Issue number2
Publication statusPublished - 2003

Fingerprint

Fault tolerance
Servers
Recovery
Formal specification

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.

Keywords

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

Cite this

Transaction oriented engineering design and formal specification: a multi-agent approach. / Younas, M.; Chao, Kuo-Ming; Anane, Rachid; James, Anne E.; Tsai, C.F.

In: Journal of Integrated Design and Process Science, Vol. 7, No. 2, 2003, p. 57-70.

Research output: Contribution to journalArticle

@article{a6da5121dc294ef68955f5d3a13775c5,
title = "Transaction oriented engineering design and formal specification: a multi-agent approach",
abstract = "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.",
keywords = "transactions, multi-agents, design activities, formal specification, CCS",
author = "M. Younas and Kuo-Ming Chao and Rachid Anane and James, {Anne E.} and C.F. Tsai",
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.",
year = "2003",
language = "English",
volume = "7",
pages = "57--70",
journal = "Journal of Integrated Design and Process Science",
issn = "1092-0617",
publisher = "IOS Press",
number = "2",

}

TY - JOUR

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

AU - Younas, M.

AU - Chao, Kuo-Ming

AU - Anane, Rachid

AU - James, Anne E.

AU - Tsai, C.F.

N1 - 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.

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

KW - transactions

KW - multi-agents

KW - design activities

KW - formal specification

KW - CCS

M3 - Article

VL - 7

SP - 57

EP - 70

JO - Journal of Integrated Design and Process Science

JF - Journal of Integrated Design and Process Science

SN - 1092-0617

IS - 2

ER -