Tabulka pořadí zpráv - Message sequence chart

Diagram ukazuje tři entity. Při spuštění je telefon odpojen. Uživatel se pokusí navázat spojení. Na přepínač se odešle žádost o připojení a spustí se časovač. Alternativa se zabývá dvěma možnými odpověďmi: 1 - Časovač se vypne, protože přepínač neodpověděl a telefon se vrátí do odpojeného stavu. 2 - Přepínač naváže spojení a hovor je navázán.

A graf sekvence zpráv (nebo MSC) je interakční diagram z SDL rodina standardizovaná Mezinárodní telekomunikační unie.

Účelem doporučení MSC (Message Sequence Chart) je poskytnout trasovací jazyk pro specifikaci a popis komunikačního chování systémových komponent a jejich prostředí pomocí výměny zpráv. Protože v MSC je komunikační chování prezentováno velmi intuitivně a transparentně, zejména v grafickém znázornění, je jazyk MSC snadno naučitelný, použitelný a interpretovatelný. Ve spojení s jinými jazyky může být použit k podpoře metodik pro specifikaci systému, návrh, simulaci, testování a dokumentaci.

Dějiny

První verze standardu MSC byla vydána 12. března 1993.

Verze z roku 1996 přidala odkazy, objednání a vložka výrazy a představil HMSC[1] (Hna vysoké úrovni Mesej Sekvence Charts), což je způsob vyjádření sekvence MSC.

Verze MSC 2000[2] přidána orientace na objekt, vylepšeno použití dat a času v diagramech a přidán koncept vzdálených volání metod.[3]

Poslední verze byla zveřejněna v únoru 2011.

Symboly v MSC

Existující symboly jsou:

  • Hlava, záchranné lano a konec MSC: svislá čára s krabicí nahoře a krabicí nebo křížem dole.
  • Vytvoření instance: vodorovná přerušovaná šipka na nově vytvořenou instanci.
    Dynamické vytváření procesů v MSC
  • Výměna zpráv: vodorovná šipka.
  • Tok řízení: vodorovná šipka s předponou „volání“, přerušovaná šipka pro symbol odpovědi, metody a symboly zavěšení mezi nimi.
    Volejte operaci v MSC
  • Časovače: spuštění, zrušení, časový limit.
  • Časový interval: relativní a absolutní s přerušovanou svislou šipkou.
    Časové omezení v MSC
  • Podmínky: obvykle se používá k reprezentaci stavu základního stavového automatu.
  • Akce: krabička.
  • Řádkové výrazy: alternativní kompozice, sekvenční kompozice, výjimka, volitelná oblast, paralelní kompozice, iterace (smyčka).
  • Odkaz: odkaz na jiný MSC.
    Reference MSC v MSC
  • Datový koncept: Uživatel může použít jakýkoli datový koncept, pokud není definována vazba, výchozí datový koncept je ten z SDL jak je definováno v doporučení Z.121.
  • Coregion: dvojitá přerušovaná čára instance k popisu neuspořádaných událostí.

Rozšíření symbolů

  • SDL-RT zavedl:
    • reprezentace instance semaforu.
      Rozšíření SDL-RT Semaphore na MSC
    • symbol uložení pro uložení zpráv.

Srovnání s UML

UML 2.0 Sekvenční diagram je silně inspirován ITU-T MSC. Z historických důvodů jsou výchozí základní principy zcela odlišné:

  • Záchranné linie
  • V MSC jsou svislé čáry samostatnými entitami provádění. Obvykle představují státní stroje provádějící paralelně. Stavové automaty nemusí být na stejném počítači.
  • V sekvenčním diagramu je svislá čára obvykle objekt. Objekt může být aktivní (ve vlastním vlákně provádění) nebo pasivní (v kontextu provádění aktivního objektu).
  • Šipky
  • V MSC je šipka obvykle asynchronní zpráva odeslaná z jedné entity do jiné. Jakmile je zpráva odeslána, odesílající entita obnoví její provádění.
  • V sekvenčním diagramu se šipka obvykle chápe jako volání operace na třídě. Je tedy synchronní a volající entita zablokuje, dokud se operace nevrátí.

Bylo řečeno, že MSC byla považována za kandidáta na interakční diagramy v UML.[4]

Navrhovatelé MSC jako např Ericsson myslíte si, že MSC je lepší než UML 2.0 pro modelování velkých nebo složitých systémů.[5]

Živé sekvenční grafy

David Harel navrhl, aby MSC měla nedostatky, jako jsou:

  • MSC navrhuje slabý částečné objednání sémantika, která znemožňuje zachytit některé požadavky na chování,
  • Vztah mezi požadavky MSC a spustitelnou specifikací není jasný,

a navrhl Live Sequence Charts (LSC) jako rozšíření standardu MSC.[6][7][8]

Viz také

  • PSC Property Sequence Chart, a way to description properties in an MSC[9] nebo sekvenční diagram.
  • SDL Specification and Description Language, to MSC related ITU-T language.
  • Interakční diagramy v UML.

Reference

  1. ^ „HMSC“. sdl-forum.org. Citováno 2009-09-19.
  2. ^ Øystein Haugen. „MSC 2000“ (PDF). Ericsson. Archivovány od originál (PDF) dne 06.06.2011. Citováno 2009-09-19.
  3. ^ „Co je nového v MSC 2000 ve srovnání s MSC 96“. sdl-forum.org. Citováno 2009-09-19.
  4. ^ Ekkart Rudolph; Jens Grabowski; Peter Graubmann (1999). „Směrem k harmonizaci sekvenčních diagramů UML a MSC“. Univerzita v Göttingenu. Citováno 2014-08-25.
  5. ^ Øystein Haugen (červen 2000). „UML 2.0 vs. SDL / MSC - Ericsson Position Statement“ (PDF). Ericsson. Citováno 2009-09-19.
  6. ^ David Harel (2003-04-08). „Grafy posloupnosti zpráv“ (PDF). Archivovány od originál (PDF) dne 2006-08-26. Citováno 2009-09-20.
  7. ^ David Harel (2005-02-22). „LSC: Vdechnutí života do grafů posloupnosti zpráv“. Formální metody v návrhu systému. 19: 45–80. doi:10.1023 / A: 1011227529550.
  8. ^ David Harel (2002). Msgstr "Více instancí a symbolických proměnných ve spustitelných sekvenčních grafech". Oznámení ACM SIGPLAN. 37 (11): 83. CiteSeerX  10.1.1.20.5984. doi:10.1145/583854.582429.
  9. ^ Emmanuel Gaudin; Eric Brunel (2013). SDL 2013: Modelově závislá spolehlivost. Přednášky z informatiky. 7916. Springer. 19–35. doi:10.1007/978-3-642-38911-5_2. ISBN  978-3-642-38910-8.

externí odkazy