Zusammenfassung
Ein Sequenzdiagramm stellt einen exemplarischen Ausschnitt aus dem Ablauf eines Softwaresystems dar. Es modelliert die dabei auftretenden Interaktionen und Aktivitäten und kann um OCL-Bedingungen erweitert werden. Dieses Kapitel stellt eine vereinfachte Version von Sequenzdiagrammen vor die sich insbesondere für die Modellierung von Tests eignet.
Wer zusieht sieht mehr
als wer mitspielt.
Wilhelm Busch
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
R. Breu,R. Grosu,C.Hofmann, F.Huber, I. Krüger, B. Rumpe,M. Schmidt, and W. Schwerin. Exemplary and Complete Object Interaction Descriptions. Computer Standards and Interfaces, 19, 1998.
M. Broy, R. Grosu, and I. Krüger. Verfahren zum Automatischen Erzeugen eines Programms. Deutsches Patent, 19837871, 1999.
F. Buschmann, R.Meunier, H. Rohnert, P. Sommerlad, and M. Stal. A System of Patterns. Pattern-Oriented Software Architecture. John Wiley & Sons, 1996.
W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19(1):45–80, 2001.
V. Diekert and G. Rozenberg. The Book of Traces. World Scientific, Singapore, 1995.
J. Grabowski, E. Rudolph, and P. Graubman. Message Sequence Charts: Composition Techniques versus OOtechniques. In Proceedings of the 7th. SDL forum, 1995.
D.Harel and R.Marelly. Come, Let’s Play: Scenario-Based Programming Using Lscs and the Play-Engine. Springer, 2003.
D. Harel and S. Maoz. Assert and negate revisited: Modal semantics for uml sequence diagrams. Springer International Journal on Software and Systems Modeling (SoSyM), 7(2):237–252, 2008.
ITU-T. Message Seqeuence Chart (MSC), Recommendation Z.120 (11/99). International Telecommunication Union, 1999.
N. Kam, D. Harel, H. Kugler, R. Marelly, A. Pnueli, E. Hubbard, and M. Stern. Formal modeling of c. elegans development: A scenario-based approach. In Corrado Priami, editor, Computational Methods in Systems Biology, volume 2602 of Lecture Notes in Computer Science, pages 4–20. Springer Berlin / Heidelberg, 2003.
I. Krüger. Distributed System Design with Message Sequence Charts. Doktorarbeit, Technische Universität München, 2000.
S. Leue. Methods and Semantics for Telecommunication Systems Engineering. PhD Thesis, Universität Bern, 1995.
OMG. OMG Unified Modeling Language: Infrastructure Specification, Superstructure Specification; formal/2010-05-03, formal/2010-05-05. Technical report, Object Management Group (OMG),May 2010.
C. Rupp, S. Queins, and B. Zengler. UML 2 glasklar. Carl Hanser Verlag, 3rd. edition, 2007.
B. Rumpe. Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Herbert Utz VerlagWissenschaft, 1996.
B. Schätz, H. Hußmann, and M. Broy. Graphical Development of Consistent System Specifications. In FME’96, Industrial Benefit and Advances in Formal Methods, LNCS 1051. Springer-Verlag, Berlin, 1996.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Rumpe, B. (2011). Sequenzdiagramme. In: Modellierung mit UML. Xpert.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22413-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-22413-3_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22412-6
Online ISBN: 978-3-642-22413-3
eBook Packages: Computer Science and Engineering (German Language)