Abstract
We describe Telos, a language intended to support the development of information systems. The design principles for the language are based on the premise that information system development is knowledge intensive and that the primary responsibility of any language intended for the task is to be able to formally represent the relevent knowledge. Accordingly, the proposed language is founded on concepts from knowledge representations. Indeed, the language is appropriate for representing knowledge about a variety of worlds related to a particular information system, such as the subject world (application domain), the usage world (user models, environments), the system world (software requirements, design), and the development world (teams, metodologies).
We introduce the features of the language through examples, focusing on those provided for desribing metaconcepts that can then be used to describe knowledge relevant to a particular information system. Telos' fetures include an object-centered framework which supports aggregation, generalization, and classification; a novel treatment of attributes; an explicit representation of time; and facilities for specifying integrity constraints and deductive rules. We review actual applications of the language through further examples, and we sketch a formalization of the language.
- 1 BITEBOUL, S., AND GRUMBACH, S. COL: A logic-based language for complex objects. In Proceedings of the International Conference on Extending Data Base Technology (Venice, Italy, Mar. 1988). Google Scholar
- 2 ALLEN, J. Maintaining knowledge about temporal intervals. Commun. ACM 26, 11 (Nov. 1983), 832-843. Google Scholar
- 3 ALLEN, J., AND HAYES, P. A common-sense theory of time. In Proceedings of the 9th International Joint Conference on Artificial Intelligence (Los Angeles, Calif., 1985), pp. 528-531.Google Scholar
- 4 ALLEN, J., AND HAYES, P. Moments and points in an interval-based temporal logic. Computational Intelligence 5 (Nov. 1989), 225-238. Google Scholar
- 5 ATTAaDI, G., AND SIMI, M. Consistency and completeness of OMEGA, a logic for knowledge representation. In Proceedings of lJCAI-81 (Vancouver, B.C., 1981), pp. 504-510.Google Scholar
- 6 BALZER, R., AND GOLDMAN, N. Principles of good software specification and their implications for specification languages. In Proceedings of the Conference on Specifications for Reliable Software (Boston, Mass., 1979), pp. 58-67.Google Scholar
- 7 BIGGERSTAFF, T., AND PERLIS, A., EDS. Software Reusability, vols. 1 and 2. ACM Press, New York, 1989. Google Scholar
- 8 Bn~oT, J.-L., DEMOEN, B., HANNE, K.-H., SOLOMON, L., VASSILIOU, Y., VON HAAN, W., AND WACHTEL, T. LOKI: A logic oriented approach to data and knowledge bases supporting natural language interaction. In Proceedings of the ESPRIT "88 Conference. North-Holland, New York, 1988, pp. 562-577.Google Scholar
- 9 BORGIDA, A., GREENSPAN, S. J., AND MYLOPOULOS, J. Knowledge representation as the basis to requirements specification. IEEE Computer 18, 4 (1985), 82-91.Google Scholar
- 10 BOWEN, g., AND KOWALSKI, R. Amalgamating language and meta-language. In Logic Programming, K. Clark and S. Tarnlund, Eds. Academic Press, New York, 1982, pp. 153-172.Google Scholar
- 11 BRACHMAN, R., FIKES, R., AND LEVESQUE, H. KRYPTON: Integrating terminology and assertion. In Proceedings of AAAI-83 (Washington, D.C., 1983), pp. 31-35.Google Scholar
- 12 BRACHMAN, R. J., AND LEVESQUE, H. J., Eds. Readings in Knowledge Representation. Morgan Kaufmann, 1985. Google Scholar
- 13 BRACHMAN, R. J., AND LEVESQUE, H.J. The knowledge level of a KBMS. In On Knowledge Base Management Systems, M. Brodie and J. Mylopoulos, Eds. Springer-Verlag, New York, 1986, pp. 9-12. Google Scholar
- 14 BUBENKO, J. On concepts and strategies for requirements and information analysis. In Proceedings of IFIP-80 (1980).Google Scholar
- 15 CHEN, P. The entity-relationship model--Towards a unified view of data. ACM Trans. Database Syst. 1, i (Mar. 1976), 9-36. Google Scholar
- 16 CHUNG, K., KATALAGARIANOS, P., MARAKAKIS, M., MERTIKAS, M., MYLOPOULOS, J., AND VASSILIOU, Y. From information system requirements to designs: A mapping framework. Tech. Note 53, Computer Systems Research Institute, University of Toronto, Nov. 1989.Google Scholar
- 17 CONKLIN, J., AND BEGEMEN, M. A hypertext tool for exploratory policy discussion. ACM Trans. Office Inf. Syst. 6, 4 (1988), 303-331. Google Scholar
- 18 DES RIVIERES, J., AND LEVESQUE, H.J. The consistency of syntactical treatments of knowledge. In Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning About Knowledge (Los Altos, Calif., 1986), J. Y. Halpern, Ed., Morgan Kaufmann, pp. 115-130. Google Scholar
- 19 DEVANBU, P., SELFRIDGE, P., BALLARD, B., AND BRACHMAN, R. A knowledge-based software information system. In Proceedings of IJCAI-89 (1989), pp. 500-501.Google Scholar
- 20 DIVrRICH, D., Ed. Advances in Object-Oriented Database Systems (Proceedings of the 2nd International Workshop on Object-Oriented Database Systems). Lecture Notes in Computer Science, vol. 334, Springer Verlag, New York, 1988. Google Scholar
- 21 EHERER, S., JARKE, M., JEUSFELD, M., MIETHSAM, A., AND ROSE, T. A global KBMS for database software evolution: ConceptBase 2.0 User Manual. Tech. Rep. MIP-8936, University of Passau, 1989.Google Scholar
- 22 FRmCH, A. A general framework for sorted deduction: Fundamental results on hybrid reasoning. In Proceedings of 1st International Conference on Principles of Knowledge Representation and Reasoning (Toronto, Ontario, 1989), R. Brachman, H. Levesque, and R. Reiter, Eds., pp. 126-136. Google Scholar
- 23 GALLAmE, H., MINKER, J., AND NICHOLAS, J. Logic and databases: A deductive approach. ACM Comput. Surv. 15, 2 (1984), 52-57. Google Scholar
- 24 GALLAIRE, H., AND NICHOLAS, J.-M. How to look at deductive databases. In Foundations of Knowledge Base Management, J. Schmidt and C. Thanos, Eds. Springer Verlag, 1989, pp. 119-127. Google Scholar
- 25 GREENSPAN, S. J. Requirements Modelling: A Knowledge Representation Approach to Software Requirements Definition. PhD thesis, Dept. of Computer Science, University of Toronto, 1984. Google Scholar
- 26 HAGELSTEIN, J. Declarative approach to information systems requirements. Knowledge- Based Systems 1, 4 (1988), 211-220.Google Scholar
- 27 HAHN, U., JARKE, M., KREPLIN, K., FARUSI, M., AND PIMPINELLI, F. Co-AUTHOR: A hypermedia group authoring environment. In Proceedings of the European Conference on Computer-Supported Cooperative Work (Gatwick, United Kingdom, 1989).Google Scholar
- 28 HAHN, U., JARKE, M., AND T., R. Group work in software projects. In Proceedings of IFIP WG 8.4 Conference on Multi-User Applications and Interfaces (Iraklion, Crete, Greece, September 1990). Google Scholar
- 29 HAIDAN, R., AND MEYER, R. Requirements modeling and system specification in a logic-based knowledge representation framework. Tech. Rep., ESPRIT project 892 (DAIDA), SCS Informationstechnik, Hamburg, Germany, 1990.Google Scholar
- 30 HUDSON, S., AND KING, R. Cactis: A self-adaptive, concurrent implementation of an objectoriented database management system. ACM Trans. on Database Syst. 14, 3 (1989), 291-321. Google Scholar
- 31 HULL, R., AND KING, R. Semantic database modelling: Survey, applications and research issues. ACM Comp. Surv. 19, 3 (1987), 201-260. Google Scholar
- 32 JARKE, M., JEUSFELD, M., AND ROSE, T. Software process modeling as a strategy for KBMS implementation. In Proceedings of the First International Conference on Deductive and Object-Oriented Databases (Kyoto, Japan, 1989), pp. 496-512.Google Scholar
- 33 JARKE, M., JEUSFELD, M., AND ROSE, T. A software process data model for knowledge engineering in information systems. Inf. Syst. 15, 1 (1990), 86-115. Google Scholar
- 34 JARKE, M., MYLOPOULOS, J., SCHMIDT, J., AND VASSmIOU, Y. Information systems development as knowledge engineering: the DAIDA project. Tech. Rep., ESPRIT project 892 (DAIDA), Forthcoming.Google Scholar
- 35 KIFER, M., AND LAUSEN, G. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proceedings of A CM SIGMOD International Conference on Management of Data (1989), pp. 134-146. Google Scholar
- 36 KONSYSNKI, B., AND KOTTEMAN, Z. Dynamic metasystems for information systems development. In Proceedings of 5th International Conference on Information Systems (1984), pp. 187-204.Google Scholar
- 37 KOUBARAKIS, M., MYLOPOULOS, J., STANLEY, M., AND BORGIDA, A. Telos: Features and formalization. Tech. Rep. KRR-TR-89-4, Dept. of Computer Science, University of Toronto, 1989.Google Scholar
- 38 KRAMER, B. The representation of programs in the procedural semantic network formalism. Master's thesis, Dept. of Computer Science, University of Toronto, 1980.Google Scholar
- 39 MYLOPOUUOS, J., BERNSTEIN, P.A., AND WONG, H. K. A language facility for designing interactive data-intensive applications. ACM Trans. on Database Syst. 5, 2 (1980), 185-207. Google Scholar
- 40 MYLOPOULOS, J., BORGIDA, A., JARKE, M., AND KOUBARAKIS, M. Telos: A language for representing knowledge about information systems. Tech. Rep. KRR-TR-89-1 (Revised), Dept. of Computer Science, University of Toronto, August 1990.Google Scholar
- 41 NEIGHBORS, J. Draco: A method for engineering reusable software systems. In Software Reusability, T. Biggerstaff and A. Perlis, Eds., vol. 1. ACM Press, 1989, pp. 295-319. Google Scholar
- 42 OLLE, W., SOL, H., AND A.A., V.-S., Eds. Information Systems Design Methodologies: A Comparative Review. North Holland, 1982. Google Scholar
- 43 PERNmI, B. Objects with roles. In Object-Oriented Development, D. Tsichritzis, Ed. Centre Universitaire d'Informatique, Universite de Geneve, Switzerland, 1989, pp. 75-100.Google Scholar
- 44 PROFROCK, A.-K., ADER, M., MULLER, G., AND TSmHRITZIS, D. ITHACA: An overview. Tech. Rep., Nixdorf Software Engineering GmbH, Berlin, 1989.Google Scholar
- 45 REITER, R. Towards a logical reconstruction of relational database theory. In On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, M. Brodie, J. Mylopoulos, and J. Schmidt, Eds. Springer Verlag, 1984, pp. 191-233.Google Scholar
- 46 RmH, C. Knowledge representation languages and predicate calculus: How to have your cake and eat it too. In Proceedings of AAAI-82 (Pittsburgh, 1982).Google Scholar
- 47 RICH, C., AND WATERS, R., Eds. Artificial Intelligence and Software Engineering. Morgan Kaufmann, 1986. Google Scholar
- 48 ROSE, T., AND JARKE, M. A decision-based configuration process model. In Proceedings of 12th International conference on Software Engineering (Nice, France, 1990). Google Scholar
- 49 Ross, D., AND SCHOMAN, K. Structured analysis for requirements definition. IEEE Transactions on Software Engineering (1977), 49-60.Google Scholar
- 50 SNODGRASS, R. The temporal query language TQuel. ACM Trans. on Database Syst. 12, 2 (June 1987), 247- 298. Google Scholar
- 51 SRINKATH, R., AND jARKE, M. The design of knowledge-based systems for managing illstructured software projects. Decision Support Systems 5, 4 (1989), 425-447.Google Scholar
- 52 STANLEY, M. CML: A knowledge representation language with application to requirements modelling. Master's thesis, Dept. of Computer Science, University of Toronto, 1986.Google Scholar
- 53 TOPALOGLOU, T., AND KOUBARAKIS, M. Implementation of Telos: Problems and solutions. Tech. Rep. KRR-TR-89-8, Dept. of Computer Science, University of Toronto, 1989.Google Scholar
- 54 TOULMIN, S. The Uses of Argument. Cambridge University Press, 1958.Google Scholar
- 55 VILAIN, M., KAUTZ, H., AND VAN BEEK, P. Constraint propagation algorithms for temporal reasoning: A revised report. In Readings in Qualitative Reasoning about Physical Systems, D. Weld and J. de Kleer, Eds. Morgan Kaufmann, 1989, pp. 373-381. Google Scholar
- 56 WINOGRAD, T., AND FLORES, F. Understanding Computers and Cognition. Ablex Corporation, 1987. Google Scholar
Index Terms
- Telos: representing knowledge about information systems
Recommendations
Design rationale for TELOS, a PASCAL-based AI language
Proceedings of the 1977 symposium on Artificial intelligence and programming languagesTELOS is a PASCAL-based AI language intended to facilitate efficient development of efficient, well-structured programs. The design emphasizes powerful data abstraction and control abstraction mechanisms rather than the provision of particular high-...
Design rationale for TELOS, a PASCAL-based AI language
Proceedings of the 1977 symposium on Artificial intelligence and programming languagesTELOS is a PASCAL-based AI language intended to facilitate efficient development of efficient, well-structured programs. The design emphasizes powerful data abstraction and control abstraction mechanisms rather than the provision of particular high-...
Combining Multiple Knowledge Bases
Combining knowledge present in multiple knowledge base systems into a single knowledge base is discussed. A knowledge based system can be considered an extension of a deductive database in that it permits function symbols as part of the theory. ...
Comments