A logic-based information modelling language

0
95

Authors: J.J. van GRIETHUYSEN

Tags: 1987, conceptual modeling, D.A. JARDINE

A user-friendly language INFOMOD, intended for information modelling and information systems specification, is described. The language, based on predicate logic, fulfills the role of an implementationindependent Conceptual Schema Language. Both static and dynamic aspects of information systems are specifiable in the language. The language has been in practical use for three years, and has been found, suitable for many different kinds of systems, such as conventional database systems, computer-aided manufacturing systems, special purpose information systems, and some expert systems.

Read the full paper here: https://pdf.sciencedirectassets.com/271546/1-s2.0-S0169023X00X01449/1-s2.0-0169023X87900097/main.pdf?X-Amz-Security-Token=IQoJb3JpZ2luX2VjEJX%2F%2F%2F%2F%2F%2F%2F%2F%2F%2FwEaCXVzLWVhc3QtMSJIMEYCIQD56n8TwfaHD0lfaw4IkIvoYDctXDUzy4MbH9DAhbVDTgIhANdi74Z7VKbxVbkFC0Jwx4nQ5ZIwia8A01uTKw289SLqKr0DCK7%2F%2F%2F%2F%2F%2F%2F%2F%2F%2FwEQAxoMMDU5MDAzNTQ2ODY1Igxar6VBoTaQJeU0MzIqkQNu18woNUGsBtZaDeJKm50CQSzUG2WxiCWLG1yBe3sghSkk91z6%2FYhiehxmRajIDk79wuRJCINnXZn2f0nGXfot0qwGeEd9tZsGDRQZxNar%2B0C1Nv6dgEYdeHftlFA%2FrjtNv0TtNi0MIOGr7eB0HQb%2Ft7%2FF5F8Cfm2RIK3mFJEfAUs1XbCrEZOShb%2BabnhDJwDorBx3AFt%2F0yw%2BVXikKFAIuaAyfwHD7wkqqpYfCunQzUYU0uj1OCoXQ3dceqqlY9XBG9hFe7bIJ7V0pSS56jFj0OzoOG78vK1R2zmnD0Wro%2F9bBXbdNN5eoUO0Me1krhTCo6%2F9BQRQb5U30aTMDmcvbh%2BRxwPz0D5IZaDT5l7L93i95UvjF%2FhJcXOK%2FQDsdI7avsPTvPvL9fRR%2FMV9DTFCERXTSY%2BjH5fho0xPTiaeb7HB5kVqVzEbrYNUcYE%2BY8P4DoL2d7hjzaJ7pf98GRg87Os8lgWPTVUbu9GUYYaiYcEOM2Oe6SwX0ohtwKWd85ossBvpMv0Iom5n6OLIpHXkIjDR7K77BTrqAVQvTvxomtTY5lKZwUoNfsW8TpFAIdxeSbcfkhb%2Fg0Qon%2BS0qUOKPxr3MFbZdVIV0Im8LmU9N6JOcXUDtiLG60SwOV9RiDVW2OJsrlDJelL%2BJTJ8JzV%2FCD3shkEP5XoiDTHLCH1wKKrHyEiZ4xEinc4ip93VZqfUXJ3B%2FwUIJtBHDCI9mQylOTX3WZxfSWcwzW7SB%2BItDJCR3TxMgpr8l2CPzij4hq9bhsUyT3aGr9TNsKnlqS1DQWM%2BlbmQVjsqTqT1q6FsWvdLp7LwfjbU0ojsFCySbp9M9YQx2AvRAHNa65lMWEMXWbxsrw%3D%3D&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Date=20200923T210747Z&X-Amz-SignedHeaders=host&X-Amz-Expires=300&X-Amz-Credential=ASIAQ3PHCVTYTASYDX24%2F20200923%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Signature=54a1f21edb45579d61a84affb0eb9e7d319b9ea48641504a6e9d5fc9cf3361e0&hash=3b2d15d59d83018f72625f789691f35e895cff65d0d276824904872929986d8d&host=68042c943591013ac2b2430a89b270f6af2c76d8dfd086a07176afe7c76c2c61&pii=0169023X87900097&tid=spdf-d2a3c2f7-1472-429d-b942-ef0a42aeda21&sid=d0ad95808183394bbb3a7bf200e1264708cfgxrqa&type=client