Towards specification of tango v10∗

More than 40 laboratories use Tango Controls as a framework for their control systems. During its 18 years of existence, Tango Controls has evolved and matured. The latest 9.3.3 release is regarded as the most stable and feature-rich version of the framework. However, it makes use of what is today considered as outdated CORBA technology which impacts all the stack, from the low-level transport protocol up to the client API and tools. The Tango Community decided to move forward and is preparing for so-called Tango Controls v10. Tango v10 is meant to be more a new implementation of the framework than a release of new features. The new implementation shall make the code easier to maintain and extendable as well as remove legacy technologies. At the same time, it shall keep the Tango Controls objective philosophy and allows the new implementation to coexist with the old one at the same laboratory. The first step in the process is to provide a formal specification of current concepts and protocol. This specification will be the base for the development and verification of new source code. Formal specification of Tango Controls and its purpose will be presented along with tools and methodologies used.