A retrospective on Telos as a metamodeling language for requirements engineering

Telos is a conceptual modeling language intended to capture software knowledge, such as software system requirements, domain knowledge, architectures, design decisions and more. To accomplish this, Telos was designed to be extensible in the sense that the concepts used to capture software knowledge can be defined in the language itself, instead of being built-in. This extensibility is accomplished through powerful metamodeling features, which proved very useful for interrelating heterogeneous models from requirements, model-driven software engineering, data integration, ontology engineering, cultural informatics and education. We trace the evolution of ideas and research results in the Telos project from its origins in the late eighties. Our account looks at the semantics of Telos, its various implementations and its applications. We also recount related research by other groups and the cross-influences of ideas thereof. We conclude with lessons learnt.

[1]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[2]  John Mylopoulos,et al.  Non-Functional Requirements in Software Engineering , 2000, International Series in Software Engineering.

[3]  Igor Jurisica,et al.  The KBMS Project and Beyond , 2009, Conceptual Modeling: Foundations and Applications.

[4]  Matthias Jarke,et al.  Assuring Database Integrity , 1990 .

[5]  Matthias Jarke,et al.  Bridging the gap between past and future in RE: a scenario-based approach , 1999, Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188).

[6]  Ronald Fagin,et al.  Data exchange: semantics and query answering , 2003, Theor. Comput. Sci..

[7]  Vinay K. Chaudhri,et al.  Safe locking policies for dynamic databases , 1995, PODS '95.

[8]  John Mylopoulos,et al.  From E-R to "A-R" - Modelling Strategic Actor Relationships for Business Process Reengineering , 1994, Int. J. Cooperative Inf. Syst..

[9]  Eric Dubois,et al.  Defining an Ontology for the Formal Requirements Engineering of Manufacturing Systems , 1997, ICEIMT.

[10]  Tore Risch,et al.  EDUTELLA: a P2P networking infrastructure based on RDF , 2002, WWW.

[11]  Michaël Petit,et al.  Modeling Competition-Driven Business Strategy for Business IT Alignment , 2011, CAiSE Workshops.

[12]  John Mylopoulos,et al.  On formal requirements modeling languages: RML revisited , 1994, Proceedings of 16th International Conference on Software Engineering.

[13]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[14]  Timos Sellis Rules in database systems : Second International Workshop, RIDS '95, Glyfada, Athens, Greece, September 25-27, 1995 : proceedings , 1995 .

[15]  Sushil Jajodia,et al.  Temporal Databases: Theory, Design, and Implementation , 1993 .

[16]  Thodoros Topaloglou,et al.  Query processing for knowledge bases using join indices , 1995, CIKM '95.

[17]  Xavier Boucher,et al.  Domain-Specific Conceptual Modeling , 2016, Springer International Publishing.

[18]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[19]  Manfred A. Jeusfeld SemCheck: Checking Constraints for Multi-perspective Modeling Languages , 2016, Domain-Specific Conceptual Modeling.

[20]  Amit P. Sheth,et al.  SPARQL-ST: Extending SPARQL to Support Spatiotemporal Queries , 2011, Geospatial Semantics and the Semantic Web.

[21]  Gerhard Weikum,et al.  YAGO2: exploring and querying world knowledge in time, space, context, and many languages , 2011, WWW.

[22]  Matthias Jarke,et al.  Fundamentals of data warehouses, 2nd Edition , 2003 .

[23]  Ian Horrocks,et al.  Metamodeling Architecture of Web Ontology Languages , 2001, SWWS.

[24]  Werner Nutt,et al.  Subsumption between queries to object-oriented databases , 1994, Inf. Syst..

[25]  Dimitris Karagiannis,et al.  Metamodelling Platforms , 2002, EC-Web.

[26]  Wolfgang Nejdl,et al.  OTelosRDF: A Resource Description Format with Enhanced MetaModeling Functionalities Based on OTelos , 2001, Semannot@K-CAP 2001.

[27]  Manolis Koubarakis,et al.  The Complexity of Query Evaluation in Indefinite Temporal Constraint Databases , 1997, Theor. Comput. Sci..

[28]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

[29]  Julio Cesar Sampaio do Prado Leite,et al.  On Non-Functional Requirements in Software Engineering , 2009, Conceptual Modeling: Foundations and Applications.

