Ubiquitous Integration Architectural Issues
Abstract The paradigm of heterogeneous systems has been demanding the implementation of new approaches to ensure the organizational operations as a whole. This work proposes a new integration model, which can be applied to any system, based on the execution of instructions transmitted between systems supported by research in an organization with great needs at integration systems level.
We continue the study of bottom-up unranked tree automata with equality and ::: disequality constraints between direct subtrees. In particular, we show that ::: the emptiness problem for the nondeterministic automata is decidable. In ::: addition, we show that the universality problem, in contrast, is undecidable.