Formal Modelling in Electronic Commerce

Dongjun Wu

ISBN 10: 3642435610 / ISBN 13: 9783642435614

Published by Springer Berlin Heidelberg, Springer Nov 2014, 2014

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 576 pp. Englisch.

Seller Inventory # 9783642435614

Bibliographic Details

• Title: Formal Modelling in Electronic Commerce
• Publisher: Springer Berlin Heidelberg, Springer Nov 2014
• Publication Date: 2014
• Language: English
• ISBN 10: 3642435610
• ISBN 13: 9783642435614
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 31D millimeters 235 millimeters width by 155 millimeters height by 31 millimeters depth
• Weight: 861 grams

About this title

Synopsis

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.