Network elements within telecommunication networks are often driven by data available as XML. Therefore tasks related to managing these elements revolve around updating XML-based configuration data. Since 2001, Bell Labs has provided an XML update language and engine to assist in managing these tasks; this technology has been used in Lucent's wireless product offerings since 2002.
Several prior versions of XTrek have been based on the Galax XQuery engine whose development is led by Mary Fernández and Jèrôme Simèon. The underlying update engine is available as part of the Galax distribution; information on the update language can be found at the Galax webpage .
The current version of XTrek provides an update layer that can be used on top of any XQuery engine. It was developed by me in conjunction with Dinesh Venkataramanaidu and Avinash Vyas at Bell Labs. Although this version of XTrek is proprietary, information about some of the analysis algorithms used in it can be found in "Verification of Tree Updates for Optimization" (with Angela Bonifati, Sergio Flesca, and Avinash Vyas), which appeared in CAV 2005.