A Structural Synthesis System for Argument Protocol from High-Level Descriptions

ثبت نشده
چکیده

As web service choreography matures, there is greater demand for multi-agent protocols to support argument and argumentation. There is not, however a single canonical argumentation protocol. Instead we find many different styles of argumentation depending on the contest for service interaction. This offers a need for rapid protocol syntheses. In this paper we propose a high level control flow specification language for designers to build interaction protocols by reusing Lightweight Coordination Calculus (LCC)-argumentation patterns thus accelerating the construction process and reducing manual effort. Our tool receives as input a Dialogue Interaction Diagram (DID) and returns the LCC protocol generated by LCC-Argument patterns. We illustrate our proposal with a persuasion dialogue use-case.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An efficient CAD tool for High-Level Synthesis of VLSI digital transformers

Digital transformers are considered as one of the digital circuits being widely used in signal and data processing systems, audio and video processing, medical signal processing as well as telecommunication systems. Transforms such as Discrete Cosine Transform (DCT), Discrete Wavelet Transform (DWT) and Fast Fourier Transform (FFT) are among the ones being commonly used in this area. As an illu...

متن کامل

Analysis of different protocol descriptions styles in VHDL to High-Level Synthesis

A methodology based on VHDL to obtain protocol descriptions suitable to be synthesized using AMICAL, a VHDL based behavioral synthesis tool, is presented. In order to efficiently obtain synthesized architectures, a number of constraints must be imposed on the writing style of VHDL. An example based on the specification of a high speed protocol is discussed. 1-INTRODUCTION The emergence of new t...

متن کامل

The Argument of Possibility and necessity encountering the critiques of Russell, Hume, and Kant

  The argument of possibility and necessity- which is considered as some of the most important arguments in proving the existence of God - have taken a key place in humanschr('39') thoughts. In history, among thinkers related to the creation of the universe, no major philosopher or thinker can be found other than those who have faced this argument; thus this argument has met many criticisms an...

متن کامل

Source level optimisation of VHDL for behavioural synthesis

Optimisation in high level behavioural synthesis is usually performed by applying transforms to the datapath and control graphs. An alternative approach, however, is to apply transforms at a higher level in the process, specifically directly to the behavioural source description. This technique is analogous to the way in which the source code of a conventional sequential programming language ma...

متن کامل

Tannic acid: A Green Catalyst for the Eco-friendly Synthesis of 2,3-dihydroquinazolin-4(1H)-ones under Solvent Free Conditions

A new, facile, cost effective, and eco-friendly protocol is reported for the synthesis of 2,3-dihydroquinazoline-4-(1H)-ones exploring tannic acid as a novel, inexpensive, andbiodegradable catalyst. A variety of dihydroquinazolins were prepared from aromatic aldehydesand anthranilamide using catalytic amount of tannic acid under solvent free conditions.Operational simplicity, high yield, and hi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010