[30]  William N. Robinson,et al.  Surfacing root requirements interactions from inquiry cycle requirements documents , 1998, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.

[31]  Suryanarayana M. Sripada,et al.  A logical framework for temporal deductive databases , 1988, VLDB.

[32]  Werner Nutt,et al.  Subsumption between queries to object-oriented databases , 1994, Inf. Syst..

[33]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[34]  Matthias Jarke,et al.  Database Application Engineering with DAIDA , 1993, Research Reports ESPRIT.

[35]  Colin Atkinson,et al.  Reducing accidental complexity in domain models , 2008, Software & Systems Modeling.

[36]  Matthias Jarke,et al.  Generic schema mappings for composition and query answering , 2009, Data Knowl. Eng..

[37]  Matthias Jarke,et al.  DAIDA: an environment for evolving information systems , 1992, TOIS.

[38]  Matthias Jarke,et al.  Application Experience with a Repository System for Information Systems Development , 1999, EMISA.

[39]  Gerhard Weikum,et al.  YAGO2: A Spatially and Temporally Enhanced Knowledge Base from Wikipedia: Extended Abstract , 2013, IJCAI.

[40]  Christoph Quix,et al.  Semantic matching of ontologies , 2010, OM.

[41]  John Mylopoulos,et al.  Accomodating Integrity Constraints During Database Design , 1996, EDBT.

[42]  Janis A. Bubenko,et al.  Theories underlying requirements engineering: an overview of NATURE at Genesis , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[43]  Arantza Illarramendi,et al.  Query optimization for KBMSs: temporal, syntactic and semantic transformations , 1992, [1992] Eighth International Conference on Data Engineering.

[44]  John Mylopoulos,et al.  Capturing more world knowledge in the requirements specification , 1982, ICSE '82.

[45]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[46]  Marcela Vegetti,et al.  PRONTO: An ontology for comprehensive and consistent representation of product information , 2011, Eng. Appl. Artif. Intell..

[47]  Panos Constantopoulos,et al.  CULTURAL DOCUMENTATION: THE CLIO SYSTEM , 1994 .

[48]  Richard Stevens,et al.  Requirements Traceability , 1997, RE.

[49]  Manolis Koubarakis,et al.  Strabon: A Semantic Geospatial DBMS , 2012, SEMWEB.

[50]  Martin Homola,et al.  Expressive Description Logic with Instantiation Metamodelling , 2016, KR.

[51]  Robert A. Kowalski,et al.  Amalgamating language and metalanguage in logic programming , 1982 .

[52]  Raymond Reiter,et al.  On Integrity Constraints , 1988, TARK.

[53]  Bernd Neumayr,et al.  DeepTelos: Multi-level Modeling with Most General Instances , 2016, ER.

[54]  Claudio Gutiérrez,et al.  Temporal RDF , 2005, ESWC.

[55]  William N. Robinson,et al.  Managing Requirements Inconsistency with Development Goal Monitors , 1999, IEEE Trans. Software Eng..

[56]  Michael J. Maher,et al.  Foundations of Deductive Databases and Logic Programming , 1988 .

[57]  John Mylopoulos,et al.  Concurrency Control for Knowledge Bases , 1993, HPTS.

[58]  Gerhard Lakemeyer,et al.  Continuous requirements management for organisation networks: a (dis)trust-based approach , 2003, Requirements Engineering.

[59]  Fred Halsall,et al.  Telecommunications service development: A design methodology and its intelligent support , 1997 .

[60]  Richard T. Snodgrass,et al.  A taxonomy of time databases , 1985, SIGMOD Conference.

[61]  Manolis Koubarakis,et al.  Database models for infinite and indefinite temporal information , 1994, Inf. Syst..

[62]  Hector J. Levesque,et al.  An Overview of a Procedural Approach to Semantic Networks , 1977, IJCAI.

[63]  Matthias Jarke,et al.  The NATURE of Requirements Engineering , 1999 .

[64]  Jeff Z. Pan,et al.  OWL FA: a metamodeling extension of OWL D , 2006, WWW '06.

[65]  Konstantina Bereta,et al.  Representation and Querying of Valid Time of Triples in Linked Geospatial Data , 2013, ESWC.

