TELOS(ID:787/tel008)

Extension to SML for context modelling
Related languages
SML => TELOS   Evolution of
TELOS => O-TELOS   Extension of
References:
  • Koubarakis, M., Mylopoulos, J., Stanley, M. and Jarke, M., "Telos: Features and Formalization", KRR-TR-89-4, Department of Computer Science, University of Toronto, 1989 view details
  • Topaloglou, T. and Koubarakis, M., "An Implementation of Telos, " TR -KRR-89-8, Department of Computer Science, University of Toronto. view details
  • Mylopoulos, J., Borgida, A., Jarke, M. and Koubarakis, M., "Telos: Representing Knowledge About Information Systems", ACM Transactions on Information Systems, October 1990 view details
  • Plexousakis, D., The Semantics of Telos: A Language for Knowledge Representation, M.Sc. thesis, Department of Computer Science, University of Toronto, 1990. view details
  • Tuzhilin, Alexander "Templar: a knowledge-based language for software specifications using temporal logic" ACM Transactions on Information Systems (TOIS) 13(03) July 1995 pp269-304 view details Extract: Telos
    Telos [Myloupoulos et al. 1990] is an extension of RML and, therefore, is also based on the object-oriented framework. Telos extends RML by improving RML facilities for representing and reasoning about temporal knowledge, provides more general forms of generalization and classification abstractions than RML does, supports linguistic extensions through the definition of lSee Prior [1967] for an argument as to why temporal logic provides a more user-friendly approach to time than the first-order logic. metaattributes, and provides support for deductive rules and integrity constraints. All these features added to RML make Telos a powerful requirements specification lang-sage that is relatively easy for the specifier to use. Also, Telos has a rigorously defined semantics.
    		•