Formal Modelling in Electronic Commerce

Front Cover
Steven O. Kimbrough, Dongjun Wu
Springer Science & Business Media, Jan 17, 2006 - Business & Economics - 562 pages
0 Reviews

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.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Summary of the Language CANDID
136
Formal Description of Economics Actors and Objects
145
Economic Actors
150
Economic Objects
153
Summary
157
CANDID Specification of Financial Concepts
159
Additional Definitions Notational Conventions
160
Elementary Financial Concepts
161

Practical Contract Storage Checking and Enforcement for Business Process Automation 33
31
Contributions
35
Application Scenario
36
Overview
37
Occurrences
40
Kimbroughs Disquotation Theory
45
An Implementation of Kimbroughs Disquotation Theory
47
Contract Provision Monitoring
59
Contract Performance and Enforcement
61
Software Implementation
65
RelatedWork
71
Conclusions
72
Acknowledgements
73
A CoverageCheckingRules
74
Legitimacy Checking in Communicative Workflow Design
79
The Extended Workflow Loop
81
ExtendedWorkflowLoopNorms
82
Workflow Loop Schemas
86
A Method for Legitimacy Checking
89
Conclusions
97
Syntax Formal Semantics of CANDID 101
100
The Language L1
103
ReInterpretation of Predicates
106
ManySorted TypeTheoretic Languages
107
λ Abstraction
108
Operations Definite Reference
110
Summary of the Language Lv
111
Character Strings Labels
114
Numbers and Measurement
115
Time Realization Change
117
Possible Worlds Intensions
122
Summary of the Language IL
125
Action
130
Modals Deontic Operators
131
Financial Instruments
167
Concluding Remarks
176
Performatives Performatives Everywhere but Not a Drop of Ink
177
Issues for Open Electronic Commerce
186
Original Signed Writings
188
Computational Modeling of Documentary Procedures
192
Protocols for Procedure Adoption
194
EDI XML and the Transparency Problem in Electronic
201
Designing Control Mechanisms for Value Exchanges
231
Conclusions
244
Acknowledgements
263
B Detailed Model Specification with Example
278
Background on SeaSpeak
302
Formalizing Distributed Descriptions into FLBC
312
Discussion and Conclusion
320
Two Prototypes
326
Towards Deployment
334
An Extended Example
343
Conclusion
359
The Evolutionary Process
366
Plan of Investigation
380
Summary
387
Automation of Modern Financial Markets
394
A MultiAgent Environment for Financial Market Simulation
404
5
414
Adaptive Agents in Coalition Formation Games
421
Conclusion
435
Structure of the Bargaining Space
451
Repeated Games
466
A Note on Working Memory in Agent Learning
493
Acknowledgements
506
References
531
Index 557
556
Copyright

Other editions - View all

Common terms and phrases