Computational Model of the Tangled Web

Wolfengagen, Viacheslav; Ismailova, Larisa; Kosikov, Sergey

doi:10.1016/j.procs.2016.07.440

Cited by 15 publications

(3 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The temporal logic [3] causes the greatest interest among the various known systems of modal logic to support the object traces. The temporal logic considers the dependence of the truth of language sentences on the time, and has the means to account such dependence in the formal toolkits.…”

Section: Approaches To the Support To The Object Tracesmentioning

confidence: 99%

See 1 more Smart Citation

Object Traces in the Conceptual Modeling

Ismailova

Kosikov²,

Wolfengagen

2018

Proceedings of the 2018 2nd International Conference on Electrical Engineering and Automation (ICEEA 2018)

View full text Add to dashboard Cite

Abstract-The paper considers the problem of conceptual modeling (CM) of the domains, in which a large number of changes takes place, possesses a number of specific features connected to the nature of the ongoing changes or large quantity of independently acting agents possibly produce changes in various parts of the model.The dynamic nature models required supporting means. The paper states that the possibilities of future changes in model objects might largely be determined not only by their current state, but also by the past state -history of the objects in the model. The support to such history inside the current state of the object can be difficult and stimulates the search for new approaches to ensure the map of the changes of objects in the domain model.It is offered to receive the decision by single out the individual information identities that can be called state trajectories from the conceptual point of view and object traces from the implementation point of view. It is noted that the traces can fix not all changes of the corresponding objects, but only those which have an influence on the further behavior of the model. The paper presents an approach to the determination and the support to the traces, based on using a combination of methods of the intensional logic and applicative computational systems. In p.2 the concept of the state trajectories or object traces is discussed and also some of their properties. The p. 4 contains the setting of the task to support the traces in the conceptual modeling systems. The p. 3 describes some of the earlier proposed approaches to the description and tracing of the states of objects. The p. 5 describes the theoretical methods of the state trajectories or object traces description. The p. 6 discusses the possibility of toolkits oriented to support the object traces. In conclusion, some results are given, which have been obtained in the process of application of the developed methods, and the work prospects are briefly reviewed.

show abstract

Section: Approaches To the Support To The Object Tracesmentioning

confidence: 99%

“…Even more general interpretation is adopted in the intensional logic [3,4]. It generalizes the notion of time moment to the notion of the correlation point, which can be related to the set of time, spatial and other coordinates.…”

Section: Approaches To the Support To The Object Tracesmentioning

confidence: 99%

Object Traces in the Conceptual Modeling

Ismailova

Kosikov²,

Wolfengagen

2018

Proceedings of the 2018 2nd International Conference on Electrical Engineering and Automation (ICEEA 2018)

View full text Add to dashboard Cite

show abstract

“…It seems that the most common interpretation of the condition is proposed in the framework of modal and intensional logic. The temporal logic [3] causes the greatest interest among the various known systems of modal logic to support the object traces. The temporal logic considers the dependence of the truth of language sentences on the time, and has the means to account such depen-dence in the formal toolkits.…”

Section: Approaches To the Support To The Object Tracesmentioning

confidence: 99%

Means to support the object traces in the conceptual modeling systems

Ismailova¹,

Kosikov²,

Wolfengagen³

et al. 2018

IJET

View full text Add to dashboard Cite

The paper considers the problem of conceptual modeling of the domains, in which a large number of changes takes place, possesses a number of specific features. Some of the features are connected to the nature of the ongoing changes. The problem becomes severe when the domain contains a large quantity of independently acting agents that can produce changes in various parts of the model, the sets of interrelated data being changed by different agents independently. Besides that, when supporting the dynamic nature models the possibilities of future changes in model objects might largely be deter-mined not only by their current state, but also by the past state -history of the objects in the model. The support to such history inside the current state of the object can be difficult, cumbersome or impractical for other reasons, which also stimulates the search for new ap-proaches to ensure the map of the changes of objects in the domain model. It is offered to receive the decision by single out the individual information identities, that can be called state trajectories from the conceptual point of view and object traces from the implementation point of view. They represent a sequence of changes in the state of model objects essential for its support. The traces can fix not all changes of the corresponding objects, but only those which have an influence on the further behavior of the model. Various ways of supporting of traces are considered. The paper presents an approach to the determination and the support to the traces, based on using a combination of methods of the intensional logic and applicative computational systems.

show abstract