Logics based application integration for interdisciplinary scientific investigations

Telenyk, Sergii; Nowakowski, Grzegorz; Yefremov, Kostiantyn; Khmeliuk, Volodymyr

doi:10.1109/idaacs.2017.8095241

Cited by 5 publications

(16 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To select and integrate components in the complete solution, we will use the first-order causal logic, the structural elements of which are described by the authors for the integration of applications in the work [1]. A is a predicate constant for individuals and τ 1 , …, τ j are terms for them, then j i A (τ 1 , …, τ j ) is the atomic formula for individuals; 2) the atomic formula for individuals is the formula for them; 3) there are no other formulas for individuals.…”

Section: Mathematical Model For Constructing Basic Functionalitymentioning

confidence: 99%

“…The meaningful use of the second type inference rules can be illustrated by the process of 3D visualization of the combination of methods and other components of the system in spatial structures based on common entities on their inputs/outputs. The semantically controlled inference mechanism For the inference we will use the approach proposed by the authors in the paper [1]. It's about the procedures for inference and restoring the inference tree.…”

Section: Specifiers Of Problemsmentioning

confidence: 99%

“…A set of formulas and a clause that corresponds to the vertices of the proof triples and reflects the application of the axiom of the first part and the inference rules of the first type is the output of the inference mechanism. To restore the structure, we use the proof tree recovery algorithm proposed by the authors in the paper [1].…”

Section: Specifiers Of Problemsmentioning

confidence: 99%

“…Formalization is very specific in modern methodologies [1][2][3][4]. In classical methodologies it was considered as the basis of automation, CASE-tools.…”

Section: Introductionmentioning

confidence: 99%

“…In essence, formalization then seemed to be an inalienable ability of each technology that implemented the methodology, the tool for automatic production of components of the information system, primarily software, databases, based on their formal descriptions. Today, formalization is more related to describing the architecture of the system and descriptions are mainly used to set tasks for project participants, discuss intermediate results, define the next steps [1,2].…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Інформаційна технологія для розробки та впровадження web-застосунків

Telenyk

Nowakowski

Zharikov

et al. 2019

«Адаптивні Системи Автоматичного Управління Міжвідомчий науково

Self Cite

View full text Add to dashboard Cite

The problem of the rapid creation of effective web-applications of one class with using formal means are considered. The conceptual approach to its solution is offered on the basis of analysis of the peculiarities of web-applications construction. The approach is based on defining the standard web application architecture and selecting its components using formal methods in accordance with user requirements. A formal logical system is used, which uses the design of web-applications as a process of outputting the formula specified according to the needs of the user, which defines the schemes of execution of the modules of the system. An important feature of the approach is the ability to 3D-visualize the process of designing the system, which creates conditions for effective interaction between developers and machine development tools.

show abstract

Section: Mathematical Model For Constructing Basic Functionalitymentioning

confidence: 99%

Section: Specifiers Of Problemsmentioning

confidence: 99%

Section: Specifiers Of Problemsmentioning

confidence: 99%

“…Formalization is very specific in modern methodologies [1][2][3][4]. In classical methodologies it was considered as the basis of automation, CASE-tools.…”

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations