... | ... | @@ -2,7 +2,7 @@ |
|
|
[[File:Og-rocket.png|center|Opengeode]]
|
|
|
|
|
|
Introduction
|
|
|
____________
|
|
|
============
|
|
|
|
|
|
|
|
|
SDL (Specification and Description Language) is a powerful modelling language for visually yet '''formally describing state machines'''. As any programming language, SDL comes with a textual syntax, but in addition has an intuitive graphical notation that can be used to build models using interactive editors. The well-defined semantics of SDL makes it a good candidate for describing the behaviour of embedded, real-time systems.
|
... | ... | |