Wie können wir das Wissen, das in der Entwicklung von Informationssystemen steckt, formal darstellen? Dieses Paper stellt Telos vor, eine Sprache, die genau das leisten soll und auf Konzepten der Wissensrepräsentation basiert. Es adressiert das kritische Bedürfnis nach Formalismen, die in der Lage sind, die vielfältigen Aspekte komplexer Informationssysteme zu erfassen, wodurch die Entwicklung effektiver und umfassender Systeme erleichtert wird. Die Arbeit präsentiert ein objektzentriertes Framework, das Schlüsselfunktionen wie Aggregation, Generalisierung und Klassifizierung integriert und einen robusten Ansatz für Attribute bietet. Das System beinhaltet eine explizite Behandlung von Zeit, zusammen mit Einrichtungen zur Spezifizierung von Integritätsbedingungen und deduktiven Regeln. Diese formale Sprache adressiert auch die Themen- und Systemwelt. Indem es ein Mittel zur Repräsentation von Wissen über den Anwendungsbereich und die Softwareanforderungen bietet, unterstützt das System formales Wissen. Das Paper enthält auch Reviews von realen Implementierungen der Sprache.
Dieses Paper wurde in ACM Transactions on Information Systems veröffentlicht und leistet einen bedeutenden Beitrag zum Fokus des Journals auf innovative Ansätze für das Design von Informationssystemen. Durch die Einführung von Telos, einer Sprache, die auf Wissensrepräsentation basiert, adressiert das Paper das fortlaufende Interesse des Journals an formalen Methoden und Werkzeugen für das Management der Komplexitäten, die Informationssystemen innewohnen, und trägt zum Gebiet der Informationstechnologie bei.