Characterizing Information Modeling Techniques

Information modeling is concerned with the construction of symbolic structures which capture the meaning of information and organize it in ways that make it understandable and useful to people. Given that information is becoming a ubiquitous, abundant and precious resource, information modeling is serving as a core technology for information systems engineering. We present a brief history of information modeling techniques in Computer Science and survey such techniques developed within Knowledge Representation (Artificial Intelligence), Data Modeling (Databases), and Requirements Analysis (Software Engineering and Information Systems). The presentation then offers a comparative framework for information modeling proposals which classifies them according to their ontologies, i.e., the type of application for which they are intended, the set of abstraction mechanisms (or, structuring principles) they support, as well as the tools they provide for building, analyzing, and managing application models. Examples of ontologies include static worlds consisting of entities and relationships, or dynamic ones consisting of processes. Generalization, aggregation, and classification are three of the best known abstraction mechanisms, adopted by many information models and used widely in information modeling practice. The final component of the paper uses the comparative framework proposed earlier to assess well known information modeling techniques, both from a user and a designer perspective.

[1]  Peter C. Lockemann,et al.  Databases for knowledge bases: empirical study of a knowledge base management system for a semantic network , 1991, Data Knowl. Eng..

[2]  John Mylopoulos,et al.  Classes and Instances , 1992, Int. J. Cooperative Inf. Syst..

[3]  David W. Embley,et al.  Object-oriented systems analysis , 1992 .

[4]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[5]  J. BrachmanR. What IS-A Is and Isn't , 1983 .

[6]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[7]  Gio Wiederhold,et al.  Database Design , 1977 .

[8]  Edward Yourdon,et al.  Object-oriented analysis , 2012 .

[9]  M. Bunge Treatise on basic philosophy , 1974 .

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

[11]  Philippe Massonet,et al.  Analogical reuse of requirements frameworks , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[12]  Stuart C. Shapiro,et al.  Intensional Concepts in Propositional Semantic Networks , 1982, Cogn. Sci..

[13]  Hector J. Levesque,et al.  Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.

[14]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[15]  Vassilis Prevelakis,et al.  Perspectives on Software Development Environments , 1993, CAiSE.

[16]  Henry A. Kautz,et al.  Constraint propagation algorithms for temporal reasoning: a revised report , 1989 .

[17]  Ronald J. Brachman,et al.  What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks , 1983, Computer.

[18]  Peter P. Chen The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[19]  E. Dubois,et al.  A knowledge representation language for requirements engineering , 1986, Proceedings of the IEEE.

[20]  John Mylopoulos,et al.  Foundations of Knowledge Base Management , 1989, Topics in Information Systems.

[21]  Patrick J. Hayes,et al.  The second naive physics manifesto , 1995 .

[22]  William N. Robinson,et al.  Supporting multi-perspective requirements engineering , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[23]  Elisa Bertino,et al.  A View Mechanism for Object-Oriented Databases , 1992, EDBT.

[24]  Graeme Hirst,et al.  Ontological Assumptions in Knowledge Representation , 1989, KR.

[25]  Michael Z. Spivey,et al.  The Z notation , 1989 .

[26]  Alan M. Davis,et al.  Software Requirements: Objects, Functions and States , 1993 .

[27]  J. Pfeffer,et al.  The External Control of Organizations. , 1978 .

[28]  Ernest Davis,et al.  Representing and Acquiring Geographic Knowledge , 1986 .

[29]  Markus Tresch,et al.  Updatable Views in Object-Oriented Databases , 1991, DOOD.

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

[31]  Moira C. Norrie,et al.  Coordination System Modelling , 1994, ER.

[32]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[33]  Thomas E. Bell,et al.  Software requirements: Are they really a problem? , 1976, ICSE '76.

[34]  Yishai A. Feldman,et al.  Seven Layers of Knowledge Representation and Reasoning in Support of Software Development , 1992, IEEE Trans. Software Eng..

[35]  Rudolf Carnap,et al.  The logical structure of the world & pseudoproblems in philosophy , 1967 .

[36]  Robert N. Stern,et al.  The External Control of Organizations: A Resource Dependence Perspective. , 1979 .

[37]  I. A. Macfarlane,et al.  Requirements traceability in an integrated development environment , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[38]  Tony Hoare,et al.  Hierarchical Program Structures , 1972 .

[39]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[40]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[41]  Janis A. Bubenko,et al.  Information Modeling in the Context of System Development , 1980, IFIP Congress.

[42]  Anne Lohrli Chapman and Hall , 1985 .

[43]  Ron Weber,et al.  An Ontological Model of an Information System , 1990, IEEE Trans. Software Eng..

[44]  Randy H. Katz,et al.  Toward a unified framework for version modeling in engineering databases , 1990, CSUR.

[45]  Michael L. Begeman,et al.  gIBIS: a hypertext tool for exploratory policy discussion , 1988, CSCW '88.

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

[47]  E. F. Codd,et al.  Relational database: a practical foundation for productivity , 1982, CACM.

[48]  Bill Curtis,et al.  Process modeling , 1992, CACM.