[66]  Matthias Jarke,et al.  Evolution in Domain Model-Based Requirements Engineering for Control Systems Development , 2009, 2009 17th IEEE International Requirements Engineering Conference.

[67]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[68]  Matthias Jarke,et al.  Rule representation and management in conceptbase , 1989, SGMD.

[69]  Matthias Jarke,et al.  Metamodeling for Method Engineering , 2009 .

[70]  Manolis Koubarakis,et al.  Representation and querying in temporal databases: the power of temporal constraints , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[71]  Martin Doerr,et al.  Repositories for Software Reuse: The Software Information Base , 1993, Information System Development Process.

[72]  Martin Doerr,et al.  The CIDOC Conceptual Reference Module: An Ontological Approach to Semantic Interoperability of Metadata , 2003, AI Mag..

[73]  Ramanathan V. Guha,et al.  The evolution of CycL, the Cyc representation language , 1991, SGAR.

[74]  Philip A. Bernstein,et al.  A vision for management of complex models , 2000, SGMD.

[75]  Manolis Koubarakis,et al.  Temporal CSPs , 2006, Handbook of Constraint Programming.

[76]  Simone A. Ludwig,et al.  Performance Analysis of a Deductive Database with a Semantic Web Reasoning Engine: ConceptBase and Racer , 2009, SEKE.

[77]  James F. Allen An Interval-Based Representation of Temporal Knowledge , 1981, IJCAI.

[78]  Manfred A. Jeusfeld,et al.  Metamodeling and method engineering with ConceptBase , 2009 .

[79]  Matthias Jarke,et al.  Managing knowledge about information system evolution , 1988, SIGMOD '88.

[80]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[81]  Maurizio Lenzerini,et al.  A Higher-Order Semantics for Metaquerying in OWL 2 QL , 2016, KR.

[82]  Ian Horrocks,et al.  RDFS(FA) and RDF MT: Two Semantics for RDFS , 2003, SEMWEB.

[83]  John Mylopoulos,et al.  Representing Partial Spatial Information in Databases , 1996, ER.

[84]  Simon Miles,et al.  The Semantic Web. ISWC 2005: 4th International Semantic Web Conference , 2005 .

[85]  Maurizio Lenzerini,et al.  Answering Metaqueries over Hi (OWL 2 QL) Ontologies , 2016, IJCAI.

[86]  Adel Shrufi Performances of clustering policies in object bases , 1994, CIKM '94.

[87]  Matthias Jarke,et al.  An ontology-based approach to knowledge management in design processes , 2008, Comput. Chem. Eng..

[88]  Philip A. Bernstein,et al.  Model management 2.0: manipulating richer mappings , 2007, SIGMOD '07.

[89]  Sandra Geisler,et al.  Automatic schema merging using mapping constraints among incomplete sources , 2010, CIKM.

[90]  Matthias Jarke,et al.  Incremental Maintenance of Externally Materialized Views , 1996, VLDB.

[91]  Maria Simi,et al.  Knowledge Embedding in the Description System Omega , 1980, AAAI.

[92]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[93]  Matthias Jarke,et al.  Managing Multiple Requirements Perspectives with Metamodels , 1996, IEEE Softw..

[94]  Dimitris Plexousakis,et al.  Compilation and Simplification of Temporal Integrity Constraints , 1995, Rules in Database Systems.

[95]  Huaiqing Wang,et al.  Implementing Telos , 1991, SGAR.

[96]  H. Chertkow,et al.  Semantic memory , 2002, Current neurology and neuroscience reports.

[97]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[98]  John Mylopoulos,et al.  Building knowledge base management systems , 1996, The VLDB Journal.

[99]  Matthias Jarke,et al.  Lessons Learned from Co-operative Terminology Work in the Medical Domain , 1998, MedInfo.

[100]  W. Nejdl,et al.  OTelosRDF: A Resource Description Format with Enhanced MetaModeling Functionalities Based on OTelos , 2001, Semannot@K-CAP 2001.

[101]  Michael Kifer,et al.  HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs , 1989, NACLP.

[102]  Thodoros Topaloglou,et al.  Storage management for knowledge bases , 1993, CIKM '93.

