Using SDL for modeling behavior composition

Authors:
Jacqueline Floch;Rolv Bræk
Affiliations:
SINTEF Telecom and Informatics, Trondheim, Norway and Department of Telematics, Norwegian University of Science and Technology, Trondheim, Norway;Department of Telematics, Norwegian University of Science and Technology, Trondheim, Norway
Venue:
SDL'03 Proceedings of the 11th international conference on System design
Year:
2003

Citing 3
Cited 6

Roles: conceptual abstraction theory and practical language issues

Theory and Practice of Object Systems - Special issue on subjectivity in object-oriented systems
Adaptive plug-and-play components for evolutionary software development

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Towards a Plug and Play Architecture for Telecommunications

SMARTNET '99 Proceedings of the IFIP TC6 WG6.7 Fifth International Conference on Intelligence in Networks

Developing safety-critical real-time systems with SDL design patterns and components

Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Developing safety-critical real-time systems with SDL design patterns and components

Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Using projections for the detection of anomalous behaviors

SDL'03 Proceedings of the 11th international conference on System design
An automatic code generation tool for JADE agents

MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
A compositional approach to service validation

SDL'05 Proceedings of the 12th international conference on Model Driven
Using UML 2.0 collaborations for compositional service specification

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Behavior composition is a means to achieve modularity and adaptability. Unlike process algebra, SDL does not explicitly define composition operators. In this paper, we propose design patterns and rules for expressing elementary behaviors called roles and their composition in SDL. The composite state concept newly introduced in SDL-2000 is used in an original and innovative way to model roles and their composition. Simple SDL extensions are also discussed that facilitate composition. These extensions do not require changes to be made to the SDL semantics.