Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research

The goal of automating information systems building was stated in the sixties. Forty years later it is clear that the goal has not been achieved in a satisfactory degree. One of the problems has been the lack of standards in languages and platforms. In this respect, the recent efforts on standardization provide an opportunity to revive the automation goal. This is the main purpose of this paper. We have named the goal “conceptual schema-centric development” (CSCD) in order to emphasize that the conceptual schema should be the center of the development of information systems. We show that to develop an information system it is necessary to define its conceptual schema and that, therefore, the CSCD approach does not place an extra burden on developers. In CSCD, conceptual schemas would be explicit, executable in the production environment and the basis for the system evolution. To achieve the CSCD goal it is necessary to solve many research problems. We identify and comment on a few problems that should be included in a research agenda for CSCD. Finally, we show that the CSCD goal can be qualified as a grand challenge for the information systems research community.

[1]  Gregory R. Ruth Automatic programming: Automating the software system development process , 1977, ACM '77.

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

[3]  Bernhard Thalheim,et al.  Entity-relationship modeling - foundations of database technology , 2010 .

[4]  Antoni Olivé,et al.  On the Role of Conceptual Schemas in Information Systems Development , 2004, Ada-Europe.

[5]  Magnus Boman,et al.  Conceptual modelling , 1997 .

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

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

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

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

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

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

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

[13]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[14]  Martin Gogolla,et al.  Tool support for validating UML and OCL models through automatic snapshot generation , 2003 .

[15]  Professor Dr. Bernhard Thalheim Entity-Relationship Modeling , 2000, Springer Berlin Heidelberg.

[16]  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.

[17]  C. A. R. Hoare,et al.  The verifying compiler: A grand challenge for computing research , 2003, JACM.

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

[19]  Inderpal Singh Mumick,et al.  Selection of Views to Materialize in a Data Warehouse , 2005, IEEE Trans. Knowl. Data Eng..

[20]  Kenneth A. Ross,et al.  Adapting materialized views after redefinitions: techniques and a performance study , 2001, Inf. Syst..

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

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

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

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

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

[26]  Colette Rolland,et al.  From conceptual modelling to requirements engineering , 2000, Ann. Softw. Eng..

[27]  Colette Rolland From Conceptual Modeling to Requirements Engineering , 2006, ER.

[28]  Jim Gray,et al.  What next?: A dozen information-technology research goals , 1999, JACM.

[29]  Antoni Olivé,et al.  Definition of Events and Their Effects in Object-Oriented Conceptual Modeling Languages , 2004, ER.

[30]  Vicente Pelechano,et al.  The OO-method approach for information systems modeling: from object-oriented conceptual modeling to automated programming , 2001, Inf. Syst..

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

[32]  Kent L. Beck,et al.  Extreme programming explained - embrace change , 1990 .

[33]  Peter Fettke,et al.  Model Driven Architecture (MDA) , 2003, Wirtsch..

[34]  Jay F. Nunamaker A methodology for the design and optimization of information processing systems , 1971, AFIPS '71 (Spring).

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

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

[37]  Kent L. Beck,et al.  Test-driven Development - by example , 2002, The Addison-Wesley signature series.

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

[39]  Ernest Teniente,et al.  Consistency preserving updates in deductive databases , 2003, Data Knowl. Eng..

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

[41]  Eric J. Evans,et al.  Domain-driven design , 2003 .

[42]  Vicente Pelechano,et al.  Development of Web Applications from Web Enhanced Conceptual Schemas , 2003, ER.

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

[44]  Stuart C. Shapiro Review of Knowledge representation: logical, philosophical, and computational foundations by John F. Sowa. Brooks/Cole 2000. , 2001 .

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

[46]  Antoni Olivé,et al.  Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages , 2003, ER.

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

[48]  Thomas E. Cheatham,et al.  Software Technology in the 1990's: Using a New Paradigm , 1983, Computer.

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

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

[51]  Peri Loucopoulos,et al.  Conceptual Modeling, Databases, and Case: An Integrated View of Information Systems Development , 1992 .

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