Content deleted Content added
193.52.24.125 (talk) No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{context}} |
|||
⚫ | |||
⚫ | |||
Comparing to others ALDs, such as [[Wright]], the language doesn't provide the connector notion. |
Comparing to others ALDs, such as [[Wright]], the language doesn't provide the connector notion. |
||
Its use of FSP language allow the verification of the temporal properties of the architecture. |
Its use of FSP language allow the verification of the temporal properties of the architecture. |
Revision as of 13:39, 1 December 2005
arwin is a architectural description language (ADL). Comparing to others ALDs, such as Wright, the language doesn't provide the connector notion. Its use of FSP language allow the verification of the temporal properties of the architecture.