A Research Agenda for Conceptual Schema-Centric Development

Conceptual schema-centric development (CSCD) is a research goal that reformulates the historical aim of automating information systems development. In CSCD, conceptual schemas would be explicit, executable in the production environment and the basis for the system’s evolution. To achieve the CSCD goal, several research problems must be solved. In this paper we identify and comment on sixteen problems that should be included in a research agenda for CSCD.

[1]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

[2]  Inderpal Singh Mumick,et al.  Selection of views to materialize in a data warehouse , 1997, IEEE Transactions on Knowledge and Data Engineering.

[3]  Kenneth A. Ross,et al.  Adapting materialized views after redefinitions , 1995, SIGMOD '95.

[4]  Peretz Shoval,et al.  Hierarchical entity-relationship diagrams: the model, method of creation and experimental evaluation , 2004, Requirements Engineering.

[5]  Johann Schumann,et al.  Automated Theorem Proving in Software Engineering , 2001, Springer Berlin Heidelberg.

[6]  Tom Mens,et al.  A survey of software refactoring , 2004, IEEE Transactions on Software Engineering.

[7]  John Mylopoulos,et al.  On the Frame Problem in Procedure Specifications , 1995, IEEE Trans. Software Eng..

[8]  John F. Sowa,et al.  Knowledge Representation Logical, Philosophical, and Computational Foundations A Review , 2000 .

[9]  Michael Schrefl,et al.  On the Road to Behavior-Based Integration , 2004, APCCM.

[10]  Jacky Akoka,et al.  Entity-Relationship and Object-Oriented Model Automatic Clustering , 1996, Data Knowl. Eng..

[11]  David Chenho Kung,et al.  Information Systems Engineering , 1993, Springer Berlin Heidelberg.

[12]  Rik Eshuis,et al.  Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts , 2002, Requirements Engineering.

[13]  Friedrich Steimann,et al.  Coding for the Code , 2005, ACM Queue.

[14]  Roel Wieringa,et al.  A survey of structured and object-oriented software specification methods and techniques , 1998, CSUR.

[15]  Silvana Castano,et al.  Conceptual schema analysis: techniques and applications , 1998, TODS.

[16]  Daniel L. Moody,et al.  Evaluating the quality of information models: empirical testing of a conceptual model quality framework , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[17]  W. J. Kubitz,et al.  Biting the silver bullet: toward a brighter future for system development , 1992 .

[18]  Arthur B. Markman,et al.  Knowledge Representation , 1998 .

[19]  Robert G. Mays.  Forging a Silver Bullet from the Essence of Software , 1994, IBM Syst. J..

[20]  David Harel,et al.  Biting the silver bullet: toward a brighter future for system development , 1992, Computer.

[21]  Stephen J. Mellor,et al.  Executable UML - A Foundation for Model-Driven Architecture , 2002, Addison Wesley object technology series.

[22]  Martin Gogolla,et al.  Validation of UML and OCL Models by Automatic Snapshot Generation , 2003, UML.

[23]  Ashish Gupta,et al.  Materialized views: techniques, implementations, and applications , 1999 .

[24]  Kathi Hogshead Davis,et al.  Data reverse engineering: a historical survey , 2000, Proceedings Seventh Working Conference on Reverse Engineering.

[25]  Antoni Olivé.  Derivation Rules in Object-Oriented Conceptual Modeling Languages , 2003, CAiSE.

[26]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[27]  John Mylopoulos.  Environments for the Development of Specifications (Panel) , 1986, IFIP Congress.

[28]  Michael L. Brodie,et al.  On Conceptual Modelling , 1984, Topics in Information Systems.

[29]  Richard C. Waters,et al.  Automatic programming: myths and prospects , 1988, Computer.

[30]  Guttorm Sindre,et al.  Evaluating the Quality of Process Models: Empirical Testing of a Quality Framework , 2002, ER.

[31]  Mary Shaw,et al.  Software engineering education: a roadmap , 2000, ICSE '00.

[32]  Gunter Saake,et al.  Logics for databases and information systems , 1998 .

[33]  Michael Gertz,et al.  Semantic integrity support in SQL:1999 and commercial (object-)relational database management systems , 2001, The VLDB Journal.

[34]  Wolfgang Bibel,et al.  Automated Theorem Proving , 1987, Artificial Intelligence / Künstliche Intelligenz.

[35]  Cristina Gómez,et al.  Evolving Derived Entity Types in Conceptual Schemas in the UML , 2003, OOIS.

[36]  Letizia Tanca,et al.  Automatic generation of production rules for integrity maintenance , 1994, TODS.

[37]  John Mylopoulos,et al.  Information Modeling in the Time of the Revolution , 1998, Inf. Syst..

[38]  Philip A. Bernstein,et al.  Merging Models Based on Given Correspondences , 2003, VLDB.

[39]  Sjaak Brinkkemper,et al.  Information Systems Engineering: State of the Art and Research Themes , 2000 .

[40]  P. Tonella.  Reverse engineering of object oriented code , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[41]  Antoni Olivé,et al.  Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research , 2005, CAiSE.

[42]  Ernest Teniente,et al.  On the abductive or deductive nature of database schema validation and update processing problems , 2003, Theory and Practice of Logic Programming.

[43]  Philip A. Bernstein,et al.  Applying Model Management to Classical Meta Data Problems , 2003, CIDR.

[44]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1975 .

[45]  Ron Weber,et al.  Research Commentary: Information Systems and Conceptual Modeling - A Research Agenda , 2002, Inf. Syst. Res..

[46]  Bernhard Thalheim,et al.  Future Directions of Conceptual Modeling , 1997, Conceptual Modeling.

[47]  Diego Calvanese,et al.  Description Logics for Conceptual Data Modeling , 1998, Logics for Databases and Information Systems.

[48]  Paolo Tonella,et al.  Reverse Engineering of Object Oriented Code (Monographs in Computer Science) , 2004 .

[49]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1976, IEEE Trans. Software Eng..

[50]  Stefano Spaccapietra,et al.  Issues and approaches of database integration , 1998, CACM.

[51]  Jordi Cabot,et al.  Incremental Evaluation of OCL Constraints , 2006, CAiSE.

[52]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.

[53]  Yuefeng Zhang.  Test-Driven Modeling for Model-Driven Development , 2004, IEEE Softw..

[54]  Arne Sølvberg,et al.  Understanding quality in conceptual modeling , 1994, IEEE Software.

[55]  Jean-Luc Hainaut,et al.  Strategy for Database Application Evolution: The DB-MAIN Approach , 2003, ER.

[56]  Bernhard Thalheim,et al.  Towards a theory of consistency enforcement , 1999, Acta Informatica.

[57]  D. A Jardine,et al.  Concepts and terminology for the conceptual schema and the information base , 1984 .

[58]  Victor R. Basili,et al.  How reuse influences productivity in object-oriented systems , 1996, CACM.

[59]  Alexander Egyed,et al.  Instant consistency checking for the UML , 2006, ICSE.