COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Modeling route change in soft-state signaling protocols using SDL: a case of RSVP
SDL'05 Proceedings of the 12th international conference on Model Driven
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
A model-based formalization of the textual notation for SDL-UML
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Hi-index | 0.00 |
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.