Logical Approach to the Research of Properties of Software Engineering Ecosystem

A formal model of an ecosystem is proposed. The proposed model consists of an external environment, a server to connect with external environment and internal communication, finite set of working servers, a finite set of operations that can be performed by servers. The working servers are divided into input servers, where initial data are generated, production servers, where tasks are performed, and output servers, where the results of work execution by working servers are stored. The first of the reflections determines a subset of the operations for each production server, that this server can perform, and the second reflection determines the time of each operation execution on the corresponding server. Since it is assumed that the same operation can be performed on different servers, the execution time of such an operation by different servers can also be different. The main problem is to satisfy logical specifications for correct execution of tasks in ecosystem. The proposed formalism is illustrated by the example of a system with two input servers, three production servers and represented as multi-agent system with description in temporal, propositional epistemic logic and propositional dynamic logic. This specification is checked by using corresponding checkers.