FROM INFORMATION-SYSTEM REQUIREMENTS TO DESIGNS - A MAPPING FRAMEWORK

被引:5
作者
CHUNG, L [1 ]
KATALAGARIANOS, P [1 ]
MARAKAKIS, M [1 ]
MERTIKAS, M [1 ]
MYLOPOULOS, J [1 ]
VASSILIOU, Y [1 ]
机构
[1] FDN RES & TECHNOL HELLAS,INST COMP SCI,GR-71110 HERAKLION,GREECE
基金
加拿大自然科学与工程研究理事会;
关键词
REQUIREMENTS MODELING; FUNCTIONAL REQUIREMENTS; NONFUNCTIONAL REQUIREMENTS; INFORMATION SYSTEM DESIGN; CASE ENVIRONMENT;
D O I
10.1016/0306-4379(91)90033-6
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Comprehensive methodologies for information system development need to provide a framework for the adequate representation of system requirements and also for their usage in generating system designs. Requirements specifications are assumed to include a functional description of what the information system is intended to do, how it will interact with its environment, what information it will manage and how that information relates to the system's environment. The generation of a design is achieved by mapping elements of the requirements model into one or more corresponding design objects. This mapping process is guided by two considerations. Locally, the process is directed by dependency types among requirements and design objects which determine allowable mappings for a particular requirements object. Globally, the process is guided by non-functional requirements, such as accuracy and security requirements on the intended system, which are represented as goals describing desirable properties of the intended system. Satisficing methods for these goals are used to guide local mapping decisions. The paper includes the description of a prototype implementation-called IRIS-of aspects of the proposed mapping framework and illustrates its features through a sample session. The implementation was carried out within the DAIDA project at the Institute of Computer Science of the Foundation for Research and Technology, Crete.
引用
收藏
页码:429 / 461
页数:33
相关论文
共 46 条
[1]  
ABRIAL JR, 1988, LOGIC B
[2]   MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].
ALLEN, JF .
COMMUNICATIONS OF THE ACM, 1983, 26 (11) :832-843
[3]   TRANSFORMATIONAL IMPLEMENTATION - AN EXAMPLE [J].
BALZER, R .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (01) :3-14
[4]  
BARRON J, 1982, SIGOA NEWSLETTER, V3, P12
[5]  
BARSTOW D, 1987, 9TH P INT C SOFTW EN, P200
[6]  
Bauer F. L., 1976, 2nd International Conference on Software Engineering, P223
[7]   FEATURES OF LANGUAGES FOR THE DEVELOPMENT OF INFORMATION-SYSTEMS AT THE CONCEPTUAL LEVEL [J].
BORGIDA, A .
IEEE SOFTWARE, 1985, 2 (01) :63-72
[8]  
BORGIDA A, 1980, F KNOWLEDGE BASE MAN, P411
[9]  
BORGIDA A, 1990, 2ND P INT WORKSH DAT, P258
[10]  
BUBENKO JA, 1981, SYSLAB4 CHALM U TECH