Skip to main content
SpringerLink
Log in
Book cover

Object-Oriented Behavioral Specifications

  • Book
  • © 1996

Overview

Authors:
  1. Haim Kilov

    1. IBM T.J. Watson Research Center, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. William Harvey

    1. Institute for Information Management, Robert Morris College, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 371)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Exactness and Clarity in a Component-Based Specification Language

    • Doug Bryan
    Pages 1-15

  3. A Formal Basis for Specifying Object Behaviour

    • Antony Bryant, Andy Evans
    Pages 17-30

  4. Information Refraction

    • William Harvey, Karen Bilotta, Cynthia Grese
    Pages 31-40

  5. A Pragmatic Approach to Formal Specification

    • Maritta Heisel
    Pages 41-62

  6. Anecdotes About Making a Specification Simpler

    • Iain Houston
    Pages 63-76

  7. Invariants in the Trenches

    • Haim Kilov, Helen Mogill, Ian Simmonds
    Pages 77-100

  8. Fundamentals of Object-Oriented Specification and Modeling of Collective Behaviors

    • Reino Kurki-Suonio
    Pages 101-120

  9. An Overview of Larch/C++: Behavioral Specifications for C++ Modules

    • Gary T. Leavens
    Pages 121-142

  10. Structural Active-Object Systems Fundamentals

    • Toshimi Minoura
    Pages 143-162

  11. Organizational Culture: An Object-Oriented Framework

    • Joseph Morabito, Anilkumar Bhate
    Pages 163-176

  12. Specifying and Reasoning about Business Rules in a Semantic Network

    • Leora Morgenstern
    Pages 177-192

  13. Dynamic and Multiple Classification

    • James J. Odell
    Pages 193-196

  14. Specifying Business Policy Using Agent-Contract Meta-Constructs

    • John Palmer
    Pages 197-220

  15. Architectural Specifications: Modeling and Structuring Behavior Through Rules

    • Carlos Paredes, José Luiz Fiadeiro, José Félix Costa
    Pages 221-240

  16. The Search for the Linking Invariant: Behavioral Modeling Versus Modeling Behavior

    • David Redberg
    Pages 241-264

  17. Automata Describing Object Behavior

    • Bernhard Rumpe, Cornel Klein
    Pages 265-286

  18. Enterprise Modeling with USE Cases

    • Jean Stanford
    Pages 287-296

  19. Formal Object-Oriented Method — Foom

    • Paul Swatman
    Pages 297-310

  20. Back Matter

    Pages 311-316
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • IBM T.J. Watson Research Center, USA

    Haim Kilov

  • Institute for Information Management, Robert Morris College, USA

    William Harvey

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation