Practical Foundations of Business System Specifications

  • Haim Kilov
  • Kenneth Baclawski

Table of contents

  1. Front Matter
    Pages i-x
  2. Luís Filipe Andrade, José Luiz Fiadeiro
    Pages 1-23
  3. Kenneth Baclawski, Mieczyslaw K. Kokar, Christopher J. Matheus, Jerzy Letkowski, Marek Malczewski
    Pages 25-39
  4. Pavel Balabko, Alain Wegmann
    Pages 41-66
  5. Mike Barnett, Wolfram Schulte, Nikolai Tillmann
    Pages 83-98
  6. Dines Bjørner
    Pages 111-144
  7. Zinovy Diskin
    Pages 145-178
  8. Robert B. France, Dae-Kyoo Kim, Eunjee Song, Sudipto Ghosh
    Pages 179-195
  9. Michael Guttman, Haim Kilov
    Pages 197-214
  10. Alan R. Hevner, Richard C. Linger, Mark G. Pleszkoch, Gwendolyn H. Walton
    Pages 215-229
  11. Thomas Kudrass
    Pages 231-243
  12. James Odell, H. Van Dyke Parunak, Bernhard Bauer
    Pages 245-270
  13. Jan Philipps, Bernhard Rumpe
    Pages 281-297
  14. Back Matter
    Pages 329-337

About this book


"In the mathematics I can report no deficience, except that it be that men do not sufficiently understand the excellent use of the pure mathematics, in that they do remedy and cure many defects in the wit and faculties intellectual. For if the wit be too dull, they sharpen it; if too wandering, they fix it; if too inherent in the sense, they abstract it. " Roger Bacon (1214?-1294?) "Mathematics-the art and science of effective reasoning. " E. W. Dijkstra, 1976 "A person who had studied at a good mathematical school can do anything. " Ye. Bunimovich, 2000 This is the third book published by Kluwer based on the very successful OOPSLA workshops on behavioral semantics (the first two books were published in 1996 [KH 1996] and 1999 [KRS 1999]). These workshops fostered precise and explicit specifications of business and system semantics, independently of any (possible) realization. Some progress has been made in these areas, both in academia and in industry. At the same time, in too many cases only lip service to elegant specifica­ tions of semantics has been provided, and as a result the systems we build or buy are all too often not what they are supposed to be. We used to live with that, and quite often users relied on human intermediaries to "sort the things out. " This approach worked perfectly well for a long time.


Unified Modeling Language (UML) complex system complex systems complexity computer science information system modeling object oriented design system

Editors and affiliations

  • Haim Kilov
    • 1
    • 2
  • Kenneth Baclawski
    • 3
  1. 1.MillingtonUSA
  2. 2.Stevens Institute of TechnologyHobokenUSA
  3. 3.College of Computer ScienceNortheastern UniversityBostonUSA

Bibliographic information

  • DOI
  • Copyright Information Springer Science+Business Media B.V. 2003
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-6367-0
  • Online ISBN 978-94-017-2740-2
  • Buy this book on publisher's site