Sebanyak 1 item atau buku ditemukan

Formal Modelling in Electronic Commerce

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.

In electronic commerce however, when the execution of the documentary
procedure is governed by automated systems, documentary procedures should
be stipulated in a common formal, computable, and executable language. Such a
language would allow the specification of downloadable procedures and would
ease the negotiation process since all parties can express their requirements
unambiguously in the same language. But this is just the first step towards
electronic market ...