A retrospective on Telos as a metamodeling language for requirements engineering
暂无分享,去创建一个
Matthias Jarke | John Mylopoulos | Martin Doerr | Alexander Borgida | Panos Constantopoulos | Manfred A. Jeusfeld | Manolis Koubarakis | Dimitris Plexousakis | Manolis Koubarakis | J. Mylopoulos | M. Jarke | M. Doerr | Alexander Borgida | D. Plexousakis | M. Jeusfeld | P. Constantopoulos
[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.