Formal Modelling In Electronic Commerce (international Handbooks On Information Systems)

Preparing link to download Please wait... Download

E-Book Overview

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.

E-Book Content

International Handbooks on Information Systems Series Editors Peter Bernus · Jacek Błaz˙ewicz · Günter Schmidt · Michael Shaw Titles in the Series P. Bernus, K. Mertins and G. Schmidt (Eds.) Handbook on Architectures of Information Systems ISBN 3-540-64453-9 M. Shaw, R. Blanning, T. Strader and A. Whinston (Eds.) Handbook on Electronic Commerce ISBN 3-540-65822-X J. Błaz˙ewicz, K. Ecker, B. Plateau and D. Trystram (Eds.) Handbook on Parallel and Distributed Processing ISBN 3-540-66441-6 H. H. Adelsberger, B. Collis and J. M. Pawlowski (Eds.) Handbook on Information Technologies for Education and Training ISBN 3-540-67803-4 C. W. Holsapple (Ed.) Handbook on Knowledge Management 1 Knowledge Matters ISBN 3-540-43527-1 Handbook on Knowledge Management 2 Knowledge Matters ISBN 3-540-43527-1 J. Błaz˙ewicz, W. Kubiak, T. Morzy and M. Rusinkiewicz (Eds.) Handbook on Data Management in Information Systems ISBN 3-540-43893-9 S. Staab and R. Studer (Eds.) Handbook on Ontologies ISBN 3-540-40834-7 S. O. Kimbrough and D. J. Wu (Eds.) Formal Modelling in Electronic Commerce ISBN 3-540-21431-3 Steven O. Kimbrough D. J. Wu Editors Formal Modelling in Electronic Commerce With 83 Figures and 60 Tables 123 Professor Steven O. Kimbrough University of Pennsylvania Operations & Information Management 565 Jon M. Huntsman Hall 3730 Walnut Street Philadelphia, PA 19104-6340, USA E-mail: [email protected] Professor D. J. Wu 800 West Peachtree Street, NW College of Management Georgia Institute of Technology Atlanta, GA 30332-0520, USA E-mail: [email protected] Cataloging-in-Publication Data applied for Library of Congress Control Number: 2004114081 A catalog record for this book is available from the Library of Congress. Bibliographic information published by Die Deutsche Bibliothek Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data available in the internet at http://dnb.ddb.de ISBN 3-540-21431-3 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9,1965,in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springeronline.com © Springer-Verlag Berlin Heidelberg 2005 Printed in Germany The use of general descriptive names, registered names, trademarks, etc. in this publication does not impl