[103]  Amit P. Sheth,et al.  Don't like RDF reification?: making statements about statements using singleton property , 2014, WWW.

[104]  Matthias Jarke,et al.  Toward Reference Models of Requirements Traceability , 2001, IEEE Trans. Software Eng..

[105]  Asunción Gómez-Pérez,et al.  The Semantic Web: Research and Applications, Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29 - June 1, 2005, Proceedings , 2005, ESWC.

[106]  Olaf Hartig,et al.  Foundations of RDF⋆ and SPARQL⋆ (An Alternative Approach to Statement-Level Metadata in RDF) , 2017, AMW.

[107]  Boris Motik,et al.  Metalevel Information in Ontology-Based Applications , 2008, AAAI.

[108]  Vassilis Christophides,et al.  The ICS-FORTH RDFSuite: Managing Voluminous RDF Description Bases , 2001, SemWeb.

[109]  Steven Kelly,et al.  Evolution and issues in metaCASE , 1996, Inf. Softw. Technol..

[110]  Matthias Jarke,et al.  View-Based Near Real-Time Collaborative Modeling for Information Systems Engineering , 2016, CAiSE.

[111]  Manolis Koubarakis,et al.  Querying incomplete information in RDF with SPARQL , 2016, Artif. Intell..

[112]  Manolis Koubarakis,et al.  Modeling and Querying Metadata in the Semantic Sensor Web: The Model stRDF and the Query Language stSPARQL , 2010, ESWC.

[113]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[114]  Peter B. Ladkin,et al.  The Completeness of a Natural System for Reasoning with Time Intervals , 1987, IJCAI.

[115]  Matthias Jarke,et al.  GeRoMe: A Generic Role Based Metamodel for Model Management , 2005, J. Data Semant..

[116]  Jaelson Brelaz de Castro,et al.  Support for Structuring Mechanism in the Integration of Organizational Requirements and Object Orien , 2002, WER.

[117]  Matthias Jarke,et al.  ConceptBase — A deductive object base for meta data management , 1995, Journal of Intelligent Information Systems.

[118]  Sudha Ram,et al.  Understanding the Semantics of Data Provenance to Support Active Conceptual Modeling , 2006, Active Conceptual Modeling of Learning.

[119]  Dimitris Plexousakis,et al.  SEMANTICAL AND ONTOLOGICAL CONSIDERATIONS IN TELOS: A LANGUAGE FOR KNOWLEDGE REPRESENTATION DIMITRIS PLEXOUSAKIS , 1993, Comput. Intell..

[120]  Manfred A. Jeusfeld Änderungskontrolle in deduktiven Datenbanken , 1992, DISKI.

[121]  John Mylopoulos,et al.  Domain-Specific Conceptual Modeling: Concepts, Methods and Tools , 2016 .

[122]  Maurizio Lenzerini,et al.  Higher-Order Description Logics for Domain Metamodeling , 2011, AAAI.

[123]  Daniel J. Abadi,et al.  Scalable Semantic Web Data Management Using Vertical Partitioning , 2007, VLDB.

[124]  Carlo Zaniolo,et al.  Logic and Databases: A History of Deductive Databases , 2014, Computational Logic.

[125]  Douglas T. Ross,et al.  Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.

[126]  Markus Krötzsch,et al.  Reifying RDF: What Works Well With Wikidata? , 2015, SSWS@ISWC.

[127]  Matthias Jarke,et al.  The software information base: A server for reuse , 2005, The VLDB Journal.

[128]  Neil A. M. Maiden,et al.  Multi-perspective requirements engineering within NATURE , 1996, Requirements Engineering.

[129]  Michael Kifer,et al.  Deductive and Object Data Languages: A Quest for Integration , 1995, DOOD.

[130]  Matthias Jarke,et al.  A software process data model for knowledge engineering in information systems , 1990, Inf. Syst..

[131]  Boris Motik,et al.  On the Properties of Metamodeling in OWL , 2005, J. Log. Comput..

[132]  John A. Zachman,et al.  A Framework for Information Systems Architecture , 1987, IBM Syst. J..

[133]  Ian Horrocks,et al.  RDFS(FA): Connecting RDF(S) and OWL DL , 2007, IEEE Transactions on Knowledge and Data Engineering.