Vi föreslår en förlängning till Message Sequence Charts som kallas Triggered Message Sequence Charts (TMSC) som är avsedda att fånga systemspecifikationer som omfattar icke-determinism i form av villkorade scenarier. Den visuella syntaxen av TMSCs liknar nära MSC:s; semantiken tillåter oss att översätta en TMSC-specifikation till ett ramverk som stöder ett begrepp om förfining baserat på Denicolas och Hennessy's måste förbeställa. Ett enkelt men icke-trivialt exempel illustrerar nyttan av vår förlängning till MSC.
Utlöses meddelandesekvens diagram (TMSC) REF är en strategi i familjen av MSC som är relaterad till vår strategi på flera sätt.
Triggered message sequence charts
{'venue': "SIGSOFT '02/FSE-10", 'journal': None, 'mag_field_of_study': ['Computer Science']}