A model for Message Semantics using Social Commitments Christopher Newport University Department of Physics, Computer Science & Engineering Newport News,

Slides:

Advertisements

Similar presentations

RXQ Process Flow for Typical Customer Billing and Payment Receives bill Sends receipt acknowledgement Details forwarded by financial institution?

Advertisements

RXQ Process Flow for Typical Customer Billing and Payment Receives bill Sends account specific payment details to Billing Party Sends authorization.

Atomic Transactions CS523 - Spring Brian Schmidt.

Research Issues in Web Services CS 4244 Lecture Zaki Malik Department of Computer Science Virginia Tech

Computer Science Dr. Peng NingCSC 774 Advanced Network Security1 Topic 3.1: NetBill.

Chapter 1. Type in URL to browse a web page A search engine is a software program you can use to find web sites, web pages and files stored on the internet.

Christopher Newport University 2005/07/27Commitment-based Conversations 1 Using a Performative Subsumption Lattice to Support Commitment-based Conversations.

FIPA Interaction Protocol. Request Interaction Protocol Summary –Request Interaction Protocol allows one agent to request another to perform some action.

CNU Education Foundation Deposit & Disbursement Training K Spencer McDonald, CPA, Controller CNUEF LaMonte A Williams, Assistant Controller CNUEF K Spencer.

Chapter 18: Communication Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005.

Overview UML Extensions for Agents UML UML Agent UML (AUML) Agent UML (AUML) Agent Interaction Protocols Agent Interaction Protocols Richer Role Specification.

Writing for the Internet, conversations Skills: conversational writing technique IT concepts: the formal nature of conversational writing This work is.

Christopher Newport University 2005/07/27Commitment-based Conversations 1 Using a Performative Subsumption Lattice to Support Commitment-based Conversations.

Electronic Transaction Security (E-Commerce)

Electronic Check Payment Protocols and Systems

User Interface. The Protocol Interface The service we have tested is a clock: the control point sends a request to the device (demo device in this case)

Computer Science 25/06/20151 Agent Communications: Static Protocols CPSC /CPSC Rob Kremer Department of Computer Science University of Calgary.

Writing for the Internet, conversations Skills: conversational writing technique IT concepts: the formal nature of conversational writing This work is.

COE 342: Data & Computer Communications (T042) Dr. Marwan Abu-Amara Chapter 2: Protocols and Architecture.

Electronic Payment Systems In any commercial transaction payment is an integral part for goods supplied. Four types of payments may be made in e-commerce.

Secure Electronic Transactions (SET). SET SET is an encryption and security specification designed to protect credit card transactions on the Internet.

BZUPAGES.COM Electronic Payment Systems Most of the electronic payment systems on internet use cryptography in one way or the other to ensure confidentiality.

Computer Science 30/08/20151 Agent Communication BDI Communication CPSC /CPSC Rob Kremer Department of Computer Science University of Calgary.

Chris Olston, cs294-7, Spring Atomicity in Electronic Commerce J. D. Tygar -- UCB presented by Chris Olston.

Managing Social Influences through Argumentation-Based Negotiation Present by Yi Luo.

1 Chapter 9 E- Security. Main security risks 2 (a) Transaction or credit card details stolen in transit. (b) Customer’s credit card details stolen from.

UML’s StateChart FSM, EFSM in UML Concurrent states Tool support.

A Goal-Based Organizational Perspective on Multi-Agent Architectures Manuel Kolp † Paolo Giorgini ‡ John Mylopoulos † † Department of Computer Science.

E-Science Meeting March Trusted Coordination in Dynamic Virtual Organisations Santosh Shrivastava School of Computing Science Newcastle University,

Department of Electronic Engineering City University of Hong Kong EE3900 Computer Networks Introduction Slide 1 A Communications Model Source: generates.

Delegation of Intent via Conversation David E. Ellis.

Introduction  Client/Server technology is seen by many as the solution to the difficulty of linking together the various departments of corporation.

1 The CeNTIE project is supported by the Australian Government through the Advanced Networks Program of the Department of Communications, Information Technology.

Chapter 18: Communication Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005.

The CeNTIE project is supported by the Australian Government through the Advanced Networks Program of the Department of Communications, Information Technology.

A Comparative Study of Signaling Protocols for Data Management and Synchronization # Department of Computer Engineering, Kocaeli University.

The Co-design of Business and IT Systems Kecheng Liu Staffordshire University, UK January 2001.

AOSE Multi-Agent Interaction. Agents and Interaction Interaction forms the basis of an agents collaborative problem solving capabilities. –Agents are.

3.2 Software Fundamentals. A protocol is a formal description of digital message formats and the rules for exchanging those messages in or between computing.

A Quantitative Trust Model for Negotiating Agents A Quantitative Trust Model for Negotiating Agents Jamal Bentahar, John Jules Ch. Meyer Concordia University.

Architectural Design of a Multi- Agent System for handling Metadata streams Don Cruickshank, Luc Moreau, David De Roure Department of Electronics and Computer.

UML’s StateChart FSM, EFSM in UML Concurrent states Tool support.

1 G52IWS: Web Services Chris Greenhalgh. 2 Contents The World Wide Web Web Services example scenario Motivations Basic Operational Model Supporting standards.

Dr. Rebhi S. Baraka Advanced Topics in Information Technology (SICT 4310) Department of Computer Science Faculty of Information Technology.

Secure Systems Research Group - FAU 1 WS-Reliability Pattern Ingrid Buckley Dept. of Computer Science and Engineering Florida Atlantic University Boca.

Web Services Security Patterns Alex Mackman CM Group Ltd

