文档介绍：Conceptual Modeling of Information Systems
Antoni Olivé
Conceptual Modeling
of Information Systems
With 185 Figures
123
Author
Antoni Olivé
Universitat ica de Catalunya
Department of Software (LSI)
Jordi Girona 1-3,
E-08034 Barcelona
Catalonia, Spain
******@
Library of Congress Control Number: 2007932289
puting Classification (1998): , , , ,
ISBN 978-3-540-39389-4 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, broad-
casting, 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. Violations are liable for prosecution under the German Copyright Law.
Springer is a part of Springer Science+Business Media
© Springer-Verlag Berlin Heidelberg 2007
The use of general descriptive names, registered names, trademarks, etc. in this publication does not
imply, even in the absence of a specific statement, that such names are exempt from the relevant pro-
tective laws and regulations and therefore free for general use.
Typeset by the author
Production: LE-TEX Jelonek, Schmidt & Vöckler GbR, Leipzig
Cover design: KünkelLopka Werbeagentur, Heidelberg
Printed on acid-free paper 45/3180/YL - 5 4 3 2 1 0
Foreword
It is now more than fifty years since the first paper on formal specifications
of an information system was published by Young and Kent. Even if the
term “conceptual model” was not used at that time, the basic intention of
the abstract specification was to a large extent the same as for developing
conceptual models today: to arrive at a precise, abstract, and hardware in-