CoSDL – an experimental language for collaboration specification. (English) Zbl 1024.68780

Sherratt, Edel (ed.), Telecommunications and beyond: The broader applicability of SDL and MSC. Third international workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2599, 1-20 (2003).
Summary: The decomposition of distributed systems is often driven by its process structure only, focusing on the behaviour of individual agents. In previous work, we have argued that this is not always an adequate modularization of distributed systems, and have proposed “cross-cutting” collaboration modules instead. In this paper, we discuss language support for the specification of collaboration modules that goes beyond the capabilities of SDL and MSC. In particular, we introduce the experimental formal description technique CoSDL, which was designed as a “proof of concept” for collaboration-based design with SDL. We believe that the lessons learned from CoSDL are valuable for collaboration-oriented extensions of MSC, SDL, and corresponding tool environments.
For the entire collection see [Zbl 1015.68910].


68U99 Computing methodologies and applications
68M10 Network design and communication in computer systems
68M12 Network protocols
68M14 Distributed systems


Full Text: Link