Synthesizing SDL from use case maps: an experiment

Authors:
Yong He;Daniel Amyot;Alan W. Williams
Affiliations:
School of Information Technology and Engineering, University of Ottawa, Ottawa, ON, Canada;School of Information Technology and Engineering, University of Ottawa, Ottawa, ON, Canada;School of Information Technology and Engineering, University of Ottawa, Ottawa, ON, Canada
Venue:
SDL'03 Proceedings of the 11th international conference on System design
Year:
2003

Citing 4
Cited 7

Synthesis of communications protocols: an annotated bibliography

ACM SIGCOMM Computer Communication Review
Use Case Maps as Architectural Entities for Complex Systems

IEEE Transactions on Software Engineering
Specification and validation of telecommunications systems with use case maps and lotos

Specification and validation of telecommunications systems with use case maps and lotos
An evaluation of scenario notations and construction approaches for telecommunication systems development

Telecommunications Systems - Modeling, analysis, design and management

Generation of test purposes from use case maps

Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Generation of test purposes from Use Case Maps

Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Test aspect of requirement specification

Computer Standards & Interfaces
Enhanced use case map traversal semantics

SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Synthesizing state-machine behaviour from UML collaborations and use case maps

SDL'05 Proceedings of the 12th international conference on Model Driven
Traceability and evaluation in scenario analysis by use case maps

SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Towards formalising use case maps in Maude strategy language: application to multi-agent systems

International Journal of Computer Applications in Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Use Case Map (UCM) notation is part of the User Requirements Notation (URN), the most recent addition to ITU-T's family of languages. UCM models describe functional requirements and high-level designs with causal scenarios, superimposed on structures of components. It has been shown that UCMs can be transformed into more detailed MSC scenarios. However, UCMs are not executable as such. Early validation and exploration of requirements could benefit from a transformation to a formal, executable language. This paper presents the results of an experiment combining existing tool-supported techniques for the generation of MSCs from UCMs and for the synthesis of SDL from MSCs. In particular, this experiment provides useful results on the current interworking of such techniques and on requirements for future generations of tools. Through a simple case study, this paper also highlights questions and partial answers on the complementariness of these languages, on the usefulness of the resulting SDL models, and on potential improvements on the approach and on the languages themselves.