© Drexel University Software Engineering Research Group (SERG) 1 The OASIS SOA Reference Model Brian Mitchell.

ISDS 4120 Project 1 DWAYNE CARRAL JR 3/27/15. There are seven layers which make up the OSI (Open Systems Interconnection Model) which is the model for.

Intelligent Agents: Technology and Applications Agent Communications IST 597B Spring 2003 John Yen.

Computer Science 24/02/20161 Agent Communication FIPA Performatives CPSC /CPSC Rob Kremer Department of Computer Science University of Calgary.

The overview How the open market works. Players and Bodies  The main players are –The component supplier  Document  Binary –The authorized supplier.

1 AaS 7.1: Understanding SLAs, SLEs, and Provider Managed Metrics Matthew E. Porter Contegix.

1 E-cash Model Ecash Bank Client Wallet Merchant Software stores coins makes payments accepts payments Goods, Receipt Pay coins sells items accepts payments.

Delegation of Intent via Conversation David E. Ellis.

SOURCE:2014 IEEE 17TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING AUTHER: MINGLIU LIU, DESHI LI, HAILI MAO SPEAKER: JIAN-MING HONG.

Service-Oriented Computing: Semantics, Processes, Agents

Distributed Systems.

Dynamic Modeling of Banking System Case Study - I

eMENTHE – Developing Master’s level eLearnig Material in mental health

UML’s StateChart FSM, EFSM in UML Concurrent states Tool support.

OTHERS ISSUES RELATED TO ELECTRONIC BANKING

Social Commitment Theory

Figure 28.1 POS Conversion Customer’s Bank Merchant’s Bank Customer

Service-Oriented Computing: Semantics, Processes, Agents

Secure Electronic Transactions (SET)

Presentation transcript:

a model for Message Semantics using Social Commitments Christopher Newport University Department of Physics, Computer Science & Engineering Newport News, Virginia, USA Christopher Newport University Department of Physics, Computer Science & Engineering Newport News, Virginia, USA Laval University DAMAS group Quebec City, Quebec, Canada Laval University DAMAS group Quebec City, Quebec, Canada Roberto A. Flores Philippe Pasquier Brahim Chaib-draa 2. Approach 1. Objective 3. Example batch payment Customer Merchant Intermediation Server Intermediation Server NetBill’s Bank NetBill’s Bank Consumer’s Bank Consumer’s Bank Merchant’s Bank Merchant’s Bank account funding 1. Request quote2. Present quote3. Accept quote4. Deliver goods 5. Send EPO6. Send EPO7. Send receipt & key8. Send receipt & key 1. Request quote2. Present quote3. Accept quote4. Deliver goods 5. Send EPO6. Send EPO7. Send receipt & key8. Send receipt & key (4b)accept( -γ ) accept( +δ) (5a)propose( -δ ) inform( key + receipt ) (3a)propose( -β ) inform( encrypted goods ) propose( +γ: SC( c, m, communicate( c, m, EPO ))) (1a)propose( +α: SC( m, c, communicate( m, c, quote))) inform( description ) (1b)accept( +α ) (2a)propose( -α ) inform( quote ) propose( +β: SC( m, c, communicate( m, c, encrypted goods ))) (2b)accept( -α ) accept( +β ) (3b)accept( -β ) accept( +γ ) (4a)propose( -γ ) inform( EPO ) propose( +δ: SC( m, c, communicate( m, c, key + receipt ))) (5b)accept( -δ ) reply: propose( +α ) α reply: propose( -α ) reply: propose( +β ) α reply: propose( -α ) reply: propose( +β ) β β α α β β β reply: propose( -β ) reply: propose( +γ ) β reply: propose( -β ) reply: propose( +γ ) β β γ reply: propose( -γ ) reply: propose( +δ ) γ reply: propose( -γ ) reply: propose( +δ ) γ γ δ δ δ reply: propose( -δ ) δ reply: propose( -δ ) c :Customerm :Merchant compositional level conversational level commitment state level joint activity level RequestingAdoptionToQuote RequestingAdoption ProposingAdoption InactiveCommitment Requesting Proposing SoundProposal SharedProposals SharedCommitments SharedUtterances ToRequest ToPropose Customer RequestQuote InformDescriptionToken RequestQuoteToken NetBill Protocol (Sirbu, 1997)NetBill: Customer & Merchant Interaction NetBill RequestQuote meaning lattice Fourth International Joint Conference on Agents and Multi-Agent Systems AAMAS 2005 Utrecht, The Netherlands July 25-29, 2005 NetBill Messages commitment messageshared commitment store NetBill Interaction Legend joint actions joint activities joint actions joint activities compositional conversational commitment state joint activity social commitments conversations messages 4 Message-meaning layers LAYERS Conversational agreement PFP Protocol for Proposals Commitment states Accepted Rejected Active Violated Fulfilled Inactive Cancelled Adoption2. Violation3. Fulfillment4. Discharge Transitions To support meaning & sequencing of messages in conversations by using Social Commitments 4-Layered Model message meaning: defined based on their use as coordinating devices advancing conversations and the state of commitments that bring about the actions advancing joint activities. 4-Layered Model message meaning: defined based on their use as coordinating devices advancing conversations and the state of commitments that bring about the actions advancing joint activities. Language Use defines two types of meaning: speaker's meaning: messages communicate intent signal meaning: messages coordinate & advance joint activities Protocol for Proposals Pattern α Pattern β a:Agentb:Agent propose Pattern α (a,b) Pattern β (a,b) deadline a:Agentb:Agent accept Pattern β (b,a) a:Agentb:Agent Pattern α (a,b) Pattern β (a,b) deadline reject counter Agent deadline propose Agent deadline counter, reject Agent accept