| 书目名称 | Formal Modelling in Electronic Commerce |
| 编辑 | Steven O. Kimbrough,D.J. Wu |
| 视频video | |
| 概述 | Presents all aspects of formal modelling for electronic commerce.Includes supplementary material: |
| 丛书名称 | International Handbooks on Information Systems |
| 图书封面 |  |
| 描述 | .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.. |
| 出版日期 | Book 2005 |
| 关键词 | Business Objects; Memo; Workflow; automation; communication; design; electronic commerce; electronic data i |
| 版次 | 1 |
| doi | https://doi.org/10.1007/b138422 |
| isbn_softcover | 978-3-642-43561-4 |
| isbn_ebook | 978-3-540-26989-2Series ISSN 2627-8510 Series E-ISSN 2627-8529 |
| issn_series | 2627-8510 |
| copyright | Springer-Verlag Berlin Heidelberg 2005 |
发表于 2025-3-21 16:35:58
