Content deleted Content added
TEXASmopar (talk | contribs) No edit summary |
rm copyvio from noted soruce |
||
| (19 intermediate revisions by 17 users not shown) | |||
| Line 1: | Line 1: | ||
{{ |
{{unreferenced|date=November 2015}} |
||
| ⚫ | |||
{{Unreferenced|date=March 2009}} |
|||
==References== |
|||
| ⚫ | |||
In comparison to others ADLs, such as [[Wright (ADL)|Wright]], the language does not provide the notion of connectors as a first-class concept. |
|||
The [[FSP]] language can be used to describe the behaviour modelling, and [[LTSA]] can be used for analysis. |
|||
The idea is to include the FSP code in the Darwin code like this: |
|||
* [https://web.archive.org/web/20150110231741/http://www-dse.doc.ic.ac.uk/Research/Darwin/ Source] |
|||
Its use of FSP language allow the verification of the temporal properties of the architecture. |
|||
* [[Component Object Model]] |
|||
It was developed at [[Imperial College London]]. |
|||
{{Reflist}} |
|||
| ⚫ | |||
{{DEFAULTSORT:Darwin (Adl)}} |
|||
| ⚫ | |||
[[Category:Architecture description language]] |
|||
{{soft-eng-stub}} |
{{soft-eng-stub}} |
||
Latest revision as of 23:58, 2 April 2024
Darwin is an architecture description language (ADL). It can be used in a software engineering context to describe the organisation of a piece of software in terms of components, their interfaces and the bindings between components.
References[edit]