System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model

Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012) 2012
Ērika Nazaruka, Jānis Osis, Asnate Jansone

A gap between two domains, the system and its supporting software, is a well-known issue in software development. The analysis of the system is often considered as a redundant unwanted activity. However, software development driven by models will not be able to close the gap, if these models focus only on software and ignore the system, since software is a subsystem that helps to conduct some system’s activities. Thus, the system must be accurately analyzed before the software. For this purpose, this paper suggests a formal engineering model, Topological Functioning Model, and analysis of system functioning based on the system theory, algebraic topology, and classical logic.

Atslēgas vārdi
System Thinking, Analytical Models, System Analysis and Design, Topological Functioning Model

Nazaruka, Ē., Osis, J., Jansone, A. System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model. No: Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012), Polija, Wrocław, 29.-30. jūnijs, 2012. [S.l.]: SciTePress, 2012, 232.-240.lpp. ISBN 978-989-8565-13-6.

Publikācijas valoda
English (en)