Message sequence chart: Difference between revisions

Revision as of 13:06, 26 January 2018

Revision as of 01:59, 20 November 2018

Line 90:

|archivedate = 2006-08-26

|df =

}}</ref><ref>{{cite webjournal

| url=http://www.springerlink.com/content/hfnna0r9jbl54ya4/

| title=LSCs: Breathing Life into Message Sequence Charts

| publisherjournal=[[Formal Methods in System Design]]

| volume=19

| pages=45–80

| date=2005-02-22

| publisher=[[Formal Methods in System Design]]

| author=[[David Harel]]

| accessdate=2009-09-20}}<| doi=10.1023/ref><ref>{{citeA:1011227529550 web

}}</ref><ref>{{cite journal

| url=http://portal.acm.org/citation.cfm?id=582429

| title=Multiple instances and symbolic variables in executable sequence charts

| journal=ACM Sigplan Notices

| volume=37

| issue=11

| pages=83

| year=2002

| publisher=[[Association for Computing Machinery]]

| author=[[David Harel]]

| accessdate=2009-09-20}}<| doi=10.1145/ref>583854.582429

| citeseerx=10.1.1.20.5984

}}</ref>

==See also==

* [http://www.di.univaq.it/psc2ba/ PSC] Property Sequence Chart, a way to describe properties in an MSC<ref>{{cite webbook

| url=https://link.springer.com/chapter/10.1007%2F978-3-642-38911-5_2

| title=Property Verification with MSC

| year=2013

| publisher=Springer

|author1=Emmanuel Gaudin |author2title =Eric BrunelSDL }}</ref>2013: orModel-Driven aDependability SequenceEngineering| Diagram.volume=7916

| pages=19–35

|author2=Eric Brunel | doi=10.1007/978-3-642-38911-5_2

| series=Lecture Notes in Computer Science

| isbn=978-3-642-38910-8

}}</ref> or a Sequence Diagram.

* [[Specification and Description Language|SDL]] Specification and Description Language, an MSC related ITU-T language.

* [[Unified Modeling Language#Interaction diagrams|Interaction diagrams in UML]].