Abstract
The chapter presents problems related to information modelling with a focus on syntactic versus semantic modelling, model building and model validation. It is shown that an information model (IM) behaves like a theory of the modelled universe of discourse (UoD) and that it can be used to reason about the properties of the UoD. In addition, information modelling is shown to be a suitable basis for an integrated and uniform description of various perspectives of the given UoD and that hierarchies of IMs can be used to fill the gap between the conceptual and the operational descriptions of the UoD.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barton D.L.: Steps Toward a More Precise Relationship Between Elements of the Application Protocol Models and Formal Systems Specifications. Proc. EII’94 Conference, The Claremont Resort, Oakland, California, 4–5 May, 1994, pp 79–88
Standards for Electronic Design Automation, Release 1.0. CAD Framework Initiative, Inc., 4030 W. Braker Lane, Suite 550, Austin, Texas 78759 USA, 1992
Coyne R.D. et al.: Knowledge-Based Design Systems, Addison Wesley, 1990
Electronic Design Interchange Format Version 3 0 0. ANSI/EIA 618 Electronic Industries Association, EDIF Division, Arlington, Virginia USA, 1993
Scholz, G. and Wilkes, W. in Appendix B of ESIP/UMAN/22.1 “Consolidated Specification of an EDIF CFI DR Core Model for Netlist”, September 1995
Giumale C. A. and Kahn H. J.: An Information Model of Time. Proc. 30th IEEE/ACM Design Automation Conference, Dallas 14–18 June 1993, pp 668–672
Giumale and Kahn H. J.: Information Modelling of VHDL. Proc. 32nd IEEE/ACM Design Automation Conference, San Francisco, California USA, 12–17 June 1995, pp 678–684
Hainaut J-L, Cadelli M., Decuyper B., Marchand O.: Data Base Case Tool Architecture: Principles for Flexible Design Strategies. Proc. 4th International Conference CAiSE’92, Manchester UK, May 1992, pp 187–207
ISO TC184/SC4 ISO 10303 Industrial Automation Systems and Integration- Product Data Representation and Exchange — Part 11: EXPRESS Language Reference Manual 1994
Jones C. B.: Systematic Software Development Using VDM. Prentice Hall 1986
Jaakkola H., Kangassalo H. and Oshuga S. (editors): Advances in Information Modelling and Knowledge Bases, IOS Press Inc. 1991
Lau R. Y. W. and Kahn H. J.: Information Modelling in EDIF. Proc. 30th IEEE/ACM Design Automation Conference, Dallas 14–18 June 1993, pp 278–283
Liskov B. and Guttag J.: Abstraction and Specification in Program Development. MIT Press 1986
Newell S.: Unified Theories of Cognition, Harvard University Press, 1990
Schaefers L., Mueller W. and Wilkes W.: Examination of Concepts in Existing Modelling Languages/Methodologies to Model Behavioural Semantics. Deliverable Report ECIP2/HU/008–1, 1992
Spivey R.: The Z Notation. Prentice Hall 1992
ISO TC184/SC4 ISO 10303 Industrial Automation Systems and Integration- Product Data Representation and Exchange — Part 1: Overview and Fundamental Principles, 1992, ISO Committee Draft
Teganeanu A.: “Consolidated Specification of an EDIF CFI DR Core Model for Netlist”, Technical Report ESIP/UMAN/22.1 University of Manchester, UK 1995
Ullman J. D.: Principles of Database and Knowledge-Base Systems, Vol. 1, 2. Freeman, 1988/1989
IEEE Standard VHDL Language. Reference Manual (IEEE Std 1076–1987/1993), IEEE, Inc., 345 East 47th Street, New York, NY 10017, USA, 1988/1993
Wegner P.: Object Oriented Classification Paradigm. In Bruce S. and Wegner P. (editors): Research Directions in Object Oriented Programming, MIT Press 1987, pp 479–560
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
Giumale, C.A., Kahn, H.J. (1996). A View of Information Modelling. In: Bergé, JM., Levia, O., Rouillard, J. (eds) Meta-Modeling. Current Issues in Electronic Modeling, vol 6. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1347-2_3
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1347-2_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8580-9
Online ISBN: 978-1-4613-1347-2
eBook Packages: Springer Book Archive