Ontological approach to the formal specification of the standard life cycle

Lavrishcheva, E. M.

doi:10.1109/sai.2015.7237259

Cited by 9 publications

(5 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…is also used in robotics (motion planning and pattern recognition tasks), geographic information systems (geometric search, route planning), design chips, etc. (Lavrischeva, 2014, 2015.…”

Section: Component Paradigmmentioning

confidence: 99%

The Theory Graph Modeling and Programming Systems from Module Elements to the Application Areas

Lavrischeva¹

2019

CIS

View full text Add to dashboard Cite

The mathematical basics of graph modeling and paradigm programming of applied systems (AS) are presented. The vertices of graph are been the functional elements of the systems and the arcs define the connections between them. The graph is represented by an adjacency and reach ability matrix. A number of graph of program structures and their representation by mathematical operations (unions, connections, differences, etc.) are shown. Given the characteristics of graph structures, complexes, units, and systems created from the modules of the graph. The method of modeling the system on the graph of modules, which describe in the programming languages (LP) and calling them with operations (link, assembling, building, etc.). The standard of configuration (2012) Assembly of heterogeneous software elements in AS of different fields of knowledge is made. Brief descriptions of modern and future programming paradigms for formal theoretical creation of systems from service-components for Internet in the near future are given.

show abstract

“…is also used in robotics (motion planning and pattern recognition tasks), geographic information systems (geometric search, route planning), design chips, etc. (Lavrischeva, 2014, 2015.…”

Section: Component Paradigmmentioning

confidence: 99%

The Theory Graph Modeling and Programming Systems from Module Elements to the Application Areas

Lavrischeva¹

2019

CIS

View full text Add to dashboard Cite

show abstract

“…Прежде чем перейти непосредственно к рассмотрению единой модели представления данных об изделии и структуры PDM-системы, необходимо кратко обрисовать маршрут проектирования СБИС класса «Система на кристалле». Весь цикл проектирования можно представить в виде совокупности пяти основных этапов [10,11] (2) • v 1 -цифровая модель (модель в формате MATLAB/Simulink);…”

Section: формализация структуры электронного конструкторского докуменunclassified

“…Приведение разнородных ЭКД от программных и аппаратных систем сторонних разработчиков к единому формату осуществляется программным конвертором-преобразователем. Хранение ЭКД и информационное взаимодействие между участниками проектного цикла обеспечиваются PDM-системой.Для формализации структуры ЭКД применим аппарат предметно-ориентированных онтологий и соответствующие разделы теории множеств[10][11][12]. Модель структуры ЭКД для такого случая определим следующим образом (1): Концептуальная модель ЕИП The Unified Information Space (UIS) conceptual model Для формализации структуры ЭКД применим аппарат предметно-ориентированных онтологий и соответствующие разделы теории множеств[10][11][12].…”

unclassified

See 1 more Smart Citation

Formation of the Integrated Information Environment of a Radio-Electronic Equipment Design

Drozd

Kapulin

2019

Journal of Siberian Federal University. Engineering &Amp; Technologies

View full text Add to dashboard Cite

Widely known method of combining of different information instruments of design support is formation of a common information space. However the modern nomenclature of software for the organization of a common information space not always considers specifics of a radioelectronic equipment production. In article the task on development of a mathematical model for the electronic designer document and formalization of interaction between design tools at all stages of a project cycle of a radio-electronic equipment is researched. The mathematical model of the electronic designer document with using of the subject-oriented ontology apparatus and theory of sets is offered. Dynamics of the electronic designer document life cycle is described by using of the automata theory, graphically the model of dynamics is presented in the form of the oriented graph, simulation modeling of dynamics was carried out in the numerical computing environment MATLAB with using of an extension packet Stateflow. Application area of use of the developed mathematical model is design and tests of digital receivers of navigation satellite signals. The hardware-software automated bench and software of interaction with management system the engineering data “Lotsman: PLM” within a common information space are developed for implementation of tests of the designed digital receiver

show abstract

“…this also includes the language of BPMN process description and life cycle the DSL to describe the semantics of the domains. Held ontological description of the main processes in the DSL The approach to the automation of the life cycle was presented at the conferences "Science and Information-2015", www.conference.thesai.org[19].…”

mentioning

confidence: 99%

Scientific Basis of System Programming

Lavrischeva¹

2018

JSEA

View full text Add to dashboard Cite

Theoretical foundations of programming systems from modules, objects, components, services are given. Identified relevant theory of programming proposed by the author with the participation of students and postgraduates: graph modular programming theory with graph representation as an adjacency matrix for mathematical achievability of graph vertices; theory of generating programming and theory of software factories; theory of graph object and component modeling (OCM) by means of logic and algebra-mathematical theory of determining individual elements of complex systems; theory of system programming based on ontological and service-component models (SOA, SCA) with security and quality systems. The Internet Smart and Nanotechnology are given for perspective transition of computer technology to nanotechnology. Journal of Software Engineering and Applications Cobol, Prolog, Smalltalk, Module, etc.) for describing different types of modules that implement the functional tasks of the computer of type IBM-360. In 1975, the idea of an Assembly of diverse modules, like assembling a car from finished parts in the factories of Ford. Some of the theories programming are discussed below.The author has formulated the method of Assembly of modules based on interfaces (intermodule and interlanguage) and was published in articles [2] [3] [4]. In the method of the Assembly is implemented the theory and practice of transforming non-equivalent types of data transmitted via the interface using the libraries of the 64 functions presented in the book [5]. System APROP was used to create software systems in air defense systems and VMF. The Assembly programming of systems from ready-made reuse and modules is created. It is protected in the doctoral dissertation [6] [7] [8]. The method of Assembly is also presented in the framework of generating programming K. Chernetsky and formulated models of transformation and configuration of applications by means of the language DSL (Domain Specific Language) and ADI (Architecture Description Language), etc. [9] [10] [11] [12]. The emergence of the OOP by G. Buch and UML has served as the impetus for the creation of the theory of object graph object and component modeling of complex systems based on logic and algebra-the mathematical theory of the description of the individual elements of complex systems and ensuring their variability according to the model of the basic characteristics of MF (Feature Model) as the mathematic apparat of the description of programs and systems [13] [14]. The development of the object paradigm is the theory of component programming and reusability Implementation and refinement of it spent Grishchenko V. N. in the system of "Informatization, NASU" and presented in his doctoral dissertation [15]. This theory is presented in the book [16] describes the component method and examples of building different component systems to ensure the reliability and quality of manufacturing such systems.Due to the wide development of e-science and the spread of the Semantic Web and Web s...

show abstract

Ontological approach to the formal specification of the standard life cycle

Cited by 9 publications

References 3 publications

The Theory Graph Modeling and Programming Systems from Module Elements to the Application Areas

The Theory Graph Modeling and Programming Systems from Module Elements to the Application Areas

Formation of the Integrated Information Environment of a Radio-Electronic Equipment Design

Scientific Basis of System Programming

Contact Info

Product

Resources

About