Novosibirsk State University Journal of Information Technologies
Scientic Journal

ISSN 2410-0420 (Online), ISSN 1818-7900 (Print)

Switch to

All Issues >> Contents: Volume 14, Issue No 2 (2016)

On the need for consistency of links at the functional SADT-models
Sergey Ivanovich Ryabukhin

Computer Centre Far-Eastern Branch of RAS

UDC code: 004.652.6

This paper studies the selection of process connections SADT-models on the subject of incompleteness and inconsistency that take place when building these models, entered the appropriate criteria for assessing the quality of SADT models, proposed methods for verification of specified criteria and methods of elimination of incompleteness and inconsistency relations.

Key Words
structural-functional model, process model, business rules, business requirements, ontology, predicate logic, conceptual data model

How to cite:
Ryabukhin S. I. On the need for consistency of links at the functional SADT-models // Vestnik NSU Series: Information Technologies. - 2016. - Volume 14, Issue No 2. - P. 122-133. - ISSN 1818-7900. (in Russian).

Full Text in Russian

Available in PDF

1. Ontological anti-patterns: empirically uncovered error-prone structures in ontology-driven conceptual models Data & Knowledge Engineering, Volume 99, September 2015, Pages 72–104, Tiago Prince Sales, Giancarlo Guizzardi.
2. Rodionov A. N. Semantic identification, configuration and modeling of entity types in data models, Vestnik NGU. Series: Information technologies. 2014. Vol. 12, issue. 1. P. 64–78.
3. Giancarlo Guizzardi Ontological Patterns, anti-patterns,and pattern languages for nextgeneration conceptual modeling // Conceptual modeling 33 rd International conference, ER 2014 Atlanta, GA, USA, October 27–29, 2014, p. 13–27, Proceedings.
4. David A. Mark and Clement McGowan. SADT-methodology of structural analysis and design. M.: Metatekhnologiya, 1993.
5. GOST P 50.1.028-2001 − Methodology for functional modeling. M.: Gosstandart Of Russia, 2001.
6. Gavrilova T. Ontological approach to knowledge management in the development of corporate information systems // Journal «News of artificial intelligence», N2, 2003. S. 24–30.
7. Guarino N., Giaretta P. Ontologies and Knowledge Bases: Towards a Terminological Clarification: Knowledge Building & Knowledge Sharing // IOS Press. 1995. P. 25–32.
8. Gruber T. R. The role of common ontology in achieving sharable, reusable knowledge bases // Principles of Knowledge Representation and Reasoning. Proceedings of the Second International Conference. J. A. Allen, R. Fikes, E. Sandewell (eds.). Morgan Kaufmann, 1991, p. 601–602.
9. Vigurs Carl. Development of software requirements / Translated from English. M.: Russian Edition, 2004. 576 p.
10. Mendelson E. Introduction to mathematical logic. M.: Nauka.
11. Peter Pin-Shan Chen. The Entity-Relationship Model-Toward a Unified View of Data. ACM Transactions on Database Systems, 1976. Vol. 1. No. 1.

Publication information
Main title Vestnik NSU Series: Information Technologies, Volume 14, Issue No 2 (2016).
Parallel title: Novosibirsk State University Journal of Information Technologies Volume 14, Issue No 2 (2016).

Key title: Vestnik Novosibirskogo gosudarstvennogo universiteta. Seriâ: Informacionnye tehnologii
Abbreviated key title: Vestn. Novosib. Gos. Univ., Ser.: Inf. Tehnol.
Variant title: Vestnik NGU. Seriâ: Informacionnye tehnologii

Year of Publication: 2016
ISSN: 1818-7900 (Print), ISSN 2410-0420 (Online)
Publisher: Novosibirsk State University Press
DSpace handle

|Home Page| |All Issues| |Information for Authors| |Journal Boards| |Ethical principles| |Editorial Policy| |Contact Information| |Old Site in Russian|
© 2006-2017, Novosibirsk State University.