Overview
- Presents all aspects of formal modelling for electronic commerce
- Includes supplementary material: sn.pub/extras
Part of the book series: International Handbooks on Information Systems (INFOSYS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (21 chapters)
-
Representation: Objects, Processes & Policies
-
Agents and Strategic Interactions
Keywords
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Formal Modelling in Electronic Commerce
Editors: Steven O. Kimbrough, D.J. Wu
Series Title: International Handbooks on Information Systems
DOI: https://doi.org/10.1007/b138422
Publisher: Springer Berlin, Heidelberg
eBook Packages: Business and Economics, Business and Management (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2005
Hardcover ISBN: 978-3-540-21431-1Published: 23 November 2004
Softcover ISBN: 978-3-642-43561-4Published: 23 November 2014
eBook ISBN: 978-3-540-26989-2Published: 17 January 2006
Series ISSN: 2627-8510
Series E-ISSN: 2627-8529
Edition Number: 1
Number of Pages: XII, 562
Topics: IT in Business, Information Systems Applications (incl. Internet)