Advertisement

Object-Oriented Behavioral Specifications

  • Haim Kilov
  • William Harvey

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Antony Bryant, Andy Evans
    Pages 17-30
  3. William Harvey, Karen Bilotta, Cynthia Grese
    Pages 31-40
  4. Haim Kilov, Helen Mogill, Ian Simmonds
    Pages 77-100
  5. Toshimi Minoura
    Pages 143-162
  6. Joseph Morabito, Anilkumar Bhate
    Pages 163-176
  7. James J. Odell
    Pages 193-196
  8. Carlos Paredes, José Luiz Fiadeiro, José Félix Costa
    Pages 221-240
  9. Bernhard Rumpe, Cornel Klein
    Pages 265-286
  10. Jean Stanford
    Pages 287-296
  11. Paul Swatman
    Pages 297-310
  12. Back Matter
    Pages 311-316

About this book

Introduction

Object-Oriented Behavioral Specifications encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. The focus is on understanding customers' needs and on precise specification of understanding gained through analysis. Specifications must bridge any gaps in understanding about business rules among customers, Subject Matter Experts, and `computer people', must inform decisions about reuse of software and systems, and must enable review of semantics over time. Specifications need to describe semantics rather than syntax, and to do that in an abstract and precise manner, in order to create software systems that satisfy business rules.
The papers in this book show various ways of designing elegant and clear specifications which are reusable, lead to savings of intellectual effort, time, and money, and which contribute to the reliability of software and systems.
Object-Oriented Behavioral Specifications offers a fresh treatment of the object-oriented paradigm by examining the limitations of traditional OO methodologies and by describing the significance of competing trends in OO modeling. The book builds on four years of successful OOPSLA workshops (1991-1995) on behavior semantics.
This book deals with precise specifications of `what' is accomplished by the business and `what' is to be done by a system. The book includes descriptions of successful use of abstract and precise specification in industry. It draws on the experience of experts from industrial and academic settings and benefits from international participation. Collective behavior, neglected in some treatment of the OO paradigm, is addressed explicitly in this book. The book does not take `reuse' of specifications or software for granted, but furnishes a foundation for taking as rigorous an approach to reuse decisions as to precise specifications in original developments.

Keywords

C++ business rules classification design information information system modeling organization service-level agreement

Authors and affiliations

  • Haim Kilov
    • 1
  • William Harvey
    • 2
  1. 1.IBM T.J. Watson Research CenterUSA
  2. 2.Institute for Information ManagementRobert Morris CollegeUSA

Bibliographic information

  • DOI https://doi.org/10.1007/b102296
  • Copyright Information Kluwer Academic Publishers 1996
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-0-7923-9778-6
  • Online ISBN 978-0-585-27524-6
  • Series Print ISSN 0893-3405
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering