ENGLISH

Formal Modelling in Electronic Commerce

By Steven O. Kimbrough , D.J. Wu (auth.) , Professor Steven O. Kimbrough , Professor D.J. Wu (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2005
ISBN
978-3-540-21431-1, 978-3-540-26989-2
DOI
10.1007/b138422
Language
english
Format
PDF
Filesize
3 MB (3351308 bytes)
Series
International Handbooks on Information Systems
Edition
1
Pages
562\556
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Business Information Systems; Information Systems

Description

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.

Similar books