Software Requirements Specifications (SRS) have been used to fill the communication gap between systems analysts and the end-users. SRSs should satisfy the needs of both systems analysts and end-users. Non-technical e...
详细信息
Software Requirements Specifications (SRS) have been used to fill the communication gap between systems analysts and the end-users. SRSs should satisfy the needs of both systems analysts and end-users. Non-technical end-users require intelligible SRSs while systems analysts need more precise, clear and concise SRSs. object-oriented methods cannot represent temporal relations between events precisely. However, object-oriented principles are widely used in systems analysis and designing. Hence, there is a need for a software requirements specification language which supports object-oriented analysis methods, represents temporal knowledge precisely and whose representation scheme resembles natural languages. The specification language presented in this paper, GSL, is designed to meet the above requirements. The language is based on First-order Temporal Logic (FTL), which has temporal operators in addition to classical logical connectives and quantifiers. Since FTL cannot represent relative temporal knowledge and it inherits problems with point-based time models, a new logical connective TAND and redefined AND connective are used to represent relative temporal knowledge and to solve the problems with FTL. The language employs object-oriented principles: events, conditions, rules and activities can be represented as objects as well as attributes of an object. However, systems analysts can decide whether to use object-oriented conceptual modeling or not. (C) 1998 John Wiley & Sons, Ltd.
The methodology for developing intelligent integrated computer-aided design and manufacturing systems based on object-oriented principles is discussed. The ways in which the application of these principles affects the...
详细信息
The methodology for developing intelligent integrated computer-aided design and manufacturing systems based on object-oriented principles is discussed. The ways in which the application of these principles affects the nature of these systems are reviewed. The implementation of an automated, intelligent, and flexible computer-integrated-manufacturing (CIM) system prototype using an object-oriented programming environment (Smalltalk-80, Version 4.0) is detailed. A CIM system includes CAD, a process planner, and an inspection planner. Each of these components is discussed individually
Software Requirements Specifications (SRS) have been used to fill the communication gap between systems analysts and the end-users. SRSs should satisfy the needs of both systems analysts and end-users. Non-technical e...
详细信息
暂无评论