TROLL - A language for object-oriented specification of information systems

被引:29
作者
Jungclaus, R
Saake, G
Hartmann, T
Sernadas, C
机构
[1] UNIV MAGDEBURG, INST TECH INFORMAT SYST, D-39106 MAGDEBURG, GERMANY
[2] TECH UNIV CAROLO WILHELMINA BRAUNSCHWEIG, ABT DATENBANKEN, D-38023 BRAUNSCHWEIG, GERMANY
[3] INST SUPER TECN, DEPT MATEMAT, P-1096 LISBON, PORTUGAL
关键词
design; languages; formal specification; information system design; object-oriented conceptual modeling;
D O I
10.1145/226163.226166
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
TROLL is a language particularly suited for the early stages of information system development, when the universe of discourse must be described. In TROLL the descriptions of the static and dynamic aspects of entities are integrated into object descriptions. Sublanguages for data terms, for first-order and temporal assertions, and for processes, are used to describe respectively the static properties, the behavior, and the evolution over time of objects. TROLL organizes system design through object-orientation and the support of abstractions such as classification, specialization, roles, and aggregation. Language features for state interactions and dependencies among components support the composition of the system from smaller modules, as does the facility of defining interfaces on top of object descriptions.
引用
收藏
页码:175 / 211
页数:37
相关论文
共 66 条
[1]  
[Anonymous], 1992, TEMPORAL LOGIC REACT
[2]  
ARAPIS C, 1991, LECT NOTES COMPUT SC, V495, P308
[3]  
ATKINSON M, 1989, 1ST P INT C DED OBJ, P40
[4]  
Beeri C., 1990, Data & Knowledge Engineering, V5, P353, DOI 10.1016/0169-023X(90)90020-E
[5]  
Booch G., 1990, Object Oriented Design with Applications
[6]   FEATURES OF LANGUAGES FOR THE DEVELOPMENT OF INFORMATION-SYSTEMS AT THE CONCEPTUAL LEVEL [J].
BORGIDA, A .
IEEE SOFTWARE, 1985, 2 (01) :63-72
[7]  
BORGIDA A, 1993, DATABASE APPL ENG DA, P65
[8]  
Codd E. F., 1979, ACM Transactions on Database Systems, V4, P397, DOI 10.1145/320107.320109
[9]  
COHEN B, 1986, SPECIFICATION COMPLE
[10]  
CONRAD S, 1992, 9202 TU BRAUNSCHW