Books+ Search Results
Formal Modelling in Electronic Commerce
Title
Formal Modelling in Electronic Commerce [electronic resource] / edited by Steven O. Kimbrough, D.J. Wu.
ISBN
9783540269892
Publication
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Physical Description
1 online resource (XII, 562 p).
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
Summary
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.
Variant and related titles
Springer ENIN.
Other formats
Printed edition:
Printed edition:
Printed edition:
Format
Books / Online
Language
English
Added to Catalog
June 12, 2019
Series
International Handbooks on Information Systems
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 Granularity and Payoffs in 2×2 Games under Replicator Dynamics.
Subjects
Also listed under
Bookmark As
Citation
