Using Interaction Protocols in Distributed Construction Processes
نویسندگان
چکیده
We present an interaction protocol based approach for facilitating distributed construction processes. In our approach, software agents represent various participants of a construction project. Examples of such are contractor, subcontractor, and supplier. These agents are supposed to communicate according to predefined interaction protocols. Should an agent be unaware of some protocol needed in the process, it benefits from adopting it. We approach this problem with interaction protocol descriptions serialized in a commonly agreed upon format and design our agents so that they can adapt to the descriptions. We present a scenario in the field of construction industry, where the project participants do not know in advance how to communicate with each other. However, by adapting to the interaction protocol descriptions provided by the respective parties they are eventually able to interact.
منابع مشابه
Consensus Service: A Modular Approach for Building Agreement Protocols in Distributed Systems
This paper describes a consensus service and suggests its use for the construction of fault-tolerant agreement protocols. We show how to build agreement protocols, using a classical client-server interaction, where (1) the clients are the processes that must solve the agreement problem, and (2) the servers implement the consensus service. Using a generic notion, called consensus lter, we illust...
متن کاملThe Generic Consensus Service
ÐThis paper describes a modular approach for the construction of fault-tolerant agreement protocols. The approach is based on a generic consensus service. Fault-tolerant agreement protocols are built using a client-server interaction, where the clients are the processes that must solve the agreement problem and the servers implement the consensus service. This service is accessed through a gene...
متن کاملCompiler Construction Using LOTOS NT
Much academic and industrial effort has been invested in compiler construction. Numerous tools and environments have been developed to improve compiler quality while reducing implementation and maintenance costs. In the domain of computer-aided verification, most tools involve compilation and/or translation steps. This is the case with the tools developed by the Vasy team of Inria Rhône-Alpes, ...
متن کاملA Specification and Validation Approach for Business Process Integration based on Web Services and Agents
. In this paper, we present a new approach for business processes integration. Our approach is based on interaction protocols that enable autonomous, distributed business process modules to integrate and collaborate. In our case, the business processes integration is modelled using AUML and specified using BPEL4WS. Furthermore and to increase the reliability of interaction protocols at design t...
متن کاملInvestigating Correct-by-Construction Attack-Tolerant Systems
Attack-tolerant distributed systems change their protocols on-the-fly in response to apparent attacks from the environment; they substitute functionally equivalent versions possibly more resistant to detected threats. Alternative protocols can be packaged together as a single adaptive protocol or variants from a formal protocol library can be sent to threatened groups of processes. We are exper...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004