Formal Modelling in Electronic Commerce

  • Steven O. Kimbrough
  • D.J. Wu

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Steven O. Kimbrough, D.J. Wu
    Pages 1-29
  3. Representation: Objects, Processes & Policies

  4. Applications

    1. Max Boisot, Ian MacMillan, Kyeong Seok Han, Casey Tan, Si Hyung Eun
      Pages 247-294
  5. Communication

    1. Steven O. Kimbrough, Yinghui (Catherine) Yang
      Pages 297-324
    2. Andrew J.I. Jones, Steven Orla Kimbrough
      Pages 325-342
  6. Agents and Strategic Interactions

  7. Back Matter
    Pages 529-562

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.


Business Objects Memo Workflow automation communication design electronic commerce electronic data interchange knowledge management learning modeling organization programming search engine marketing (SEM) simulation

Editors and affiliations

  • Steven O. Kimbrough
    • 1
  • D.J. Wu
    • 2
  1. 1.Operations & Information ManagementUniversity of PennsylvaniaPhiladelphiaUSA
  2. 2.College of ManagementGeorgia Institute of TechnologyAtlantaUSA

Bibliographic information

Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences