Content deleted Content added
add hyperlink to the tool PlantUML |
New reference for PSC to an SDL Forum paper. |
||
Line 90:
==See also==
* [http://www.di.univaq.it/psc2ba/ PSC] Property Sequence Chart, a way to describe properties in an MSC<ref>{{cite
| url=http://link.springer.com/chapter/10.1007%2F978-3-642-38911-5_2
| title=Property Verification with MSC
| year=2013
| publisher=Springer
| author=Emmanuel Gaudin, Eric Brunel}}</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]].
|