[Next] [Prev] [Up] [Top]

The library problem has served the formal specification community well [Wing88]. To use it as a software architecture problem, we'll focus on the possible structure of solutions rather than the specification of functionality.

A library requires an information system that provides the following on-line operations for library users and staff:

The system must be able to search and update the catalog quickly (to avoid long check-out lines, and to make on-line book search a viable alternative to card catalogs), and easily handle updates and corrections by staff users to an potentially large collection.

The system must also enforce the following integrity constraints:

Design Considerations

[Next] [Prev] [Up] [Top]

Updated Halloween 95 by Mary Shaw
Comments to maintainer