About possible methodology of information systems modeling using graph logic language

Abstract

In the article will be examined variant of application graph logic language for modelling information systems. With this purpose after comparison of some existing methodologies will be proposed ways for language use, possible adaptation and extension. Proposed language evolution provides possibilities to represent models with expressive power comparable or even more expressive than existing modelling methods. For comparative examination were selected methodologies of IDEF family, UML and Z languages.