De kombinerade fragmenten av UML Sequence Diagram tillåter olika typer av kontrollflöde bland meddelanden (t.ex., interleating och förgrening) att uttrycka en samling av flera spår som omfattar komplexa och samtidiga beteenden. Kombinerade fragment ökar dock svårigheten med sekvensdiagramförståelse och analys. För att lindra detta problem, introducerar vi ett tillvägagångssätt för att formellt beskriva sekvensdiagram med kombinerade Fragment i termer av inmatningsspråket för modellen checker NuSMV. Detta tillvägagångssätt gör det möjligt att verifiera önskade egenskaper mot sekvensdiagram.
I REF föreslår författarna att formellt beskriva sekvensdiagram med kombineradeFragment i termer av inmatningsspråket för modellkontrollen NuSMV för verifieringsändamål.
Formal Analysis of Sequence Diagram with Combined Fragments
{'venue': 'ICSOFT', 'journal': None, 'mag_field_of_study': ['Computer Science']}