This paper presents a UML 2 profile for communicating systems. It is driven by the experience of SDL and uses formal constraints for profile definition and mapping rules by means of OCL. It features language elements for high-level specification and description of Internet communication and signaling protocols where SDL is not optimally suited. Due to its support of several concrete notations, this profile is aligned to work with several UML 2 compliant modeling tools. In addition, an implementation by an XSLT-based mapping from UML to behavioral and structural SDL specifications is available. The intention of the paper is to present the main work done which is defining an actual profile and mapping this to SDL.
[1]
Dieter Hogrefe,et al.
Case study on the use of SDL for Specifying an IETF micro mobility protocol
,
2006,
2006 1st International Conference on Communication Systems Software & Middleware.
[2]
Ferhat Khendek,et al.
From MSC and UML to SDL
,
2002,
Proceedings 26th Annual International Computer Software and Applications.
[3]
Dieter Hogrefe,et al.
Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP
,
2005,
SDL Forum.
[4]
Andreas Prinz,et al.
SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings
,
2005,
SDL Forum.