Towards an SDL-Design-Methodology Using Sequence Chart Segments
Abstract
Composition mechanisms for Sequence Charts are investigated aiming at a comprehensive system description. Within a systematic composition method standard basic building blocks for Sequence Charts, called Sequence Chart segments, are defined analogously to (Petri net) process segments. The usefulness of SC-segments for SDL-requirement engineering, system construction, analysis, simulation, and test case generation is pointed out.
Document Type:
Articles in Conference Proceedings
Booktitle:
SDL'91
Series:
Evolving Methods
Address:
North-Holland
Publisher:
Elsevier Science Publishers B.V.
Pages:
237-252
Month:
9
Year:
1991
Note:
Editors: O. Faergemand, R. Reed
File:
Bibtex
2024 © Software Engineering For Distributed Systems Group