TROLL - A Language for Object-Oriented Specification of Information Systems

ACM Transactions on Information Systems

Volumn 14, Issue 2, 1996, Pages 175-211

  Jungclaus, Ralf ^a   Saake, Gunter ^b   Hartmann, Thorsten ^c   Sernadas, Cristina ^d  

^a DEUTSCHE TELEKOM LABORATORIES   (Germany)

^b OTTO VON GUERICKE UNIVERSITY   (Germany)

^c TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^d INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

D.2.1. Software Engineering : Requirements specification Languages; D.3.2 Programming Languages : Language Classifications TROLL; D.3.3. Programming Languages : Language Constructs and Features; H.1.0 Models and Principles : General

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA PROCESSING; MANAGEMENT INFORMATION SYSTEMS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

LANGUAGE CLASSIFICATIONS; LANGUAGE CONSTRUCTS AND FEATURES; OBJECT ORIENTED SPECIFICATION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0030127113     PISSN: 10468188     EISSN: None     Source Type: Journal    
DOI: 10.1145/226163.226166     Document Type: Article

References (66)

1. ARAPIS, C. 1991. Temporal specifications of object behavior. In Proceedings 3rd. Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems MFDBS-91, B. Thalheim, J. Demetrovics, and H.-D. Gerhardt, Eds. Lecture Notes in Computer Science, vol. 495, Springer-Verlag, Berlin, 308-324.
2. ATKINSON, M., BANCILHON, F., DEWITT, D., DITTRICH, K. R., MAIER, D., AND ZDONIK, S. B. 1989. The object-oriented database system manifesto. In Proceedings International Conference on Deductive and Object-Oriented Database Systems (Kyoto, Japan, Dec.), W. Kim, J.-M. Nicolas, and S. Nishio, Eds. 40-57.
3. BEERI, C. 1990. A formal approach to object oriented databases. Data Knowl. Eng. 5, 4, 353-382.
4. BOOCH, G. 1990. Object-Oriented Design. Benjamin/Cummings, Menlo Park, Calif.
5. BORGIDA, A. 1985. Features of languages for the development of information systems at the conceptual level. IEEE Softw. 2, 1, 63-73.
6. BORGIDA, A., MYLOPOULOS, J., AND SCHMIDT, J. W. 1993. The TaxisDL software description language. In Database Application Engineering with DAIDA, M. Jarke, Ed. Springer, Berlin, 65-84.
7. CODD, E. F. 1979. Extending the relational model to capture more meaning. ACM Trans. Database Syst. 4, 4, 397-434.
8. COHEN, B., HARWOOD, W. T., AND JACKSON, M. I. 1986. The Specification of Complex Systems. Addison-Wesley, Reading, Mass.
9. CONRAD, S., GOGOLLA, M., AND HERZIG, R. 1992. TROLL light: A core language for specifying objects. Informatik-Bericht 92-02, TU Braunschweig.
10. COSTA, J. F., SERNADAS, A., AND SERNADAS, C. 1989. OBL-89. User's Manual. Version 2.3. Tech. Rep., Instituto Superior Técnico, Instituto de Engenharia de Sistemas e Computadores, Lisbon.
11. DATE, C. J. 1986. An Introduction to Database Systems. Addison-Wesley, Reading, Mass.
12. DUBOIS, E., DU BOIS, P., AND PETIT, M. 1993. O-O requirements analysis: An agent perspective. In ECOOP'93 - Object-Oriented Programming, O. Nierstrasz, Ed. Lecture Notes in Computer Science, vol. 707. Springer-Verlag, Berlin, 458-481.
13. DUBOIS, E., DU BOIS, P., AND RIFAUT, A. 1992. Elaborating, structuring and expressing formal requirements of composite systems. In Advanced Information Systems Engineering CAISE'92, P. Loucopoulos, Ed. Lecture Notes in Computer Science, vol. 593. Springer-Verlag, Berlin.
14. DUBOIS, E., HAGELSTEIN, J., AND RIFAUT, A. 1991. A formal language for the requirements engineering of computer systems. In From Natural Language Processing to Logic for Expert Systems, A. Thayse, Ed. John Wiley & Sons, Chicester, U.K., 269-345.
15. EHRICH, H.-D., DROSTEN, K., AND GOGOLLA, M. 1988. Towards an algebraic semantics for database specification. In Proceedings of the 2nd IFIP WG 2.6 Working Conference on Database Semantics "Data and Knowledge" (DS-2), R. A. Meersmann and A. Sernadas, Eds. North-Holland, Amsterdam, 119-135.
16. EHRICH, H.-D., GOGUEN, J. A., AND SERANDAS, A. 1990. A categorial theory of objects as observed processes. In Proceedings REX/FOOL Workshop, J. W. deBakker, W. P. deRoever, and G. Rozenberg, Eds. Lecture Notes in Computer Science, vol. 489. Springer, Berlin, 203-228.
17. EHRICH, H.-D. AND SERNADAS, A. 1991. Fundamental object concepts and constructions. In Information Systems - Correctness and Reusability, G. Saake and A. Sernadas, Eds. TU Braunschweig, Informatik Bericht 91-03, 1-24.
18. EHRIG, H. AND MAHR, B. 1985. Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer-Verlag, Berlin.
19. EMERSON, E. A. 1990. Temporal and modal logic. In Formal Models and Semantics, J. van Leeuwen, Ed. Elsevier Science Publishers B.V., Amsterdam, 995-1072.
20. ENGELS, G., GOGOLLA, M., HOHENSTEIN, U., HÜLSMANN, K., LÖHR-RICHTER, P., SAAKE, G., AND EHRICH, H.-D. 1992. Conceptual modelling of database applications using an extended ER model. Data Knowl. Eng. 9, 2, 157-204.
21. ESDI. 1993. OBLOG CASE V1.0 - The User's Guide. ESDI Espirito Santo Data Informatica, S. A., Lisbon.
22. FEENSTRA, R. AND WIERINGA, R. 1993. LCM 3.0: A Language for describing conceptual models - Syntax definition. Report ir-344, Faculteit der Wiskunde en Informatica, Vrije Universiteit, Amsterdam.
23. FIADEIRO, J. AND SERNADAS, A. 1990. Logics of modal terms for system specification. J. Logic Comput. 1, 2, 187-227.
24. GOGOLLA, M., CONRAD, S., AND HERZIG, R. 1993. Sketching concepts and computational model of TROLL light. In Proceedings of the 3rd International Conference on Design and Implementation of Symbolic Computation Systems (DISCO'93), A. Miola, Ed. Lecture Notes in Computer Science, vol. 722. Springer, Berlin, 17-32.
25. GREENSPAN, S., BORGIDA, A. T., AND MYLOPOULOS, J. 1986. A requirements modelling language and its logic. In On Knowledge Base Management Systems, M. L. Brodie and J. Mylopoulos, Eds. Springer-Verlag, Berlin, 471-502.
26. HARTMANN, T. AND SAAKE, G. 1993. Abstract specification of object interaction. Informatik-Bericht 93-08, Technische Universität Braunschweig.
27. HARTMANN, T., JUNGCLAUS, R., AND SAAKE, G. 1992. Aggregation in a behavior oriented object model. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP'92), O. L. Madsen, Ed. Lecture Notes in Computer Science, vol. 615. Springer, Berlin, 57-77.
28. HOARE, C. A. R. 1985. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, N.J.
29. HULL, R. AND KING, R. 1987. Semantic database modeling: Survey, applications, and research issues. ACM Comput. Surv. 19, 3, 201-260.
30. JUNGCLAUS, R. 1993. Modeling of Dynamic Object Systems - A Logic-Based Approach. Advanced Studies in Computer Science. Vieweg Verlag, Braunschweig/Wiesbaden.
31. JUNGCLAUS, R., HARTMANN, T., AND SAAKE, G. 1993. Relationships between dynamic objects. In Information Modelling and Knowledge Bases IV: Concepts, Methods and Systems, H. Kangassalo, H. Jaakkola, K. Hori, and T. Kitahashi, Eds. IOS Press, Amsterdam, 425-438.
32. JUNGCLAUS, R., HARTMANN, T., SAAKE, G., AND SERNADAS, C. 1991. Introduction to TROLL - A language for object-oriented specification of information systems. In Information Systems - Correctness and Reusability, G. Saake and A. Sernadas, Eds. TU Braunschweig, Informatik Bericht 91-03, 97-128.
33. JUNGCLAUS, R., SAAKE, G., HARTMANN, T., AND SERNADAS, C. 1991. Object-oriented specification of information systems: The TROLL language. Informatik-Bericht 91-04, TU Braunschweig.
34. JUNGCLAUS, R., WIERINGA, R., HARTEL, P., SAAKE, G., AND HARTMANN, T. 1994. Combining TROLL with the object modeling technique. In Innovationen bei Rechen- und Kommunikationssystemen. Springer, Berlin.
35. KAPPEL, G. AND SCHREFL, M. 1990. Using an object-oriented diagram technique for the design of information systems. In Dynamic Modelling of Information Systems (Proceedings of the International Working Conference), H. G. Sol and K. M. van Hee, Eds. North-Holland, Amsterdam, 121-164.
36. KAPPEL, G. AND SCHREFL, M. 1991. Object/behavior diagrams. In Proceedings of the International Conference on Data Engineering. IEEE Computer Society Press, Los Alamitos, Calif., 530-539.
37. KENT, W. 1978. Data and Reality. North-Holland, Amsterdam.
38. KIRKI-SUONIO, R., SYSTÄ, K., AND VAIN, J. 1991. Real-time specification and modeling with joint actions. In Proceedings of the 6th International Workshop on Software Specification and Design. ACM Press, New York.
39. LEVESQUE, H. 1986. Knowledge representation and reasoning. Ann. Rev. Comput. Sci. 1, 255-287.
40. LIPECK, U. W. 1990. Transformation of dynamic integrity constraints into transaction specification. Theor. Comput. Sci. 76, 115-142.
41. MANNA, Z. AND PNUELI, A. 1992. The Temporal Logic of React and and Concurrent Systems. Vol. 1, Specification. Springer-Verlag, New York.
42. MILNER, R. 1980. A Calculus of Communicating Systems. Springer-Verlag, Berlin.
43. MILNER, R. 1990. Operational and algebraic semantics of concurrent processes. In Formal Models and Semantics, J. van Leeuwen, Ed. Elsevier Science Publishers B.V., Amsterdam, 1201-1242.
44. MYLOPOULOS, J., BERNSTEIN, P. A., AND WONG, H. K. T. 1980. A language facility for designing interactive database-intensive applications. ACM Trans. Database Syst. 5, 2, 185-207.
45. MYLOPOULOS, J., BORGIDA, A., JARKE, M., AND KOUBARAKIS, M. 1993. Representing knowledge about information systems in Telos. In Database Application Engineering with DAIDA, M. Jarke, Ed. Springer, Berlin, 31-64.
46. PECKHAM, J. AND MARYANSKI, F. 1988. Semantic data models. ACM Comput. Surv. 20 3, 153-189.
47. PERNICI, B. 1990. Objects with Roles. In Proceedings of the ACM/IEEE International Conference on Office Information Systems. SIGOIS Bull. 11, 2-3, 205-215.
48. PNUELI, A. 1986. Application of temporal logic to the specification and verification of reactive systems: A survey of current trends. In Current Trends in Concurrency. J. de Bakker, W. de Roever, and G. Rozenberg, Eds. Lecture Notes in Computer Science, vol. 224. Springer-Verlag, Berlin.
49. PNUELI, A. 1977. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science. IEEE, New York, 46-57.
50. REISIG, W. 1985. Petri Nets. Springer-Verlag, Berlin.
51. RUMBAUGH, J., BLAHA, M., PREMERLANI, W., EDDY, F., AND LORENSEN, W. 1991. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, N.J.
52. SAAKE, G. 1991. Descriptive specification of database object behavior. Data Knowl. Eng. 6, 1, 47-74.
53. SAAKE, G. 1993. Objektorientierte Spezifikation von Informationssystemen. Teubner, Stuttgart/Leipzig.
54. SAAKE, G. AND JUNGCLAUS, R. 1992a. Specification of database applications in the TROLL-language. In Proceedings of the International Workshop Specification of Database Systems, D. Harper and M. Norrie, Eds. Springer, London, 228-245.
55. SAAKE, G. AND JUNGCLAUS, R. 1992b. Views and formal implementation in a three-level schema architecture for dynamic objects. In Advanced Database Systems: Proceedings of the 10th British National Conference on Databases (BNCOD 10), P. M. D. Gray and R. J. Lucas, Eds. Lecture Notes in Computer Science, vol. 618. Springer, Berlin, 78-95.
56. SAAKE, G. AND LIPECK, U. W. 1989. Using finite-linear temporal logic for specifying database dynamics. In Proceedings of the CSL '88 2nd Workshop Computer Science Logic, E. Börger, H. Kleine Büning, and M. M. Richter, Eds. Springer, Berlin, 288-300.
57. SAAKE, G., JUNGCLAUS, R., AND EHRICH, H.-D. 1992. Object-oriented specification and stepwise refinement. In Proceedings of the Open Distributed Processing, J. de Meer, V. Heymer, and R. Roth, Eds. (IFIP Transactions C: Commun. Syst. 1), North-Holland, Amsterdam, 99-121.
58. SERNADAS, A. 1980. Temporal aspects of logical procedure definition. Inf. Syst. 5, 167-187.
59. SERNADAS, A., SERNADAS, C., AND EHRICH, H.-D. 1987. Object-oriented specification of databases: An algebraic approach. In Proceedings of the 13th International Conference on Very Large Databases VLDB'87, P. M. Stoecker and W. Kent, Eds. VLDB Endowment Press, Saratoga, Calif., 107-116.
60. THEODOULIDIS C., WANGLER, B., BUBENKO, J. A., AND LOUCOPOULOS, P. 1990. A conceptual model for temporal database applications. SYSLAB Rep. 71, SYSLAB, Stockholm Univ., Stockholm.
61. VAN GRIETHUYSEN, J. J. 1982. Concepts and terminology for the conceptual schema and the information base. Rep. N695, ISO/TC97/SC5.
62. WIERINGA, R. J. 1990. Algebraic foundations for dynamic conceptual models. Ph.D. thesis, Vrije Universiteit, Amsterdam.
63. WIERINGA, R. J. 1991. A conceptual model specification language (CMSL Version 2). Tech. Rep. IR-248, Vrije Universiteit, Amsterdam.
64. WIERINGA, R. AND DE JONGE, W. 1991. The identification of objects and roles - Object identifiers revisited. Tech. Rep. IR-267, Vrije Universiteit, Amsterdam.
65. WIERINGA, R., JUNGCLAUS, R., HARTEL, P., HARTMANN, T., AND SAAKE, G. 1993. OMTROLL - Object modeling in TROLL. In Proceedings of the International Workshop on Information Systems - Correctness and Reusability IS-CORE '93, U. W. Lipeck and G. Koschorreck, Eds. 267-283.
66. WING, J. M. 1990. A specifier's introduction to formal methods. IEEE Comput. 23, 9 (Sept.) 8-24.