Formal Modelling in Electronic Commerce

Author:   Steven O. Kimbrough ,  Dongjun Wu
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   2005 ed.
ISBN:  

9783642435614


Pages:   562
Publication Date:   23 November 2014
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $580.77 Quantity:  
Add to Cart

Share |

Formal Modelling in Electronic Commerce


Add your own review!

Overview

Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such as bills of lading and contracts; processes such as workflows and trade procedures; and policies covering such problems as contract or procedure validation and strategic behaviour. This book is about theory, formalization, and proof-of-concept implementation of these and related matters. In addition to presenting state-of-the-art results, the book places this work in the context of nearly twenty years of developments in formal modelling for electronic commerce. A comprehensive bibliography and index are provided.

Full Product Details

Author:   Steven O. Kimbrough ,  Dongjun Wu
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2005 ed.
Dimensions:   Width: 15.50cm , Height: 3.00cm , Length: 23.50cm
Weight:   0.872kg
ISBN:  

9783642435614


ISBN 10:   3642435610
Pages:   562
Publication Date:   23 November 2014
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

FMEC: Overview and Interpretation.- Policies.- Practical Contract Storage, Checking, and Enforcement for Business Process Automation.- Legitimacy Checking in Communicative Workflow Design.- CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part I: Syntax & Formal Semantics of CANDID.- CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part II: Formal Description of Economics Actors and Objects.- CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part III: CANDID Specification of Financial Concepts.- Performatives, Performatives Everywhere but Not a Drop of Ink.- EDI, XML, and the Transparency Problem in Electronic Commerce.- Applications.- Designing Control Mechanisms for Value Exchanges in Network Organisations.- Sim-I-Space: An Agent-Based Modelling Approach to Knowledge Management Processes.- Communication.- On Representing Special Languages with FLBC: Message Markers and Reference Fixing in SeaSpeak.- A Note on Modelling Speech Acts as Signalling Conventions.- Dynamic Conversation Structures: An Extended Example.- Agents and Strategic Interactions.- Investigating the Value of Information and Computational Capabilities by Applying Genetic Programming to Supply Chain Management.- Multi-Agent Simulation of Financial Markets.- Adaptive Agents in Coalition Formation Games.- On Learning Negotiation Strategies by Artificial Adaptive Agents in Environments of Incomplete Information.- A Note on Strategic Learning in Policy Space.- Learning and Tacit Collusion by Artificial Agents in Cournot Duopoly Games.- A Note on Working Memory in Agent Learning.- Investigations of Granularityand Payoffs in 2×2 Games under Replicator Dynamics.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List