Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
C-TODOS: an automatic tool for office system conceptual design
Pernici B., Barbic F., Maiocchi R., Fugini M., Rames J., Rolland C. ACM Transactions on Information Systems7 (4):378-419,1989.Type:Article
Date Reviewed: Jul 1 1990

This rather lengthy paper is concerned with the conceptual aspects of office system design. It aims to provide the functional requirements from which the office prototype will be developed and the final architectural design will be chosen. TODOS is a proposed integrated environment for office design that includes tools for requirements analysis, conceptual design, rapid prototyping, and architecture design. C-TODOS is the conceptual design tool within TODOS. Its aim is to obtain functional specifications. C-TODOS is centered on the interaction of the designer with a specification database that stores the functional description of the target office information system. This paper emphasizes automatic support for office information systems conceptual design.

The authors present a substantive review of previous work and current trends in this field. They then describe the overall TODOS development environment for designing office information systems. Next, they discuss the specification language associated with this approach, which allows a formal definition of office information systems schemas. The remainder of the paper describes various details of C-TODOS.

C-TODOS consists of a specification database, an insertion model, a query model, a consistency checking model, and associated libraries for inserting or deleting elements of the database, consistency checking, schema validation, and graphical interfacing. A formal query language on the contents of the database, TOD-QUEL, allows the internal examination of properties and characteristics of an office schema being designed. An appendix gives a detailed description of this language. The authors use TOD-QUEL in the paper to formally specify constraints and design support provided by C-TODOS.

The latter part of this paper illustrates how C-TODOS may be used for schema validation. The authors describe a case study of a bank loan office. They also discuss some considerations proceeding from the implementation of C-TODOS on a PC using a relational database.

This paper should interest workers on office information systems. Its value for more casual readers may be limited, however, since despite its length, many of its concepts are not explained or illustrated in sufficient detail.

Reviewer:  M. Klerer Review #: CR114416
Bookmark and Share
 
Tools (D.2.1 ... )
 
 
Languages (D.2.1 ... )
 
 
Query Languages (H.2.3 ... )
 
 
Representation (D.2.10 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Tools": Date
Larch: languages and tools for formal specification
Guttag J. (ed), Horning J., Springer-Verlag New York, Inc., New York, NY, 1993. Type: Book (9780387940069)
May 1 1994
A survey of structured and object-oriented software specification methods and techniques
Wieringa R. ACM Computing Surveys 30(4): 459-527, 1998. Type: Article
Jun 1 1999
Exploiting reusable specifications through analogy
Maiden N., Sutcliffe A. Communications of the ACM 35(4): 55-64, 1992. Type: Article
Mar 1 1993
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy