Skip to main content
SpringerLink
Log in
Book cover

Formal Modelling in Electronic Commerce

  • Book
  • © 2005

Overview

Editors:
  1. Steven O. Kimbrough

    1. Operations & Information Management, University of Pennsylvania, Philadelphia, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. D.J. Wu

    1. College of Management, Georgia Institute of Technology, Atlanta, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Presents all aspects of formal modelling for electronic commerce
  • Includes supplementary material: sn.pub/extras

Part of the book series: International Handbooks on Information Systems (INFOSYS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 chapters)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. FMEC: Overview and Interpretation

    • Steven O. Kimbrough, D.J. Wu
    Pages 1-29

  3. Representation: Objects, Processes & Policies

    1. Practical Contract Storage, Checking, and Enforcement for Business Process Automation

      • Alan Abrahams, David Eyers, Jean Bacon
      Pages 33-77

    2. Legitimacy Checking in Communicative Workflow Design

      • Aldo de Moor, Hans Weigand
      Pages 79-99

    3. CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part I: Syntax & Formal Semantics of CANDID

      • Ronald M. Lee
      Pages 101-143

    4. CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part II: Formal Description of Economics Actors and Objects

      • Ronald M. Lee
      Pages 145-158

    5. CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part III: CANDID Specification of Financial Concepts

      • Ronald M. Lee
      Pages 159-176

    6. Performatives, Performatives Everywhere but Not a Drop of Ink

      • Ronald M. Lee
      Pages 177-200

    7. EDI, XML, and the Transparency Problem in Electronic Commerce

      • Steven O. Kimbrough
      Pages 201-227

  4. Applications

    1. Designing Control Mechanisms for Value Exchanges in Network Organisations

      • Vera Kartseva, Yao-Hua Tan
      Pages 231-246

    2. Sim-I-Space: An Agent-Based Modelling Approach to Knowledge Management Processes

      • Max Boisot, Ian MacMillan, Kyeong Seok Han, Casey Tan, Si Hyung Eun
      Pages 247-294

  5. Communication

    1. On Representing Special Languages with FLBC: Message Markers and Reference Fixing in SeaSpeak

      • Steven O. Kimbrough, Yinghui (Catherine) Yang
      Pages 297-324

    2. A Note on Modelling Speech Acts as Signalling Conventions

      • Andrew J.I. Jones, Steven Orla Kimbrough
      Pages 325-342

    3. Dynamic Conversation Structures: An Extended Example

      • Scott A. Moore
      Pages 343-360

  6. Agents and Strategic Interactions

    1. Investigating the Value of Information and Computational Capabilities by Applying Genetic Programming to Supply Chain Management

      • Scott A. Moore, Kurt Demaagd
      Pages 363-391

    2. Multi-Agent Simulation of Financial Markets

      • Olga Streltchenko, Yelena Yesha, Timothy Finin
      Pages 393-419

    3. Adaptive Agents in Coalition Formation Games

      • Alex K. Chavez
      Pages 421-443

    4. On Learning Negotiation Strategies by Artificial Adaptive Agents in Environments of Incomplete Information

      • Jim R. Oliver
      Pages 445-461

    5. A Note on Strategic Learning in Policy Space

      • Steven O. Kimbrough, Ming Lu, Ann Kuo
      Pages 463-475

    6. Learning and Tacit Collusion by Artificial Agents in Cournot Duopoly Games

      • Steven O. Kimbrough, Ming Lu, Frederic Murphy
      Pages 477-492
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Operations & Information Management, University of Pennsylvania, Philadelphia, USA

    Steven O. Kimbrough

  • College of Management, Georgia Institute of Technology, Atlanta, USA

    D.J. Wu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation