Formal modelling in electronic commerce / Stevem O. Kimbrough, D.J. Wu, editors.
"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 cover...
Saved in:
Other Authors: | , |
---|---|
Format: | Ebook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
2005.
|
Series: | International handbooks on information systems.
|
Subjects: | |
Online Access: | Springer eBooks |
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."--Publisher's website. |
---|---|
Physical Description: | 1 online resource (xii, 562 pages) : illustrations. |
Bibliography: | Includes bibliographical references and index. |
ISBN: | 3540214313 9783540214311 3642435610 9783642435614 1280411783 9781280411786 3540269894 9783540269892 |