A language for the executable specification of coordinative functionalities for electronic document systems