[49]  John Mylopoulos,et al.  Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..

[50]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[51]  Joan Peckham,et al.  Semantic data models , 1988, CSUR.

[52]  Serge Abiteboul,et al.  Objects and views , 1991, SIGMOD '91.

[53]  Henry Mintzberg,et al.  The Structuring of Organizations , 1979 .

[54]  Eric Dubois,et al.  Elaborating, Structuring and Expressing Formal Requirements of Composite Systems , 1992, CAiSE.

[55]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[56]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[57]  Luiz Fernando Capretz,et al.  OBJECT-ORIENTED CONCEPTS , 1996 .

[58]  John Mylopoulos On knowledge base management systems , 1986 .

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

[60]  Nicholas V. Findler,et al.  Associative Networks- Representation and Use of Knowledge by Computers , 1980, CL.

[61]  Elisa Bertino,et al.  Composite objects revisited , 1989, SIGMOD '89.

[62]  Arne Sølvberg A Contribution to the Definition of Concepts for Expressing Users' Information Systems Requirements , 1979, ER.

[63]  E. F. Codd,et al.  Further Normalization of the Data Base Relational Model , 1971, Research Report / RJ / IBM / San Jose, California.

[64]  Alexander Borgida,et al.  Features Of Languages for the Development of Information Systems at the conceptual Level , 1985, IEEE Software.

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

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

[67]  Gary G. Hendrix,et al.  Encoding Knowledge in Partitioned Networks , 1979 .

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

[69]  Richard M. Young,et al.  Options and Criteria: Elements of design space analysis , 1991 .

[70]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

[71]  Jay R. Galbraith Designing Complex Organizations , 1973 .

[72]  Anthony G. Cohn On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning , 1989, KR.

[73]  Dov M. Gabbay,et al.  Inconsistency Handling in Multi-Perspective Specifications , 1993, ESEC.

[74]  Martin S. Feather,et al.  Language support for the specification and development of composite systems , 1987, TOPL.

[75]  Gruia-Catalin Roman,et al.  A taxonomy of current issues in requirements engineering , 1985, Computer.

[76]  Bashar Nuseibeh,et al.  Expressing the relationships between multiple views in requirements specification , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[77]  G. Miller,et al.  Language and Perception , 1976 .

[78]  Colin Potts,et al.  Recording the reasons for design decisions , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[79]  Alexander Borgida,et al.  Modeling class hierarchies with contradictions , 1988, SIGMOD '88.

[80]  John A. McDermid,et al.  Ten steps towards systematic requirements reuse , 2008, Requirements Engineering.

[81]  Robert Balzer,et al.  Operational specification as the basis for rapid prototyping , 1982 .

[82]  John Mylopoulos,et al.  AI Models for Business Process Reengineering , 1996, IEEE Expert.

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

[84]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[85]  Douglas T. Ross,et al.  Structured Analysis for Requirements Definition , 1977, IEEE Transactions on Software Engineering.

[86]  Eric S. K. Yu,et al.  Modeling organizations for information systems requirements engineering , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[87]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[88]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

[89]  Ronald J. Brachman,et al.  ON THE EPISTEMOLOGICAL STATUS OF SEMANTIC NETWORKS , 1979 .

[90]  Carl Hewitt,et al.  Procedural Embedding of knowledge in Planner , 1971, IJCAI.

[91]  James F. Allen Towards a General Theory of Action and Time , 1984, Artif. Intell..

[92]  Peter F. Patel-Schneider,et al.  The DARPA Knowledge Sharing Effort: A Progress Report , 1997, KR.

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

[94]  Jennifer Widom,et al.  Research problems in data warehousing , 1995, CIKM '95.

[95]  John McCarthy,et al.  Programs with common sense , 1960 .

[96]  HammerMichael,et al.  Database description with SDM , 1981 .

[97]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[98]  H. Levesque,et al.  A PROCEDURAL SEMANTICS FOR SEMANTIC NETWORKS , 1979 .

[99]  Richard H. Thayer,et al.  System and Software Requirements Engineering , 1994 .

[100]  James Martin,et al.  Object-oriented analysis and design , 1992 .

[101]  Chuck Rieger,et al.  An Organization of Knowledge for Problem Solving and Language Comprehension , 1976, Artif. Intell..

[102]  Yair Wand,et al.  A Proposal for a Formal Model of Objects , 1989, Object-Oriented Concepts, Databases, and Applications.

[103]  John Mylopoulos,et al.  Readings in Artificial Intelligence and Databases , 1988 .

[104]  Alain Pirotte,et al.  Materialization: A Powerful and Ubiquitous Abstraction Pattern , 1994, VLDB.

[105]  John Mylopoulos,et al.  Understanding "why" in software process modelling, analysis, and design , 1994, Proceedings of 16th International Conference on Software Engineering.

[106]  Pierre-Yves Schobbens,et al.  Exceptions for Algebraic Specifications: On the Meaning of "but" , 1993, Sci. Comput. Program..

[107]  Stephen J. Mellor,et al.  Object Oriented Systems Analysis: Modeling the World in Data , 1988 .