Newsgroups: comp.object,comp.object.logic,comp.software-eng
Path: cantaloupe.srv.cs.cmu.edu!rochester!cornell!travelers.mail.cornell.edu!news.kei.com!news.mathworks.com!zombie.ncsc.mil!news.duke.edu!agate!news.ossi.com!news.fujitsu.com!amdahl.com!pacbell.com!att-out!walter!news
From: haim@cc.bellcore.com (Haim Kilov)
Subject: Re: Metamodelisation
Message-ID: <D4IMy3.AMq@walter.bellcore.com>
X-Posted-From: InterNews 1.0.1@haim.ims.bellcore.com
Lines: 22
Sender: -Not-Authenticated-[8765]
Nntp-Posting-Host: haim.ims.bellcore.com
Organization: Bellcore
References:  <PIETRAC.95Feb24103716@lurpa8.ens-cachan.fr>
Date: Fri, 24 Feb 1995 17:51:38 GMT
Xdisclaimer: No attempt was made to authenticate the sender's name.
Xref: glinda.oz.cs.cmu.edu comp.object:27318 comp.object.logic:351 comp.software-eng:30780

In article <PIETRAC.95Feb24103716@lurpa8.ens-cachan.fr>
pietrac@lurpa8.ens-cachan.fr (PIETRAC Laurent) writes:

> I'm interisting by metamodelisation as a method to making more rigorous the definition of the different conception languages for production systems. 

There exists some work in using formal specifications for doing so. To
do that, a concept is usually specified declaratively. There also exist
international standards that define some concepts in a precise manner
in stylized English. The ISO Reference Model for Open Distributed
Processing is the most notable of these standards. Read it!

You may also wish to browse our recent book "Information modeling: an
object-oriented approach" (by H.Kilov and J.Ross), Prentice-Hall, 1994,
which presents precise (and formal) definitions of generic associations
(e.g., composition and its subtypes) used in all applications. These
definitions are methodology- and tool-independent.

Hope this helps.

-Haim Kilov
haim@cc.bellcore.com
