Center Information Center for Technology for Information Technology Research Directions to Support Next-Generation Web Visions Professor Michael N. Huhns Center for Information Technology University of South Carolina Center Information Center for Technology for Information Technology Trends Human Machine Passive Active Client-Server P2P Cooperative Syntax Semantics Mutual Understanding Data Services Process 7/1/2016 3:51:28 PM University of South Carolina 2 Center Information Center for Technology for The Keys Information Technology Systemic trust Semantic understanding Cooperative services with a declarative agent-based infrastructure 7/1/2016 3:51:28 PM University of South Carolina 3 Center Information Center for Technology for Information Technology Systemic Trust Fundamentally • The information you retrieve must be accurate, or characterized accurately • The information you contribute must be used appropriately Requires • Sources have reliability and reputation, and specify constraints on usage • Dependencies are preserved and maintained Result: information items have credibility and domains of utility 7/1/2016 3:51:28 PM University of South Carolina 4 Center Information Center for Technology for Information Technology Basis for Trust Understanding, including • Accuracy • Context Philosophy, ethics, and norms • Explicit ethics • Societal conventions 7/1/2016 3:51:28 PM University of South Carolina 5 Center for Information Technology Information Consensus Ontologies for Semantic Understanding Center for Technology If you want people and agents to find information about the product or service that you provide, should you put the information where it belongs, or where people and agents are most likely to look? • If most people think a whale is a kind of fish, then should you put information about whales in the fish or in the mammal category? 7/1/2016 3:51:28 PM University of South Carolina 6 Center Information Center for Technology for Information Technology Project Overview Assumptions: • No global ontology • Individual sources have individual ontologies • Ontologies are heterogeneous and inconsistent Hypothesis: • Large numbers of individual ontologies can be related by exploiting redundancy 7/1/2016 3:51:28 PM University of South Carolina 7 Center Information Center for Technology for Information Technology Relating Ontologies Truck APC Wheel Tire Possibly equivalent Truck APC partOf Wheel 7/1/2016 3:51:28 PM APC equivalence equivalence Wheel University of South Carolina Tire 8 Center Initial Experiment: 55 Individual Ontologies Center for Information Technology 7/1/2016 3:51:28 PM University of South Carolina Information for Technology 9 Center for Information Technology 7/1/2016 3:51:28 PM 55 Merged Ontologies University of South Carolina Information Center for Technology 10 Center Information Center for Technology for Information Technology 7/1/2016 3:51:28 PM Consensus Ontology University of South Carolina 11 Center Information Center for Technology for Information Technology Cooperative Services Asynchrony Choice Negotiation Composition Declarative, not procedural 7/1/2016 3:51:28 PM University of South Carolina 12 Center Information for Information Technology Agent-Based Coordination Methodology Center for Technology BOD Semantics Doole y Graph Participants Develop B2B Interaction Diagrams Identify B2B Conversations Create Agent-Based B2B Transaction State Machine Generic B2B Use-Case and Class Models 7/1/2016 3:51:28 PM University of South Carolina Agent Skeleto n Augment B2B Transaction State Machine Robust Agent Skeleto n Participants Enact B2B Interaction Agents ExceptionAugmented Transaction Templates 13 Center for Information Technology 7/1/2016 3:51:28 PM Information Interaction Diagram for Ford Interoperability Scenario University of South Carolina Center for Technology 14 Center for Information Technology Information Transaction Skeletons for Agent Enactment Supplier 7/1/2016 3:51:28 PM Center for Technology Warehouse University of South Carolina 15 Center Information Center for Information Technology for Augmented Transaction Skeletons for Agent-Based Exception Handling Ignore Exceptions Technology Consider Exceptions Order Complete Order Complete Receive( payment ) ^send("Thank you") Receive( payment ) ^send("Thank you") exceeded( Deadline ) ^send(ReminderInvoice) Waiting for Payment Waiting for Payment ^send(ProcessInvoice) Set Deadline Alarm Start ^send(ProcessInvoice) Start 7/1/2016 3:51:28 PM University of South Carolina 16