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